Pinned Repositories
aeson-typescript
Generate TypeScript definition files from your ADTs
codedown-issues
Issues tracker for CodeDown
codedown-languages
Language packs for CodeDown (kernels, language servers, package managers, etc.)
desktop
Install on Nix systems using a flake
julia2nix
Generate Nix expressions for building a Julia depot with a set of packages
myers-diff
Haskell fast Myers diff + benchmarks
react-phosphorjs
React wrapper for PhosphorJS
sandwich
Yet another test framework for Haskell.
servant-typescript
TypeScript client generation for Servant
time-ghc-modules
Analyze GHC .dump-timings files
CodeDown's Repositories
codedownio/time-ghc-modules
Analyze GHC .dump-timings files
codedownio/sandwich
Yet another test framework for Haskell.
codedownio/aeson-typescript
Generate TypeScript definition files from your ADTs
codedownio/haskell-notebook-language-server
Transformers to handle notebooks with HLS
codedownio/General
The official registry of general Julia packages, augmented with Nix sha256 hashes
codedownio/markdown-spellcheck-lsp
Language Protocol Server for running spellcheck on Markdown
codedownio/registry2nix
Augment a Julia registry with Nix hashes
codedownio/sauron
Tower's-eye view of your GitHub repos
codedownio/codedown-languages
Language packs for CodeDown (kernels, language servers, package managers, etc.)
codedownio/IHaskell
A Haskell kernel for IPython.
codedownio/desktop
Install on Nix systems using a flake
codedownio/CodeMirror
In-browser code editor
codedownio/docker-openapi
Haskell bindings for Docker generated with OpenAPI
codedownio/fake-smtp-server
Fake SMTP Server for email testing
codedownio/github
The github API for Haskell
codedownio/haskell-oidc-client
OpenID Connect 1.0 client (RP) library for 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.
codedownio/http-reverse-proxy
Reverse proxy HTTP requests, either over raw sockets or with WAI
codedownio/json0
Version 0 of the JSON OT type
codedownio/kubernetes-client-haskell
Haskell client for the kubernetes API. A work in progress.
codedownio/lsp
Haskell library for the Microsoft Language Server Protocol
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
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.
codedownio/stackage
"Stable Hackage": vetted consistent packages from Hackage
codedownio/templates
Template notebooks for CodeDown