Nested Structure Editors

Updated 7 days ago

Updated 2 weeks ago

Intentional human-machine interfacing through fusion of (keyboard-driven) structured editing and ladder typing. 👁️

Updated 3 weeks ago

Updated 4 weeks ago

tiny type analysis tool for shell pipelines based on ladder-typing

Updated 4 weeks ago

Rust Runtime for Reactive View-Projections

Updated 2 months ago

Global Game Jam 2023

Updated 10 months ago