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 73 7

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

    Analyze GHC .dump-timings files

    HTML 111 4

  6. aeson-typescript aeson-typescript Public

    Generate TypeScript definition files from your ADTs

    Haskell 65 33

Repositories

Showing 10 of 155 repositories
  • General Public

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

    codedownio/General’s past year of commit activity
    Julia 4 MIT 0 0 3 Updated Feb 12, 2026
  • go-notebook-language-server Public

    Wrapper LSP server for Go notebooks

    codedownio/go-notebook-language-server’s past year of commit activity
    Haskell 0 0 0 0 Updated Feb 11, 2026
  • github Public Forked from haskell-github/github

    The github API for Haskell

    codedownio/github’s past year of commit activity
    Haskell 0 215 0 0 Updated Feb 11, 2026
  • lsp Public Forked from haskell/lsp

    Haskell library for the Microsoft Language Server Protocol

    codedownio/lsp’s past year of commit activity
    Haskell 0 MIT 106 0 0 Updated Feb 11, 2026
  • cpp-notebook-language-server Public

    Wrapper LSP server for C++ notebooks

    codedownio/cpp-notebook-language-server’s past year of commit activity
    Haskell 1 0 0 0 Updated Feb 11, 2026
  • codedown-screenshotter-go Public

    Screenshotter in Go, using chromedp

    codedownio/codedown-screenshotter-go’s past year of commit activity
    Go 1 0 0 0 Updated Feb 11, 2026
  • sauron Public

    Tower's-eye view of your GitHub repos

    codedownio/sauron’s past year of commit activity
    Haskell 3 0 6 1 Updated Feb 7, 2026
  • templates Public

    Template notebooks for CodeDown

    codedownio/templates’s past year of commit activity
    Jupyter Notebook 0 0 0 0 Updated Feb 5, 2026
  • wrapping-editor Public Forked from ta0kira/wrapping-editor

    Generic Haskell text-editor logic and Brick widget for use with fixed-width fonts.

    codedownio/wrapping-editor’s past year of commit activity
    Haskell 0 Apache-2.0 1 0 0 Updated Feb 2, 2026
  • desktop Public

    Install on Nix systems using a flake

    codedownio/desktop’s past year of commit activity
    Nix 1 BSD-3-Clause 0 0 0 Updated Feb 1, 2026
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…