CodeDown

Collaborative coding and mathematics notebooks

California, USA

Pinned Repositories

aeson-typescript
Generate TypeScript definition files from your ADTs
Language:Haskell63 3 1829
codedown-issues
Issues tracker for CodeDown
0 2 230
codedown-languages
Language packs for CodeDown (kernels, language servers, package managers, etc.)
Language:Nix2 0 760
desktop
Install on Nix systems using a flake
Language:Nix1 1 00
julia2nix
Generate Nix expressions for building a Julia depot with a set of packages
Language:Nix57 8 245
myers-diff
Haskell fast Myers diff + benchmarks
Language:HTML9 2 100
react-phosphorjs
React wrapper for PhosphorJS
Language:TypeScript8 2 03
sandwich
Yet another test framework for Haskell.
Language:Haskell72 4 507
servant-typescript
TypeScript client generation for Servant
Language:Haskell27 1 39
time-ghc-modules
Analyze GHC .dump-timings files
Language:HTML107 4 84

CodeDown's Repositories

codedownio/sandwich
Yet another test framework for Haskell.
Language:Haskell72 4 507
codedownio/aeson-typescript
Generate TypeScript definition files from your ADTs
Language:Haskell63 3 1829
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 1 0
codedownio/codedown-languages
Language packs for CodeDown (kernels, language servers, package managers, etc.)
Language:Nix2 0 760
codedownio/hs-webdriver
A Haskell client for the Selenium WebDriver protocol.
Language:Haskell2
codedownio/sauron
Tower's-eye view of your GitHub repos
Language:Haskell2 2 30
codedownio/desktop
Install on Nix systems using a flake
Language:Nix1 1 00
codedownio/rust-notebook-language-server
Transformers to handle notebooks with rust-analyzer
Language:Haskell1 3 1
codedownio/beam
A type-safe, non-TH Haskell SQL library and ORM
Language:Haskell2 0
codedownio/broadcast-chan
Closable, fair, single-wakeup channel type that avoids 0 reader space leaks.
Language:Haskell
codedownio/codedown-screenshotter-go
Screenshotter in Go, using chromedp
Language:Go
codedownio/conduit
A streaming data library
codedownio/conduit-aeson
Streaming JSON parsing
codedownio/cpuinfo
Haskell Library for Checking CPU Information
Language:Haskell0 0
codedownio/docker-engine
Haskell bindings for Docker generated with OpenAPI
Language:Haskell2 0
codedownio/haskell-oidc-client
OpenID Connect 1.0 client (RP) library for Haskell
Language:Haskell
codedownio/HaskellNet
Haskell library which provides client support for POP3, SMTP, and IMAP protocols.
Language:Haskell2 0
codedownio/HelloWorld.jl
Dummy Julia project for Nix packaging tests
Language:Julia0 0
codedownio/http-reverse-proxy
Reverse proxy HTTP requests, either over raw sockets or with WAI
Language:Haskell2 0
codedownio/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/
Language:Rust0 0
codedownio/kubernetes-client-haskell
Haskell client for the kubernetes API. A work in progress.
Language:Haskell2 0
codedownio/minikube
Run Kubernetes locally
Language:Go1 0
codedownio/minio-hs
MinIO Client SDK for Haskell
Language:Haskell2 0
codedownio/nbconvert
Jupyter Notebook Conversion
Language:Python0 0
codedownio/network-wait
A lightweight Haskell library for waiting on networked services to become available
Language:Haskell0 0
codedownio/nixpkgs
Nix Packages collection
Language:Nix3 02
codedownio/stackage
"Stable Hackage": vetted consistent packages from Hackage
Language:Dockerfile2 0
codedownio/streaming-commons
Common lower-level functions needed by various streaming data libraries
codedownio/templates
Template notebooks for CodeDown
Language:Jupyter Notebook2 0