Michael Sippel

FruityOrange. A toy operating system written in C & Assembly.

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

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

giecs. Giecs Intermediate Environment for Concatenative, Stack-oriented programming

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

ldmc. Ladder-Typed Data Morphing Compiler — dynamically transform data-representations by type level descriptions

lib-r3vi. Rust Runtime for Reactive View-Projections

oxygarum. A 3D-engine written in C++ and based on OpenGL and SDL

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

picongpu. PIConGPU - A particle-in-cell code for GPGPUs

lib-nested. Primitives for building syntax-based, keyboard-driven editors