Skip to content
@codedownio

CodeDown

Collaborative coding and mathematics notebooks

Pinned Loading

  1. desktop Public

    Install on Nix systems using a flake

    Nix 1

  2. codedown-languages Public

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

    Nix 1

  3. codedown-issues Public

    Issues tracker for CodeDown

  4. sandwich Public

    Yet another test framework for Haskell.

    Haskell 67 6

  5. time-ghc-modules Public

    Analyze GHC .dump-timings files

    HTML 105 3

  6. aeson-typescript Public

    Generate TypeScript definition files from your ADTs

    Haskell 60 27

Repositories

Showing 10 of 144 repositories
  • General Public

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

    Julia 3 MIT 0 0 3 Updated Mar 21, 2025
  • sandwich Public

    Yet another test framework for Haskell.

    Haskell 67 6 12 0 Updated Mar 19, 2025
  • servant-typescript Public

    TypeScript client generation for Servant

    Haskell 18 BSD-3-Clause 5 1 0 Updated Mar 15, 2025
  • codedown-screenshotter-go Public

    Screenshotter in Go, using chromedp

    Go 1 0 0 0 Updated Mar 13, 2025
  • codedown-languages Public

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

    Nix 1 0 15 0 Updated Mar 7, 2025
  • templates Public

    Template notebooks for CodeDown

    Jupyter Notebook 0 0 0 0 Updated Mar 7, 2025
  • nixpkgs Public Forked from NixOS/nixpkgs

    Nix Packages collection

    Nix 0 MIT 15,410 0 0 Updated Mar 5, 2025
  • leveldb-haskell Public Forked from kim/leveldb-haskell

    Haskell bindings to LevelDB (https://github.com/google/leveldb)

    Haskell 0 BSD-3-Clause 55 0 0 Updated Feb 18, 2025
  • process Public Forked from haskell/process

    Library for dealing with system processes

    Haskell 0 86 0 0 Updated Feb 18, 2025
  • crypton-certificate Public Forked from kazu-yamamoto/crypton-certificate

    Certificate and Key Reader/Writer in haskell

    Haskell 0 63 0 0 Updated Feb 16, 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…