A curated list of awesome Coq frameworks, libraries and software.
A curated list of Rust code and resources.
A static file server in Rust
Utility to test binary diff implementations
Binary diff implementation
Firefox extension for graphing the number of citations over time at ACM Digital Library
C to Rust translator
CSS implementation for tty media
Dating sites crawler
🎮 A list of popular/awesome videos games, add-ons, maps, etc. hosted on GitHub. Any genre. Any platform. Any engine.
Simple, static gitstat generator.
An impish, cross-platform binary parsing crate, written in Rust
Encoding and decoding images in Rust
RMagick for IronRuby
LLVM Kaleidoscope tutorial ported to Python
LevelDB C binding
My activity log at Open Frontier Lab
Alternative rust compiler (re-implementation)
Derivative parsing library implemented in Python
Python binding to cryptographic libraries using ctypes
Inofficial fork of quad-wheel on Google-Code
RFCs for changes to Rust
Record and Replay Framework
Rust Regular Expression Engine
a safe, concurrent, practical language
A bunch of lints to catch common mistakes and improve your Rust code
Information useful to people contributing to Rust
Conventions, principles, patterns, and best practices for Rust code