Updated 2026-10-08 00:51:32 +03:00
Updated 2026-10-08 00:51:31 +03:00
Updated 2026-10-08 00:51:31 +03:00
Updated 2026-10-08 00:01:14 +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
Cars dataset
Updated 2026-10-07 23:55:01 +03:00
Implementation of partition function from number theory.
Updated 2026-10-07 23:45:49 +03:00
Updated 2026-10-07 23:44:24 +03:00
Updated 2026-10-07 23:43:30 +03:00
Updated 2026-10-07 23:42:47 +03:00
Arduino SMS alert system
Updated 2026-09-03 20:52:34 +03:00
Particle gravity simulation written in C with SDL
Updated 2026-03-02 22:14:14 +02:00