MIT License
Statistics for this project are still being loaded, please check back later.
A SAT solver written in Rust
Roadmap to becoming a Rust Web Developer in 2022
This is an adoption of S-99 or P-99 for Rustlang 🦀
Rust_Game_dev
Connection provers in Rust
A dense quadratic program solver in pure rust
This repository is a list of machine learning libraries written in Rust. It's a compilation of Gi...
Rust 死灵书简体中文翻译
🦀 A peer-reviewed collection of articles/talks/repos which teach concise, idiomatic Rust.
Rust Language Cheat Sheet - https://cheats.rs
Check 100% of execution cases of Rust programs 🦀 to make applications with no bugs! ✈️ 🚀 ⚕️ 🏦 For...
Rusty Nails: an opinionated web application framework for Rust
A programming language (WIP)
Shari the prover