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 2

  3. codedown-issues codedown-issues Public

    Issues tracker for CodeDown

  4. sandwich sandwich Public

    Yet another test framework for Haskell.

    Haskell 67 7

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

    Analyze GHC .dump-timings files

    HTML 106 4

  6. aeson-typescript aeson-typescript Public

    Generate TypeScript definition files from your ADTs

    Haskell 62 27

Repositories

Showing 10 of 146 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 May 18, 2025
  • sandwich Public

    Yet another test framework for Haskell.

    codedownio/sandwich’s past year of commit activity
    Haskell 67 7 12 1 Updated May 17, 2025
  • haskell-notebook-language-server Public

    Transformers to handle notebooks with HLS

    codedownio/haskell-notebook-language-server’s past year of commit activity
    Haskell 5 0 1 0 Updated May 16, 2025
  • registry2nix Public

    Augment a Julia registry with Nix hashes

    codedownio/registry2nix’s past year of commit activity
    Haskell 2 0 0 0 Updated May 15, 2025
  • kubernetes-api Public Forked from codedownio/kubernetes-client-haskell

    Haskell client for the Kubernetes API.

    codedownio/kubernetes-api’s past year of commit activity
    Haskell 1 Apache-2.0 61 0 0 Updated May 14, 2025
  • aeson Public Forked from haskell/aeson

    A fast Haskell JSON library

    codedownio/aeson’s past year of commit activity
    Haskell 0 331 0 0 Updated May 14, 2025
  • servant-typescript-docs Public

    Modified version of servant-docs to integrate with aeson-typescript

    codedownio/servant-typescript-docs’s past year of commit activity
    Haskell 0 0 0 0 Updated May 14, 2025
  • beam Public Forked from haskell-beam/beam

    A type-safe, non-TH Haskell SQL library and ORM

    codedownio/beam’s past year of commit activity
    Haskell 0 177 0 0 Updated May 14, 2025
  • myers-diff Public

    Haskell fast Myers diff + benchmarks

    codedownio/myers-diff’s past year of commit activity
    HTML 9 0 1 0 Updated May 14, 2025
  • nixpkgs Public Forked from NixOS/nixpkgs

    Nix Packages collection

    codedownio/nixpkgs’s past year of commit activity
    Nix 0 MIT 15,874 0 0 Updated May 7, 2025
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…