fkettelhoit/dddd
A stack-based language written completely in LLVM assembly.
Developer Profile
fkettelhoit
Discovered public repositories for fkettelhoit in the GitHub catalog.
fkettelhoit/bottom-up-datalog-js
A very short and simple implementation of (bottom-up) Datalog in JS
fkettelhoit/simpler-finger-trees
A data structure similar to Finger Trees. In Clojure.
fkettelhoit/talk-fingertrees
My talk about the finger trees data structure for the Fun Club / Haskell User Group meetup
fkettelhoit/agda-fingertrees
An implementation of Finger Trees in Agda
fkettelhoit/agda-prelude
A Prelude for the Agda Standard Library