Skip to content
@codedownio

CodeDown

Collaborative coding and mathematics notebooks

Pinned Loading

  1. desktop desktop Public

    Install on Nix systems using a flake

    Nix

  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 5

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

    Analyze GHC .dump-timings files

    HTML 101 3

  6. aeson-typescript aeson-typescript Public

    Generate TypeScript definition files from your ADTs

    Haskell 58 26

Repositories

Showing 10 of 139 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 Sep 20, 2024
  • 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 16 0 Updated Sep 20, 2024
  • sandwich Public

    Yet another test framework for Haskell.

    codedownio/sandwich’s past year of commit activity
    Haskell 67 5 15 0 Updated Sep 20, 2024
  • stackage Public Forked from thomasjm/stackage

    "Stable Hackage": vetted consistent packages from Hackage

    codedownio/stackage’s past year of commit activity
    Dockerfile 0 MIT 811 0 0 Updated Sep 13, 2024
  • nixpkgs Public Forked from NixOS/nixpkgs

    Nix Packages collection

    codedownio/nixpkgs’s past year of commit activity
    Nix 0 MIT 13,802 0 0 Updated Aug 22, 2024
  • network-wait Public Forked from mbg/network-wait

    A lightweight Haskell library for waiting on networked services to become available

    codedownio/network-wait’s past year of commit activity
    Haskell 0 MIT 2 0 0 Updated Aug 20, 2024
  • kata-containers Public Forked from kata-containers/kata-containers

    Kata Containers is an open source project and community working to build a standard implementation of lightweight Virtual Machines (VMs) that feel and perform like containers, but provide the workload isolation and security advantages of VMs. https://katacontainers.io/

    codedownio/kata-containers’s past year of commit activity
    Rust 0 Apache-2.0 1,166 0 0 Updated Aug 19, 2024
  • http-reverse-proxy Public Forked from fpco/http-reverse-proxy

    Reverse proxy HTTP requests, either over raw sockets or with WAI

    codedownio/http-reverse-proxy’s past year of commit activity
    Haskell 0 BSD-3-Clause 25 0 0 Updated Aug 9, 2024
  • templates Public

    Template notebooks for CodeDown

    codedownio/templates’s past year of commit activity
    Jupyter Notebook 0 0 0 0 Updated Aug 7, 2024
  • desktop Public

    Install on Nix systems using a flake

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