https://github.com/toadharvard/lambada

Step-by-step Lambda calculus interpreter for AO, CBN, CBV, NOR strategies

functional-programming lambda-calculus ocaml

Last synced: 06 Oct 2025

https://github.com/toadharvard/comp-math

Last synced: 08 Jan 2026

https://github.com/toadharvard/stopwords-iso

`stopwords-iso` is a Go package that removes stop words from a text. Based on https://github.com/stopwords-iso/

Last synced: 17 Apr 2026

https://github.com/toadharvard/sql-course

Last synced: 07 Mar 2026

https://github.com/toadharvard/asm-interpreter

NASM like interpreter written on OCaml using GADT, Polymorphic Variants and other high level functional patterns

Last synced: 15 Apr 2025

https://github.com/toadharvard/goxkcd

Last synced: 07 Mar 2025

https://github.com/toadharvard/parallel-course

Last synced: 04 Jun 2026

https://github.com/toadharvard/leaderbot

Telegram bot for local game tournaments

Last synced: 02 Jul 2025

https://github.com/toadharvard/catradar

Like flightradar but with cats

Last synced: 27 Oct 2025

https://github.com/toadharvard/svdi-cli

Image compression and decompression using SVD

Last synced: 07 Mar 2025

https://github.com/toadharvard/social-network-prototype

Example of "best practice" FastAPI application written in 1 week

Last synced: 25 Apr 2026