AirPlay and AirPlay 2 audio player

AirPlay 2 Receiver - Python implementation

An experimental kernel with a wasm userspace

Rust library that's all about cooking up terminal user interfaces (TUIs) 👨‍🍳🐀

Hitchhiker's Guide to Logical Verification (2023 Edition)

A certified Sudoku solver in Coq [maintainers=@siraben,@thery]

Tricks you wish the Coq manual told you

A Python Interpreter written in Rust

The Lobster Programming Language

Empowering everyone to build reliable and efficient software.

A tiling window manager for Adventurers

A new type of shell

A terminal workspace with batteries included

Automatic tiling window manager for macOS à la xmonad.

Window Tiling For The Win. A tiling window manager written in Rust

A cross-platform GUI library for Rust, inspired by Elm

egui: an easy-to-use immediate mode GUI in Rust that runs on both web and native

📚 Learn to write an embedded OS in Rust 🦀

Rust examples for all 23 classic GoF design patterns, and even a little more

System F in Stainless

l1c is a simple formally verified compiler for a while language