Lists (1)
Starred repositories
455
results
for source starred repositories
Clear filter
"Totally Legit" Gemini Search - Open source search engine for the Gemini protocol
A FAT32 filesystem implementation written in rust.
Model Checking for Industrial Programmers with TLA+
Kaishi 1.5k is a modern, modular Japanese Anki deck made for beginners who want to learn basic vocabulary.
A modern specification language and model checker for concurrent and distributed systems. Faster than TLA+/TLC.
A repository for sharing agent capabilities and expertise related to TLA+.
Systems language with linear types and capability-based security.
A simple way to block access to the internet per app
Specula: A framework for finding deep bugs in system code using TLA+
A small experiment reproducing the AWS DNS race condition using the Spin model checker.
A project to digitalise results from physics into Lean.
USB HID implementation for Dendy-compatible joystick / controller
Pinepods is a complete podcast management system that allows you to play, download, and keep track of podcasts you enjoy. All self hosted and enjoyed on your own server!
APALACHE: symbolic model checker for TLA+ and Quint
Proving a blocking queue deadlock free in a dozen different ways
Open-source keyboard firmware for Atmel AVR and Arm USB families
Offline, privacy-first grammar checker. Fast, open-source, Rust-powered
A controlled concurrency testing framework for the JVM
Mocks for testing embedded-hal based drivers without hardware access.
Writing an OS in 1,000 lines.
Winners of the International Obfuscated C Code Contest
ayb makes it easy to create databases, share them with collaborators, and query them from anywhere
A minimal GPU design in Verilog to learn how GPUs work from the ground up