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

  6. aeson-typescript aeson-typescript Public

    Generate TypeScript definition files from your ADTs

    Haskell 68 34

Repositories

Showing 10 of 170 repositories
  • 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 2,060 0 0 Updated Oct 1, 2026
  • codedown-languages Public

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

    codedownio/codedown-languages's past year of commit activity
    Nix 2 0 14 0 Updated Sep 30, 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 Sep 30, 2026
  • haskell.nix Public Forked from input-output-hk/haskell.nix

    Alternative Haskell Infrastructure for Nixpkgs

    codedownio/haskell.nix's past year of commit activity
    Nix 0 Apache-2.0 272 0 0 Updated Sep 28, 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 Sep 27, 2026
  • p9fuse Public

    FUSE-based 9p client

    codedownio/p9fuse's past year of commit activity
    Rust 1 MIT 0 0 0 Updated Sep 26, 2026
  • templates Public

    Template notebooks for CodeDown

    codedownio/templates's past year of commit activity
    Jupyter Notebook 0 0 0 0 Updated Sep 25, 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 2 Updated Sep 24, 2026
  • remarkable Public Forked from jonschlinkert/remarkable

    Markdown parser, done right. Commonmark support, extensions, syntax plugins, high speed - all in one. Gulp and metalsmith plugins are also available.

    codedownio/remarkable's past year of commit activity
    JavaScript 0 MIT 408 0 0 Updated Sep 24, 2026
  • container Public Forked from apple/container

    A tool for creating and running Linux containers using lightweight virtual machines on a Mac. It is written in Swift, and optimized for Apple silicon.

    codedownio/container's past year of commit activity
    Swift 0 Apache-2.0 2,021 0 0 Updated Sep 21, 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…