Niels Saurer

progge.rs. Program analysis playground for a simple, imperative language

grabapl. A visual-first, statically typed, pluggable, graph-based programming language

rm-pdf-tools. PDF tools for reMarkable tablets

eth-video-grabber. Download all ETH lecture recordings you have access to.

teng. A minimal, cross-platform graphical game engine for the terminal in Rust

elina-rs. Rust bindings for the ELINA library

imp. Big-step, small-step and axiomatic semantics for the IMP language (unofficial)

aoc-2021. Rust

stringlang. An interpreted, expression-oriented language where everything evaluates to strings

headlessmc. This library provides a simple abstraction over a connection to a Minecraft server including appropriate packets in Rust

raytracer. Rust

dataflowanalysis. Data-flow analysis framework in Go

aoc-fold-generator. Advent of Code Day 13 tool to generate inputs

scripts. Shell

movie_cleaner. Removes media files where there already is a higher resolution