David Johnson's repositories
miso-presentation
Presentation on miso - wip
ghcjs-benchmark-test
GHCJS and JS DOM text node benchmark test
z3-haskell
Mirror of https://bitbucket.org/iago/z3-haskell
bnfc
BNF Converter
cake3
Makefile DSL
cryptol
Cryptol: The Language of Cryptography
deriving-via
Deriving via
dog
Datalog lexer, parser, pretty-printer and quasi-quoter.
dotfiles
My dotfiles
graphql
GraphQL is a query language and execution engine tied to any backend service.
graphql-api
Write type-safe GraphQL services in Haskell
haskelloids
A small game using Affection
haskey-btree
B+-tree implementation in Haskell
hnix
A Haskell re-implementation of the Nix expression language
html-parse
A high-performance, reasonably robust HTML5 tokenizer
http-client
An HTTP client engine, intended as a base layer for more user-friendly packages.
language-lua
Lua parser and pretty-printer
lmdb-simple
Simple Haskell API for LMDB
macaw
Open source binary analysis tools.
monad-supply
Support for computations which consume values from a (possibly infinite) supply.
servant-github-webhook
Servant combinators for writing secure GitHub webhooks
streamly
Beautiful Streaming, Concurrent and Reactive Composition (Haskell)