michaelsippel

FruityOrange

A toy operating system written in C & Assembly.

combwriter

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

giecs

Giecs Intermediate Environment for Concatenative, Stack-oriented programming

syntaxAlchemist

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

ltsh

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

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

oxygarum

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

picongpu

PIConGPU - A particle-in-cell code for GPGPUs

guitar-circuits

My custom guitar schematics and PCBs.

shell

prototypical shell-like REPL with ladder-typing and structured command-editing

Community-Challenges

Games for the community challenges

Dasyur

my bundle of universal classes.

neo-LaTeX

A set of emacs-bindings for neo users.

no-deadlocks

Locks compatible with std::sync, but with runtime deadlock debugging for testing purposes

prettytable-rs

A rust library to print aligned and formatted tables

qlcplus

Q Light Controller Plus

redGrapes

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

rust-barebones-kernel

A barebones framework for a rust kernel.

tasklib-comparison

tictactoe-advanced