Lists (1)
Stars
Algebra of Programming in Agda: Dependent Types for Relational Program Derivation
An interactive interpreter for asynchronous algebraic effects
Solution to Algebra, Chapter 0
Lecture notes and exercises for the advanced course on Categorical Realizability at the Midlands Graduate School (MGS) 2024 and the European Summer School on Logic, Language and Information (ESSLLI…
A collection of resources for learning type theory and type theory adjacent fields.
Lean theorem proving interface which feels like pen-and-paper proofs.
Course 18.S191 at MIT, Fall 2022 - Introduction to computational thinking with Julia
A standard API for single-agent reinforcement learning environments, with popular reference environments and related utilities (formerly Gym)
LLMs as Copilots for Theorem Proving in Lean
Proofs in Coq for the book Reflective Programs in Tree Calculus
Course notes for Formalising Mathematics 2026
Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.
The solution to Algebra : Chapter 0 by Paolo Aluffi.
This course is designed to teach non-engineers (e.g., self-taught/bootcamp coders) Haskell from zero to productive in an interactive, easy-to-follow way.
A Flock of Functions: Combinators, Lambda Calculus, & Church Encodings in JS
An introduction to programming language theory in Agda
Tutorials on Julia topics
My answers to Raymond Smullyan's "To Mock a Mockingbird" combinator puzzles, including a solver in Haskell
On-Target and Off-Target Scoring Algorithms for CRISPR gRNAs
List of Computer Science courses with video lectures.
A simple notebook demonstrating prompt-based music generation via Mubert API
General-purpose editor/IDE with high expansibility in Common Lisp
Doug Hoyte's "Production" version of macros from Let Over Lambda, ready for ASDF and Quicklisp.