Jonathan Leonard's repositories
graphql-type-lang-compiler
A compiler (written in ClojureScript) for GraphQL type language.
datt-metadatt
metadatt is meta
overtone-maschine
Overtone/maschine bindings.
awesome-graphql
Awesome list of GraphQL & Relay
burner-project
A burner project.
datascript
Immutable database and Datalog query engine for Clojure, ClojureScript and JS (without toxic, dictatorial project management)
datt-sampleapp
a sample app of datt.
fstar-proofs
A collection of personal proofs written in F*.
hrm-solutions
Human Resource Machine solutions and size/speed hacks
kubernetes
Container Cluster Manager from Google
natninter
Natural Neighbor Interpolation in pure Javascript for Node and browsers
Language:JavaScriptMIT000
quickstrom
High-confidence browser testing
ragtime-clj
Extension for ragtime that handles migrations as clj files.
Language:Clojure000