📚 Freely available programming books

Optimize floating-point expressions for accuracy

Figaro Programming Language and Core Libraries

Implementation of the ocaml.org website.

HTML conversion of a great beginner calculus book

Evidence SARS-CoV-2 Emerged From a Biological Laboratory in Wuhan, China

simple bindings for the github api

Website of the Open Source Program Office, UC Santa Cruz

Parallel Algorithms for Octree Meshing

Salon des Refusés - Dialectics for new computer science

Poetry to Code interpreter built with Racket

NSF grant website

Synthesize music with TSL!

website that lists upcoming NYC jazz events in a cohesive way and includes integration with a personal calendar api. 50/50 chance of completion!

Introduction to programming language theory in Agda.