😀
Highlights
Lists (1)
Starred repositories
A refreshingly simple data-driven game engine built in Rust
General purpose Nix configuration for macOS / NixOS (with starter templates!)
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…
A GPU-accelerated cross-platform terminal emulator and multiplexer written by @wez and implemented in Rust
Install and Run Python Applications in Isolated Environments
Decompilation of sead: the standard C++ library for first-party Nintendo games
A valgrind mirror with latest macOS support
Decompilation of The Legend of Zelda: Breath of the Wild (Switch 1.5.0)
Cross-platform library for reading/writing memory in other processes for Rust
A Rust compiler backend targeting CIL(.NET IR) and C.
An incremental game about evolving a civilization
Ophose repository - PHP/Javascript framework for web app development
Build smaller, faster, and more secure desktop and mobile applications with a web frontend.
SpotX Mac and Linux adblocker for the Spotify desktop client, in Bash
Repository for the book "Crafting Interpreters"