Updated 2026-06-30 00:57:09 +02:00
tiny utility program for type-analysis of shell pipelines based on ladder-typing
Updated 2026-06-14 16:42:31 +02:00
Updated 2026-06-06 21:41:27 +02:00
Updated 2026-05-16 12:42:34 +02:00
compiler & runtime for a small ladder-typed language kernel
Updated 2026-05-15 00:09:54 +02:00
Tiny Stack Computer
Updated 2026-05-14 20:02:10 +02:00
Rust Implementation of Ladder-Types (parsing, unification, rewriting, etc)
Updated 2026-05-11 08:05:23 +02:00
Updated 2026-03-23 19:21:49 +01:00
Updated 2026-03-23 19:21:49 +01:00
Updated 2026-03-23 19:21:48 +01:00
ladder-typed data morphing compiler
Updated 2026-02-12 15:33:22 +01:00
Updated 2026-01-12 03:18:44 +01:00
Updated 2025-08-25 17:19:10 +02:00
Updated 2025-06-11 16:25:15 +02:00
Updated 2025-04-02 16:34:08 +02:00
cooperative game for kids
Updated 2025-03-29 14:20:47 +01:00
Primitives for building syntax-based, keyboard-driven editors
Updated 2025-03-10 18:19:35 +01:00
Updated 2025-02-20 17:04:15 +01:00