andymac-2's Stars
dreais/wFita
Contains map generation and path finding
jswrenn/typic
Type-safe transmutations between layout-compatible types.
hobofan/ambassador
Delegation of trait implementations via procedural macros
elm-in-elm/compiler
Elm compiler written in Elm
mac-s-g/github-help-wanted
connecting developers with open source projects
rusty-ecma/RESS
Rusty EcmaScript Scanner
rust-lang/rust-by-example
Learn Rust with examples (Live code editor included)
rust-lang/mdBook
Create book from markdown files. Like Gitbook but implemented in Rust
rust-lang/rustlings
:crab: Small exercises to get you used to reading and writing Rust code!
Gekkio/mooneye-gb
A Game Boy research project and emulator written in Rust
artichoke/artichoke
💎 Artichoke is a Ruby made with Rust
gfx-rs/gfx
[maintenance mode] A low-overhead Vulkan-like GPU API for Rust.
cobalt-org/liquid-rust
Liquid templating for Rust
sparsemat/sprs
sparse linear algebra library for rust
ranveeraggarwal/rust-raytracer
An implementation of Peter Shirley's Ray Tracing in One Weekend.
xiegeo/commit-sudoku
Accepting pull requests to collectively finish a Sudoku puzzle.
FintanH/blogs
Balblogs
NASA-SW-VnV/ikos
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
derrickstolee/bdfl
BFDL: A 100% accurate simulation of OSS maintenance
cs2dsb/github-game-jam-2018
Entry for github game jam 2018. A lemmings runner game hybrid.
rgehan/hacktoberfest-2k18-katas
Game has ended :: Little challenges to up your Hacktoberfest game!
matthewsamuel95/ACM-ICPC-Algorithms
Algorithms used in Competitive Programming
coq/coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
freeCodeCamp/freeCodeCamp
freeCodeCamp.org's open-source codebase and curriculum. Learn to code for free.