Visitar URL original
CodeDown · GitHub
Skip to content
@codedownio

CodeDown

Collaborative coding and mathematics notebooks

Pinned Loading

  1. desktop desktop Public

    Install on Nix systems using a flake

    Shell 1

  2. codedown-languages codedown-languages Public

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

    Nix 3 1

  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 112 4

  6. aeson-typescript aeson-typescript Public

    Generate TypeScript definition files from your ADTs

    Haskell 68 34

Repositories

Showing 10 of 175 repositories
  • sandwich Public

    Yet another test framework for Haskell.

    codedownio/sandwich's past year of commit activity
    Haskell 73 7 9 1 Updated Nov 13, 2026
  • codedown-languages Public

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

    codedownio/codedown-languages's past year of commit activity
    Nix 3 1 19 5 Updated Nov 13, 2026
  • 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 1 0 3 Updated Nov 12, 2026
  • lsp-export-server Public
    codedownio/lsp-export-server's past year of commit activity
    C 0 0 0 0 Updated Nov 12, 2026
  • markdown-spellcheck-lsp Public

    Language Protocol Server for running spellcheck on Markdown

    codedownio/markdown-spellcheck-lsp's past year of commit activity
    TypeScript 3 0 0 3 Updated Nov 11, 2026
  • haskell-notebook-language-server Public

    Transformers to handle notebooks with HLS

    codedownio/haskell-notebook-language-server's past year of commit activity
    Haskell 6 0 1 0 Updated Nov 10, 2026
  • rust-notebook-language-server Public

    Transformers to handle notebooks with rust-analyzer

    codedownio/rust-notebook-language-server's past year of commit activity
    Haskell 1 0 0 0 Updated Nov 9, 2026
  • java-notebook-language-server Public

    Wrapper LSP server for Java notebooks

    codedownio/java-notebook-language-server's past year of commit activity
    Haskell 0 0 1 0 Updated Nov 9, 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 Nov 9, 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 Nov 9, 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.

Most used topics

Loading…