Pinned Repositories
coquille
Interactive theorem proving with Coq in vim.
examples
Example code for my blog posts
free-monads-js
Utilities for writing JS code with free monads, without needing to know what a monad is
irresponsible-use-of-js-destructuring
Write entire programs in a destructuring statement!
kaolin-graphs
Draw diagrams based on kaolin schemas
kaolin-js
Tools for validating, documenting, and combining data schemas in JavaScript
medium-post-sample-code
Sample code from my medium posts
node-denormalize-entity
A small utility to denormalize reads and writes to an entity stored in arbitrary locations
static-land-recursion-schemes
Javascript recursion schemes compatible with flow-static-land
josephjunker's Repositories
josephjunker/jugglingdb
Multi-database ORM: redis, mongodb, mysql, sqlite, postgres, neo4j, memory... Many databases, common API.
josephjunker/pulsar
Events/PubSub via WebSockets
josephjunker/firstquine
A first stab at quining in coffeescript
josephjunker/PERET
Intelligent tutoring system to teach Posix extended regular expressions
josephjunker/rooter
Tiny cross-platform hashchange/routing for the browser
josephjunker/vein
RPC via WebSockets