Python music library
Repositórios
Repositórios de jdan
A Verilog synthesis flow for Minecraft redstone circuits
Solutions to "To Mock a Mockingbird" using the Lean theorem prover
A chrome extension to make Bill Murray pop up in your Facebook threads (rarely)
The game of nim running over telnet
Real-time telegraph simulator written in node.js & coffeescript
My solutions for nodeschool.io
Static site generator from a Notion DB
Augment a Notion database on command
automating notion in various ways
For each row in a Notion database, run a JavaScript function
What if notion blocks had email?
script blocks in notion
Calculator: The Game solver
Some data structures and algorithms written in OCaml
An experiment in running zeit/micro using ocaml + bucklescript
Rational numbers in OCaml
Playing around with some OCaml + Bucklescript + Express + Socket.io