Resource-based, Declarative task-Graphs for Parallel, Event-driven Scheduling 🍇

Updated 5 hours ago

Benchmarks for various task-graph runtimes

Updated 7 days ago

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

Updated 3 months ago

Ergonomical Split-Typewriter with fully 3D-Printed Circuit Board and Hexagonal Keycaps

Updated 10 months ago