Pinned

1. ltsh ltsh Public

   tiny utility program for type-analysis of shell pipelines based on ladder-typing

   Rust 2

2. syntaxAlchemist syntaxAlchemist Public

   Intentional human-machine interfacing through fusion of (keyboard-driven) syntax-based editing and ladder typing.

   Rust 3

3. lib-laddertypes lib-laddertypes Public

   Rust Implementation of Ladder-Types (parsing, unification, rewriting, etc)

   Rust 1

4. combwriter combwriter Public

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

   OpenSCAD 4

5. ComputationalRadiationPhysics/redGrapes ComputationalRadiationPhysics/redGrapes Public

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

   C++ 20 5

6. HDFGroup/hdf-compass HDFGroup/hdf-compass Public

   Python-based viewer for HDF5 on other file formats

   Python 128 26