Updated 2026-10-08 01:31:32 +03:00
Updated 2026-10-07 23:57:38 +03:00
A program to parse and reduce lambda calculus terms, written in Idris 2
Updated 2026-10-07 23:55:51 +03:00
Implementation of partition function from number theory.
Updated 2026-10-07 23:45:49 +03:00
Updated 2026-10-07 23:43:30 +03:00
Updated 2026-10-07 23:42:47 +03:00
Particle gravity simulation written in C with SDL
Updated 2026-03-02 22:14:14 +02:00