An RTOS designed and verified to enable reliable software updates and operation for embedded sytems.

Intentionally corrupt STM32 flash to test code handling the flash ECCD interrupt

ASN1SCC: An open source ASN.1 compiler for embedded systems

A generic satellite data processing software.

A 3d graphics engine for voxel-like worlds

Development of the cross-platform TUM Campus App with Flutter - for and from students at Technical University of Munich.

Kani Rust Verifier

Linker Script parser

Powerful and fun Discord Bot written in Rust

Android app that allows you to save a file shared from another app to your device.

🛡️ The independent, comprehensive directory of filter and host lists for advertisements, trackers, malware, and annoyances.

Winning project of hackaTUM 2023 check24 track.

An Approach to Coreference Resolution and Formula Grounding for Mathematical Identifiers using Large Language Models

An all-in-one RootFS builder for Debian-based distributions with seemless QEMU integration

A JS script that starts to play discord ping/call sounds after site inactivity

Game Engine written in Rust. Successor of the GrizzlyBear-Engine

🌐🐧 Browsable Linux kernel syscall tables built with Systrack (https://github.com/mebeim/systrack)

Unofficial RPM package of Synology Drive Client

Fake where your phone is located (Mock location for Android).

A relatively basic implementation of RWKV in Rust written by someone with very little math and ML knowledge. Supports 32, 8 and 4 bit evaluation. It can also directly load PyTorch RWKV models.

A markup-based typesetting system that is powerful and easy to learn.

A compiler for a B-like language

Stable Diffusion web UI

La Ardilla de Tierra for El Gato Stream Deck

Transpile curl commands into Python, JavaScript and 27 other languages

Website for converting curl commands to code

Personal collection of adblock filters

📦✨ your favorite rust -> wasm workflow tool!

Git History for Visual Studio Code

Python script to find broken links on a site