syntaxAlchemist
Primitives for building syntax-based, keyboard-driven editors
Updated 2024-12-13 19:54:05 +01:00
Rust Implementation of Ladder-Types (parsing, unification, rewriting, etc)
Updated 2024-10-28 19:59:52 +01:00
compiler & runtime for a small ladder-typed language kernel
Updated 2024-10-21 12:00:02 +02:00
Tiny Stack Computer
Updated 2024-10-18 20:57:48 +02:00
Updated 2024-09-29 22:53:43 +02:00
Rust Runtime for Reactive View-Projections
Updated 2024-08-09 02:07:43 +02:00
Updated 2024-05-26 13:01:12 +02:00
tiny utility program for type-analysis of shell pipelines based on ladder-typing
Updated 2024-05-12 04:41:25 +02:00