Reactors for scientific computing, machine learning, robotics, mechatronics and automation.

Analyze ELF binaries like a boss 😼🕵️‍♂️

A lightweight reactor runtime targeted at distributed resource-constrained embedded systems

NixOS deployments of DD-IX

Nix template for the chisel-based industrial designing flows.

Serving sflow traffic metrics as Prometheus endpoints.

A fast in-memory rule engine

Compose papers, dissertations, textbooks, novels, newspapers etc. quicker using abstractions to the standard LaTeX document classes - or create your own classes easily.

RFCs for changes to Lingua Franca

Microkernel-based system for heterogeneous manycores

This is a project, where I give you a way to use SOLIDWORKS on Linux!

F´ - A flight software and embedded systems framework

BMP based looking glass

A markdown terminal slideshow tool

C++ CSV parser library

FormsWizard main app

Nixos module, allowing app deployment via git hooks into pure servers

A collection of tools for tracking planes/helicopters/UFOs/whatever with ADS-B. Packaged for NixOS with packages and modules

The highly inovative feedback system for the deusche bahn

Low level HTTP server library in Rust

A Rust crate for cooking up terminal user interfaces (TUIs) 👨‍🍳🐀 https://ratatui.rs

Find unused dependencies in Cargo.toml

Modern wallpaper daemon for Wayland

Multi-Joint dynamics with Contact. A general purpose physics simulator.

CLI to migrate your matrix account from one to the other

A minimalist single-header library for building pattern-matchers, lexers, and parsers.

get things from one computer to another, safely

Experiment code for "Deep Reinforcement Learning in a Handful of Trials using Probabilistic Dynamics Models"

Universal Radio Hacker: Investigate Wireless Protocols Like A Boss