TehMillhouse

PyMarkovChain

Simple markov chain implementation in python

autocorrect.py

Xlib-based typing shortcut tool with tons of caveats

stdkbd

stdin -> fake keyboard events

2600-hackery

Random hackery for the Atari 2600, mainly used as scratchpad-repo

aoc21

chip8

CHIP 8 Emulator in Scala

cparser

C99 parser and frontend for libfirm

introduction_to_lean

jray

Ray tracer I wrote in terribly unidiomatic java in a day for fun

kata-csvdb-java

Clean Code Example

kata-csvreader-java

Clean Code Kata

kata-diamond-java

Diamond Kata

kata-GOL

kata-refactoring-gilded-rose

Starting code for the GildedRose Refactoring Kata in many programming languages.

kata-sumdigpower-java

Clean Code Example

klipper

Klipper is a 3d-printer firmware

lean

Lean Theorem Prover

libfirm

graph based intermediate representation and backend for optimising compilers

mjis

odie-client

Simple odie interface

odie-server

Not garfield's lasagna

OnionHeater

Model-based controller for 3d printers

ornithologist

Python script that retrieves Twitter data via the Twitter API for further analysis

RESTtoy

Sailfish-MightyBoardFirmware

Sailfish, faster than a Marlin

sphinxawesome-theme

Create beautiful and awesome websites with the Sphinx documentation generator.

theorem_proving_in_lean

Theorem proving in Lean

TowerClimb-Descension

Mod Framework for TowerFall Ascension

transitiveclosure

wavelength-ide

Der Eventbus stirbt zuletzt