lbkolev
Follow
Stars
The Source Code to the original Atari Pacman game
Open-source high-performance RISC-V processor
This is the official source code of FreeCAD, a free and opensource multiplatform 3D parametric modeler.
Blazingly fast, modular and contributor friendly Solidity compiler, written in Rust
Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.
SnapPy is a package for studying the topology and geometry of 3-manifolds, with a focus on hyperbolic structures. It is based on the SnapPea kernel written by Jeff Weeks.
Lean 4 programming language and theorem prover
A portable device that can spoof/emulate any magnetic stripe, credit card or hotel card "wirelessly", even on standard magstripe (non-NFC/RFID) readers. It can disable Chip&PIN and predict AMEX car…
A statically typed programming language for scientific computations with first class support for physical dimensions and units
TrinityCore Open Source MMO Framework (master = 11.1.0.59570, 3.3.5 = 3.3.5a.12340, cata classic = 4.4.1.59069)
Mangos ZERO is a server for World of Warcraft. The server serves full world content including authentication & scripts support. Compatible with World of Warcraft clients 1.12.1-1.12.3 - Report all …
♞ lichess.org: the forever free, adless and open source chess server ♞
The core OCaml system: compilers, runtime system, base libraries
Ghidra is a software reverse engineering (SRE) framework
A driver, parser and real time brainwave plotter for NeuroSky MindWave EEG headset
Cassandra (CQL) driver for Rust, using the DataStax C/C++ driver under the covers.
Cross-platform Rust rewrite of the GNU coreutils
Theseus is a modern OS written from scratch in Rust that explores 𝐢𝐧𝐭𝐫𝐚𝐥𝐢𝐧𝐠𝐮𝐚𝐥 𝐝𝐞𝐬𝐢𝐠𝐧: closing the semantic gap between compiler and hardware by maximally leveraging the power of language safety an…
A new markup-based typesetting system that is powerful and easy to learn.
Inline Python code directly in your Rust code
Create book from markdown files. Like Gitbook but implemented in Rust