Lists (3)
Sort Name ascending (A-Z)
Starred repositories
Aya is an eBPF library for the Rust programming language, built with a focus on developer experience and operability.
Fire Emblem 7: The Blazing Sword romhack by TheSmithPlays. Another project within the Legacy umbrella aimed at optimizing the game while maintaining it's original it feel.
Rust reflection, serialization, deserialization, pretty printing, etc. — the last proc macro you should need
Rust bindings for NetworkManager over D-Bus.
Social reading and reviewing, decentralized with ActivityPub
Cross-platform shell tools for Deno and Node.js inspired by zx.
A massive collaborative rube goldberg machine.
Source code for the Online-Go.com web interface
Improve your Baduk skills by training with KataGo!
Dafny is a verification-aware programming language
An extremely fast Python type checker and language server, written in Rust.
Web-based SQLite database browser written in Python
The lean application framework for Python. Build sophisticated user interfaces with a simple Python API. Run your apps in the terminal and a web browser.
Terminal session recorder, streamer and player 📹
model-checking / verify-rust-std
Forked from rust-lang/rustVerifying the Rust standard library
Regorus - A fast, lightweight Rego (OPA policy language) interpreter written in Rust.
snapshots of releases and interim labels for "lynx"https://invisible-island.net/personal/git-exports.html (no pull requests)
Code that lets you use wolfcrypt as crypto provider for rustls.
jless is a command-line JSON viewer designed for reading, exploring, and searching through JSON data.
💥 Create key bindings that stick. WhichKey helps you remember your Neovim keymaps, by showing available keybindings in a popup as you type.