Bio: I was a fortunate participant of the Fall 2, 2019 batch at the recurse center. I am interested in declarative programming, programming as an aid to thought, and software designed to further ethical and speculative ends.

um-abt: an OCaml library for unifiable abstract binding trees

made and submitted by Shon
um-abt is a library for working with the abstract syntax of languages that use variables. It provides "unifiable abstract binding trees" (UABTs): abstract syntax trees (ASTs), enriched with constructs to manage variable binding and (nominal) unification.


made and submitted by Shon
Tiny executable techniques for dealing with emoji

A Lightweight OCaml Webapp Tutorial

made and submitted by Shon
This tutorial aims to guide readers familiar with OCaml along one course to a backend for a webapp. The app is lightweight in that it doesn’t take much code to define and in that it probably shouldn’t be used for any heavy, industrial applications. The app demos two kinds of functionality: (1) An embellished echo server, responding to path parameters; (2) An interface to a rudimentary database of author excerpts.


made by Shon, submitted by porterjamesj
Implementations of algebraic structures for OCaml.