michaelsippel / ltsh Star 3 Code Issues Pull requests tiny utility program for type-analysis of shell pipelines based on ladder-typing shell typechecker static-analysis pipelines type-system statically-typed typechecking posix-shell ladder-types Updated Nov 8, 2023 Rust
michaelsippel / ldmc Star 2 Code Issues Pull requests Ladder-Typed Data Morphing Compiler — dynamically transform data-representations by type level descriptions serialization code-generator compiler data-transformation type-system marshaling ladder-types Updated Dec 18, 2025 Rust
michaelsippel / lib-laddertypes Star 1 Code Issues Pull requests Rust Implementation of Ladder-Types (parsing, unification, rewriting, etc) type-system statically-typed ladder-types Updated Jul 31, 2025 Rust