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 1

  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 61 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 Apr 15, 2025
  • nixpkgs-slim Public

    Slim version of Nixpkgs with only certain fetchers/functions

    codedownio/nixpkgs-slim’s past year of commit activity
    Nix 0 0 0 0 Updated Apr 14, 2025
  • sandwich Public

    Yet another test framework for Haskell.

    codedownio/sandwich’s past year of commit activity
    Haskell 67 7 13 1 Updated Apr 13, 2025
  • nixpkgs-slim-generate Public

    Tools to generate codedownio/nixpkgs-slim

    codedownio/nixpkgs-slim-generate’s past year of commit activity
    Nix 0 0 0 0 Updated Apr 12, 2025
  • nixpkgs-bootstrap Public

    Slimmed down version of Nixpkgs with certain fetchers

    codedownio/nixpkgs-bootstrap’s past year of commit activity
    Nix 1 0 2 0 Updated Apr 12, 2025
  • templates Public

    Template notebooks for CodeDown

    codedownio/templates’s past year of commit activity
    Jupyter Notebook 0 0 0 0 Updated Apr 8, 2025
  • codedown-languages Public

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

    codedownio/codedown-languages’s past year of commit activity
    Nix 1 0 15 0 Updated Apr 8, 2025
  • CodeMirror Public Forked from thomasjm/CodeMirror

    In-browser code editor

    codedownio/CodeMirror’s past year of commit activity
    JavaScript 0 MIT 5,166 0 0 Updated Apr 3, 2025
  • 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 1,657 0 0 Updated Apr 1, 2025
  • servant-typescript Public

    TypeScript client generation for Servant

    codedownio/servant-typescript’s past year of commit activity
    Haskell 18 BSD-3-Clause 5 1 0 Updated Mar 15, 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…