Pinned Repositories
datt-metadatt
metadatt is meta
graphql-type-lang-compiler
A compiler (written in ClojureScript) for GraphQL type language.
maschine.extempore
Maschine scripts for extempore
overtone-maschine
Overtone/maschine bindings.
screencap
A utility to capture a screenshot every N seconds and encode the result to animated gif.
speako
A compiler for GraphQL schema language (written in ClojureScript)
validaze
Hiccup-inspired DSL implementation of refinement types for validating JSON data.
johanatan's Repositories
johanatan/screencap
A utility to capture a screenshot every N seconds and encode the result to animated gif.
johanatan/graphql-type-lang-compiler
A compiler (written in ClojureScript) for GraphQL type language.
johanatan/speako
A compiler for GraphQL schema language (written in ClojureScript)
johanatan/validaze
Hiccup-inspired DSL implementation of refinement types for validating JSON data.
johanatan/datt-metadatt
metadatt is meta
johanatan/overtone-maschine
Overtone/maschine bindings.
johanatan/awesome-graphql
Awesome list of GraphQL & Relay
johanatan/burner-project
A burner project.
johanatan/caesium
Modern cryptography (libsodium/NaCl) for Clojure
johanatan/checkers
A simple implementation of the game of checkers in ClojureScript.
johanatan/datascript
Immutable database and Datalog query engine for Clojure, ClojureScript and JS (without toxic, dictatorial project management)
johanatan/datt-sampleapp
a sample app of datt.
johanatan/eftest
Fast and pretty Clojure test runner
johanatan/FStar
An ML-like language with a type system for program verification
johanatan/fstar-proofs
A collection of personal proofs written in F*.
johanatan/hrm-solutions
Human Resource Machine solutions and size/speed hacks
johanatan/ion-starter
johanatan/johanatan.github.io
johanatan/jupyterlite
johanatan/kamera
UI testing via image comparison and devcards
johanatan/kubernetes
Container Cluster Manager from Google
johanatan/natninter
Natural Neighbor Interpolation in pure Javascript for Node and browsers
johanatan/planck
Stand-alone OS X ClojureScript REPL
johanatan/quickstrom
High-confidence browser testing
johanatan/ragtime-clj
Extension for ragtime that handles migrations as clj files.
johanatan/ruminant
Swift persistent vectors à la Clojure
johanatan/schism
A self-hosting Scheme to WebAssembly compiler
johanatan/settings
My UNIX settings files.
johanatan/spec.alpha
johanatan/url-shortener