Wespenstock CRS

Buildroot, making embedded Linux easy. Note that this is not the official repository, but only a mirror. The official Git repository is at https://gitlab.com/buildroot.org/buildroot/. Do not open i…

Autarkie - Instant Grammar Fuzzing Using Rust Macros

A feature-rich terminal-based RSS/Atom feed reader written in Rust.

Safe, fast, and obvious concurrent collections in Rust.

A Low Barrier Proof Assistant

Custom Agent and Tooling for using Nyx with Firefox

revng: the core repository of the rev.ng project

The Use of Likely Invariants as Feedback for Fuzzers

A nimble Mastodon web client

Collection of JUnit Tests for GAD exercises at TUM in SS22

MASZ is a selfhostable highly sophisticated moderation bot for Discord. Includes a web dashboard and a discord bot.