Lists (1)
Starred repositories
Generates an extended OAS with Glacier contracts.
A curated list of resources about post-quantum cryptography.
Aesthetic, minimalist platform for learning Japanese inspired by Duolingo and Monkeytype, built with Next.js and sponsored by Vercel. Beginner-friendly with plenty of good first issues - all contri…
Lightweight TCP/IP stack with no dynamic memory allocations
agentic skills to write TLA+ specs or TLAPS proofs
"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