Astrological CPU Scheduler

A utility for decoding aarch64 ESR register values.

A profiling and tracing system for Embedded Rust that visualizes Embassy tasks, function calls, metrics and defmt logs in the Perfetto UI.

Visualize package dependencies as XKCD-style tower diagrams. Supports Python, Rust, JavaScript, Ruby, PHP, Java, and Go.

Python tqdm in Rust.

🌀 A nonsense activity generator

A terminal application that simulates installing things but doesn't actually install anything

Der offizielle eID-Client des Bundes.

A Cortex-M simulator written in Rust

The historical uIP sources

Running TCP/IP over SWD lines

Persists tmux environment across system restarts.

Tmux Plugin Manager

Optimise Linux system performance on demand

Recommendations for secure applications development with Rust

Validate and Run GitHub Actions locally.

Archlinux Kernel based on different schedulers and some other performance improvements.

Curated list of resources for Embedded and Low-level development in the Rust programming language

Save money by booking split-tickets with Deutsche Bahn

Zephyr Ada Apps

A process for Ada/SPARK software to meet ISO 26262

A Python platform to perform astrodynamics and space research.

A Rust to Ada/SPARK converter that makes your systems immune to the Rust virus. Converts Rust code to formally verifiable Ada, including itself.

anyon_e, a highly integrated, high end, open source laptop. Attempt the impossible.

Unsure Calculator

The official repository for tariff

simple terminal UI for git commands

Rust programming, in any language. Write rust like a true polyglot.

Knurling session with a BLE-connected distance sensor.