Steven Obua's Projects
A library designed to make it easy to use Google App Engine from Clojure
A dynamically-typed programming language for purely functional structured programming.
Purely functional btree implementation in Clojure.
Reference implementation of Cosmopolitan Identifiers as a Swift package.
A tiny fully-featured debounce and throttle implementation.
A Dynamic Codable
Earley-based Local Lexing
Experimenting with Virtual Machines
Tools for deeply embedding a multi-sorted first-order language in Swift.
TeX formula layout in Standard ML
Not very polished implementation of directed graphs.
Tools for recording Hiproofs in hol-light and visualising them in a web browser
Fast math typesetting for the web.
LANumerics is a Swift package for doing numerical linear algebra.
Beautiful and accessible math in all browsers
Parlay ("parsing + layout") is an editor engine based on parsing.
Clojure parser combinators
Experimental Swift package for composable parsing via Local Lexing.
A simple function that makes a promise that can be resolved or rejected from the outside.
Stubborn versions of Node's fs functions that try really hard to do their job.
Implementation of Tillich-Zemor hashing in Clojure/Java.
A simple promisified recursive readdir function.
The file system watcher that strives for perfection, with no native dependencies and optional rename detection support.