CodeDown

Collaborative coding and mathematics notebooks

California, USA

Pinned Repositories

aeson-typescript
Generate TypeScript definition files from your ADTs
Language:Haskell58 3 1826
codedown-issues
Issues tracker for CodeDown
00
codedown-languages
Language packs for CodeDown (kernels, language servers, package managers, etc.)
Language:Nix1 2 660
desktop
Install on Nix systems using a flake
Language:Nix00
julia2nix
Generate Nix expressions for building a Julia depot with a set of packages
Language:Nix53 9 246
myers-diff
Haskell fast Myers diff + benchmarks
Language:HTML9 2 100
react-phosphorjs
React wrapper for PhosphorJS
Language:TypeScript83
sandwich
Yet another test framework for Haskell.
Language:Haskell68 5 455
servant-typescript
TypeScript client generation for Servant
Language:Haskell17 3 04
time-ghc-modules
Analyze GHC .dump-timings files
Language:HTML100 5 73

CodeDown's Repositories

codedownio/time-ghc-modules
Analyze GHC .dump-timings files
Language:HTML100 5 73
codedownio/sandwich
Yet another test framework for Haskell.
Language:Haskell68 5 455
codedownio/aeson-typescript
Generate TypeScript definition files from your ADTs
Language:Haskell58 3 1826
codedownio/haskell-notebook-language-server
Transformers to handle notebooks with HLS
Language:Haskell5 4 10
codedownio/General
The official registry of general Julia packages, augmented with Nix sha256 hashes
Language:Julia3
codedownio/markdown-spellcheck-lsp
Language Protocol Server for running spellcheck on Markdown
Language:TypeScript2
codedownio/registry2nix
Augment a Julia registry with Nix hashes
Language:Haskell2
codedownio/sauron
Tower's-eye view of your GitHub repos
Language:Haskell2 2 10
codedownio/codedown-languages
Language packs for CodeDown (kernels, language servers, package managers, etc.)
Language:Nix1 2 660
codedownio/IHaskell
A Haskell kernel for IPython.
Language:Jupyter Notebook1
codedownio/desktop
Install on Nix systems using a flake
Language:Nix00
codedownio/CodeMirror
In-browser code editor
codedownio/docker-openapi
Haskell bindings for Docker generated with OpenAPI
Language:Haskell
codedownio/fake-smtp-server
Fake SMTP Server for email testing
Language:JavaScript
codedownio/github
The github API for Haskell
codedownio/haskell-oidc-client
OpenID Connect 1.0 client (RP) library for Haskell
Language:Haskell
codedownio/hs-certificate
Certificate and Key Reader/Writer in haskell
codedownio/http-client
An HTTP client engine, intended as a base layer for more user-friendly packages.
Language:Haskell
codedownio/http-reverse-proxy
Reverse proxy HTTP requests, either over raw sockets or with WAI
Language:Haskell
codedownio/json0
Version 0 of the JSON OT type
Language:JavaScript
codedownio/kubernetes-client-haskell
Haskell client for the kubernetes API. A work in progress.
Language:Haskell
codedownio/lsp
Haskell library for the Microsoft Language Server Protocol
Language:Haskell
codedownio/microlens-aeson
Lenses and Traversals for Aeson, based on Microlens.
codedownio/morpheus-graphql
Haskell GraphQL Api, Client and Tools
codedownio/nbconvert
Jupyter Notebook Conversion
codedownio/nixpkgs
Nix Packages collection
Language:Nix2
codedownio/react-d3-treemap
Treemap based on d3.treemap built using React
codedownio/remarkable
Markdown parser, done right. Commonmark support, extensions, syntax plugins, high speed - all in one. Gulp and metalsmith plugins are also available.
Language:JavaScript
codedownio/stackage
"Stable Hackage": vetted consistent packages from Hackage
codedownio/templates
Template notebooks for CodeDown
Language:Jupyter Notebook