Skip to content
@codedownio

CodeDown

Collaborative coding and mathematics notebooks

Pinned Loading

  1. desktop desktop Public

    Install on Nix systems using a flake

    Nix 1

  2. codedown-languages codedown-languages Public

    Language packs for CodeDown (kernels, language servers, package managers, etc.)

    Nix 1

  3. codedown-issues codedown-issues Public

    Issues tracker for CodeDown

  4. sandwich sandwich Public

    Yet another test framework for Haskell.

    Haskell 67 6

  5. time-ghc-modules time-ghc-modules Public

    Analyze GHC .dump-timings files

    HTML 104 3

  6. aeson-typescript aeson-typescript Public

    Generate TypeScript definition files from your ADTs

    Haskell 60 27

Repositories

Showing 10 of 141 repositories
  • General Public

    The official registry of general Julia packages, augmented with Nix sha256 hashes

    codedownio/General’s past year of commit activity
    Julia 3 MIT 0 0 3 Updated Feb 5, 2025
  • nixpkgs Public Forked from NixOS/nixpkgs

    Nix Packages collection

    codedownio/nixpkgs’s past year of commit activity
    Nix 0 MIT 15,022 0 0 Updated Feb 4, 2025
  • aeson-typescript Public

    Generate TypeScript definition files from your ADTs

    codedownio/aeson-typescript’s past year of commit activity
    Haskell 60 BSD-3-Clause 27 3 2 Updated Feb 4, 2025
  • sandwich Public

    Yet another test framework for Haskell.

    codedownio/sandwich’s past year of commit activity
    Haskell 67 6 12 0 Updated Feb 4, 2025
  • hfsevents Public Forked from luite/hfsevents

    Haskell bindings for the OS X FSEvents API - Event based filesystem monitoring

    codedownio/hfsevents’s past year of commit activity
    Haskell 0 BSD-3-Clause 7 0 0 Updated Feb 4, 2025
  • wai Public Forked from yesodweb/wai

    Haskell Web Application Interface

    codedownio/wai’s past year of commit activity
    Haskell 0 MIT 271 0 0 Updated Feb 4, 2025
  • sauron Public

    Tower's-eye view of your GitHub repos

    codedownio/sauron’s past year of commit activity
    Haskell 2 0 3 0 Updated Jan 31, 2025
  • conduit Public Forked from snoyberg/conduit

    A streaming data library

    codedownio/conduit’s past year of commit activity
    Haskell 0 200 0 0 Updated Jan 20, 2025
  • streaming-commons Public Forked from fpco/streaming-commons

    Common lower-level functions needed by various streaming data libraries

    codedownio/streaming-commons’s past year of commit activity
    Haskell 0 MIT 43 0 0 Updated Jan 17, 2025
  • nix Public Forked from NixOS/nix

    Nix, the purely functional package manager

    codedownio/nix’s past year of commit activity
    C++ 0 LGPL-2.1 1,607 0 0 Updated Dec 27, 2024
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…