David Johnson's repositories
graphql-meta
Lexing, parsing, pretty-printing, and metaprogramming facilities for dealing with GraphQL schemas and queries
typed-interpolation
Type-level interpolations in various forms
ext-stg-interpreter-talk
Presentation on the external STG interpreter from Csaba Hruska
type-level-json
RFC8259 compliant JSON parser, at the type level.
functional-lexing-and-parsing-talk
Functional lexing and parsing talk
ghc-whole-program-compiler-project
GHC Whole Program Compiler and External STG IR tooling
llvm-codegen
LLVM code generation in Haskell
servant-errors
Servant Errors wai-middleware
simple-grin
Compiler from a simple functional language to GRIN.