FPGA Haskell machine with game changing performance. Reduceron is Matthew Naylor, Colin Runciman and Jason Reich's high performance FPGA softcore for running lazy functional programs, including har…

effects system for continuation

AirPlay and AirPlay 2 audio player

AirPlay 2 Receiver - Python implementation

An experimental kernel with a wasm userspace

A Rust crate for cooking up terminal user interfaces (TUIs) 👨‍🍳🐀 https://ratatui.rs

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 [maintainer=@tchajed]

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