Repositories list

• codedown-languages

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

  Nix

  •00 forks in codedownio/codedown-languages•22 stars in codedownio/codedown-languages•1717 issues in codedownio/codedown-languages•55 pull requests in codedownio/codedown-languages•Updated Nov 1, 2026Nov 1, 2026

• General

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

  Julia

  •

  MIT License

  •11 fork in codedownio/General•44 stars in codedownio/General•00 issues in codedownio/General•33 pull requests in codedownio/General•Updated Nov 1, 2026Nov 1, 2026

• rust-notebook-language-server

  Public
  Transformers to handle notebooks with rust-analyzer

  Haskell

  •00 forks in codedownio/rust-notebook-language-server•11 star in codedownio/rust-notebook-language-server•00 issues in codedownio/rust-notebook-language-server•00 pull requests in codedownio/rust-notebook-language-server•Updated Oct 31, 2026Oct 31, 2026

• notebook-language-server-core

  Public
  Haskell

  •00 forks in codedownio/notebook-language-server-core•00 stars in codedownio/notebook-language-server-core•00 issues in codedownio/notebook-language-server-core•00 pull requests in codedownio/notebook-language-server-core•Updated Oct 31, 2026Oct 31, 2026

• java-notebook-language-server

  Public
  Wrapper LSP server for Java notebooks

  Haskell

  •00 forks in codedownio/java-notebook-language-server•00 stars in codedownio/java-notebook-language-server•00 issues in codedownio/java-notebook-language-server•00 pull requests in codedownio/java-notebook-language-server•Updated Oct 31, 2026Oct 31, 2026

• cpp-notebook-language-server

  Public
  Wrapper LSP server for C++ notebooks

  Haskell

  •00 forks in codedownio/cpp-notebook-language-server•11 star in codedownio/cpp-notebook-language-server•00 issues in codedownio/cpp-notebook-language-server•00 pull requests in codedownio/cpp-notebook-language-server•Updated Oct 31, 2026Oct 31, 2026

• go-notebook-language-server

  Public
  Wrapper LSP server for Go notebooks

  Haskell

  •00 forks in codedownio/go-notebook-language-server•00 stars in codedownio/go-notebook-language-server•00 issues in codedownio/go-notebook-language-server•00 pull requests in codedownio/go-notebook-language-server•Updated Oct 31, 2026Oct 31, 2026

• hs-opentelemetry

  Public
  OpenTelemetry support for the Haskell programming language

  Haskell

  •

  Other

  •6969 forks in codedownio/hs-opentelemetry•00 stars in codedownio/hs-opentelemetry•00 issues in codedownio/hs-opentelemetry•00 pull requests in codedownio/hs-opentelemetry•Updated Oct 30, 2026Oct 30, 2026

• haskell-notebook-language-server

  Public
  Transformers to handle notebooks with HLS

  Haskell

  •

  Other

  •00 forks in codedownio/haskell-notebook-language-server•66 stars in codedownio/haskell-notebook-language-server•11 issue in codedownio/haskell-notebook-language-server•00 pull requests in codedownio/haskell-notebook-language-server•Updated Oct 30, 2026Oct 30, 2026

• hfsevents

  Public
  Haskell bindings for the OS X FSEvents API - Event based filesystem monitoring

  Haskell

  •

  BSD 3-Clause "New" or "Revised" License

  •77 forks in codedownio/hfsevents•00 stars in codedownio/hfsevents•00 issues in codedownio/hfsevents•00 pull requests in codedownio/hfsevents•Updated Oct 29, 2026Oct 29, 2026

• lsp-test-helpers

  Public
  Haskell library for testing notebook-style LSP servers

  Haskell

  •00 forks in codedownio/lsp-test-helpers•11 star in codedownio/lsp-test-helpers•00 issues in codedownio/lsp-test-helpers•00 pull requests in codedownio/lsp-test-helpers•Updated Oct 29, 2026Oct 29, 2026

• opentelemetry-plugin

  Public
  GHC plugin for open telemetry

  Haskell

  •

  Other

  •33 forks in codedownio/opentelemetry-plugin•00 stars in codedownio/opentelemetry-plugin•00 issues in codedownio/opentelemetry-plugin•00 pull requests in codedownio/opentelemetry-plugin•Updated Oct 26, 2026Oct 26, 2026

• codedown-screenshotter-go

  Public
  Screenshotter in Go, using chromedp

  Go

  •00 forks in codedownio/codedown-screenshotter-go•11 star in codedownio/codedown-screenshotter-go•00 issues in codedownio/codedown-screenshotter-go•00 pull requests in codedownio/codedown-screenshotter-go•Updated Oct 23, 2026Oct 23, 2026

• sandwich

  Public
  Yet another test framework for Haskell.

  testinghaskelltesting-framework

  testinghaskelltesting-framework

  Haskell

  •

  Other

  •77 forks in codedownio/sandwich•7373 stars in codedownio/sandwich•99 issues in codedownio/sandwich•00 pull requests in codedownio/sandwich•Updated Oct 23, 2026Oct 23, 2026

• templates

  Public
  Template notebooks for CodeDown

  Jupyter Notebook

  •00 forks in codedownio/templates•00 stars in codedownio/templates•00 issues in codedownio/templates•00 pull requests in codedownio/templates•Updated Oct 23, 2026Oct 23, 2026

• nixpkgs

  Public
  Nix Packages collection

  Nix

  •

  MIT License

  •21k21k forks in codedownio/nixpkgs•00 stars in codedownio/nixpkgs•00 issues in codedownio/nixpkgs•00 pull requests in codedownio/nixpkgs•Updated Oct 22, 2026Oct 22, 2026

• aeson-typescript

  Public
  Generate TypeScript definition files from your ADTs

  jsonhaskelltypescript+ 1

  jsonhaskelltypescriptapis

  Haskell

  •

  BSD 3-Clause "New" or "Revised" License

  •3434 forks in codedownio/aeson-typescript•6868 stars in codedownio/aeson-typescript•44 issues in codedownio/aeson-typescript•11 pull request in codedownio/aeson-typescript•Updated Oct 14, 2026Oct 14, 2026

• IHaskell

  Public
  A Haskell kernel for IPython.

  Jupyter Notebook

  •

  MIT License

  •267267 forks in codedownio/IHaskell•11 star in codedownio/IHaskell•00 issues in codedownio/IHaskell•00 pull requests in codedownio/IHaskell•Updated Oct 13, 2026Oct 13, 2026

• snix

  Public
  Fork of https://cl.snix.dev/

  Nix

  •00 forks in codedownio/snix•00 stars in codedownio/snix•00 issues in codedownio/snix•00 pull requests in codedownio/snix•Updated Oct 9, 2026Oct 9, 2026

• lsp

  Public
  Haskell library for the Microsoft Language Server Protocol

  Haskell

  •

  MIT License

  •108108 forks in codedownio/lsp•00 stars in codedownio/lsp•00 issues in codedownio/lsp•00 pull requests in codedownio/lsp•Updated Oct 9, 2026Oct 9, 2026

• languageserver

  Public
  An implementation of the Language Server Protocol for R

  R

  •

  Other

  •119119 forks in codedownio/languageserver•00 stars in codedownio/languageserver•00 issues in codedownio/languageserver•00 pull requests in codedownio/languageserver•Updated Oct 9, 2026Oct 9, 2026

• sauron

  Public
  Tower's-eye view of your GitHub repos

  Haskell

  •

  Other

  •00 forks in codedownio/sauron•33 stars in codedownio/sauron•66 issues in codedownio/sauron•11 pull request in codedownio/sauron•Updated Oct 9, 2026Oct 9, 2026

• container

  Public
  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.

  Swift

  •

  Apache License 2.0

  •1.8k1.8k forks in codedownio/container•00 stars in codedownio/container•00 issues in codedownio/container•00 pull requests in codedownio/container•Updated Oct 6, 2026Oct 6, 2026

• nix

  Public
  Nix, the purely functional package manager

  C++

  •

  GNU Lesser General Public License v2.1

  •2.1k2.1k forks in codedownio/nix•00 stars in codedownio/nix•00 issues in codedownio/nix•00 pull requests in codedownio/nix•Updated Oct 6, 2026Oct 6, 2026

• myers-diff

  Public
  Haskell fast Myers diff + benchmarks

  HTML

  •00 forks in codedownio/myers-diff•99 stars in codedownio/myers-diff•11 issue in codedownio/myers-diff•00 pull requests in codedownio/myers-diff•Updated Oct 4, 2026Oct 4, 2026

• p9fuse

  Public
  FUSE-based 9p client

  Rust

  •

  MIT License

  •00 forks in codedownio/p9fuse•11 star in codedownio/p9fuse•00 issues in codedownio/p9fuse•00 pull requests in codedownio/p9fuse•Updated Oct 3, 2026Oct 3, 2026

• haskell.nix

  Public
  Alternative Haskell Infrastructure for Nixpkgs

  Nix

  •

  Apache License 2.0

  •270270 forks in codedownio/haskell.nix•00 stars in codedownio/haskell.nix•00 issues in codedownio/haskell.nix•00 pull requests in codedownio/haskell.nix•Updated Sep 28, 2026Sep 28, 2026

• markdown-spellcheck-lsp

  Public
  Language Protocol Server for running spellcheck on Markdown

  TypeScript

  •00 forks in codedownio/markdown-spellcheck-lsp•33 stars in codedownio/markdown-spellcheck-lsp•00 issues in codedownio/markdown-spellcheck-lsp•22 pull requests in codedownio/markdown-spellcheck-lsp•Updated Sep 24, 2026Sep 24, 2026

• remarkable

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

  JavaScript

  •

  MIT License

  •375375 forks in codedownio/remarkable•00 stars in codedownio/remarkable•00 issues in codedownio/remarkable•00 pull requests in codedownio/remarkable•Updated Sep 24, 2026Sep 24, 2026

• domino

  Public
  Server-side DOM implementation based on Mozilla's dom.js

  JavaScript

  •

  BSD 2-Clause "Simplified" License

  •136136 forks in codedownio/domino•00 stars in codedownio/domino•00 issues in codedownio/domino•00 pull requests in codedownio/domino•Updated Sep 15, 2026Sep 15, 2026