ladder-typed data morphing compiler
Updated 2025-04-03 16:38:43 +02:00
Rust Implementation of Ladder-Types (parsing, unification, rewriting, etc)
Updated 2025-04-03 15:41:27 +02:00
Primitives for building syntax-based, keyboard-driven editors
Updated 2025-03-10 18:19:35 +01:00
Rust Runtime for Reactive View-Projections
Updated 2024-12-24 12:55:34 +01:00
compiler & runtime for a small ladder-typed language kernel
Updated 2024-12-24 12:51:32 +01:00
Basic examples to get up and running with pipewire in Rust
Updated 2024-12-03 16:00:56 +01:00
Updated 2024-11-08 20:12:24 +01: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