A simple, straightforward pretty-printing library for rust

A compiler from a small functional language to C. Especially features algebraic effects and handlers with multishot continuations, and a static type system with inference of types and effects, with…

A programming language to skip the things you have already computed

C++ client for making HTTP/REST requests

Chez Scheme

Cracking the Coding Interview, 5th Edition

Experimental implementation of Cubical Type Theory