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.

Download and parse data from Garmin Connect or a Garmin watch, FitBit CSV, and MS Health CSV files into and analyze data in Sqlite serverless databases with Jupyter notebooks.

Rigol oscilloscope remote control, mainly for use with https://github.com/Ebiroll/esp32_sigrok

Rust programming, in Polish.

A crate for storing data in flash memory with minimal need for erasing pages

Open-source IoT Platform - Device management, data collection, processing and visualization.

A fast, declarative meta build system for C/C++/Rust projects, based on Ninja, designed to handle large build matrices of highly modular projects.

xlskubectl — a spreadsheet to control your Kubernetes cluster

Bochs - Cross Platform x86 Emulator Project

DNS over HTTPS / DNS over Tor / DNSCrypt client, WireGuard proxifier, firewall, and connection tracker for Android.