Pinned Repositories
redGrapes
Resource-based, Declarative task-Graphs for Parallel, Event-driven Scheduling :grapes:
hdf-compass
Python-based viewer for HDF5 on other file formats
combwriter
Ergonomic Split-Typewriter with 3D-Printed Circuit Board and Hexagonal Keycaps
FruityOrange
A toy operating system written in C & Assembly.
giecs
Giecs Intermediate Environment for Concatenative, Stack-oriented programming
lib-laddertypes
Rust Implementation of Ladder-Types (parsing, unification, rewriting, etc)
lib-nested
Primitives for building syntax-based, keyboard-driven editors
lib-r3vi
Rust Runtime for Reactive View-Projections
ltsh
tiny utility program for type-analysis of shell pipelines based on ladder-typing
syntaxAlchemist
Intentional human-machine interfacing through fusion of (keyboard-driven) syntax-based editing and ladder typing.
michaelsippel's Repositories
michaelsippel/FruityOrange
A toy operating system written in C & Assembly.
michaelsippel/combwriter
Ergonomic Split-Typewriter with 3D-Printed Circuit Board and Hexagonal Keycaps
michaelsippel/giecs
Giecs Intermediate Environment for Concatenative, Stack-oriented programming
michaelsippel/syntaxAlchemist
Intentional human-machine interfacing through fusion of (keyboard-driven) syntax-based editing and ladder typing.
michaelsippel/ltsh
tiny utility program for type-analysis of shell pipelines based on ladder-typing
michaelsippel/lib-laddertypes
Rust Implementation of Ladder-Types (parsing, unification, rewriting, etc)
michaelsippel/lib-nested
Primitives for building syntax-based, keyboard-driven editors
michaelsippel/lib-r3vi
Rust Runtime for Reactive View-Projections
michaelsippel/oxygarum
A 3D-engine written in C++ and based on OpenGL and SDL
michaelsippel/picongpu
PIConGPU - A particle-in-cell code for GPGPUs
michaelsippel/guitar-circuits
My custom guitar schematics and PCBs.
michaelsippel/shell
prototypical shell-like REPL with ladder-typing and structured command-editing
michaelsippel/Community-Challenges
Games for the community challenges
michaelsippel/Dasyur
my bundle of universal classes.
michaelsippel/neo-LaTeX
A set of emacs-bindings for neo users.
michaelsippel/no-deadlocks
Locks compatible with std::sync, but with runtime deadlock debugging for testing purposes
michaelsippel/prettytable-rs
A rust library to print aligned and formatted tables
michaelsippel/qlcplus
Q Light Controller Plus
michaelsippel/redGrapes
Resource-based, Declarative task-Graphs for Parallel, Event-driven Scheduling :grapes:
michaelsippel/rust-barebones-kernel
A barebones framework for a rust kernel.
michaelsippel/tasklib-comparison
michaelsippel/tictactoe-advanced