Wintermute wintermute · they/them
0 followers · 0 following
Repositories
9
 Projects Packages
1
 Public activity Starred repositories
Filter
Sort
zig-lambda
Zig 0 0
lambda calculus interpreter in zig
Updated 2026-06-05 14:45:59 +00:00
SetTheoryLean
Lean 0 0
Writing some set theory in lean from Kenneth Kunen's book
Updated 2026-06-04 20:37:29 +00:00
haskell-lambda
Haskell 0 0
Updated 2026-05-16 16:58:30 +00:00
lambda-interpreter-war
Shell 0 0
Making my lambda interpreters race
Updated 2026-05-14 17:02:32 +00:00
xmaslights
Rust 0 0
playing with esp32, a breadboard, and leds
Updated 2026-04-19 16:57:19 +00:00
gpio-embassy-test
Rust 0 0
showing what we can easily do with embedded rust
Updated 2026-04-19 15:48:22 +00:00
Dekejit
Rust 0 0
Toy virtual machine
Updated 2025-10-27 22:01:46 +00:00
brin
Rust 0 0
Updated 2025-10-27 22:01:31 +00:00
dev-env
Shell 0 0
Experiment with pipeline and portable dev environment
Updated 2025-07-21 05:13:39 +00:00