michaelsippel Goto Github PK

combwriter

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

community-challenges

Games for the community challenges

dasyur

my bundle of universal classes.

fruityorange

A toy operating system written in C & Assembly.

giecs

Giecs Intermediate Environment for Concatenative, Stack-oriented programming

guitar-circuits

My custom guitar schematics and PCBs.

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

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

oxygarum

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

picongpu

PIConGPU - A particle-in-cell code for GPGPUs

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.

shell

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

syntaxalchemist

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

tasklib-comparison

tictactoe-advanced