The calculus of constructions
MIT License
Statistics for this project are still being loaded, please check back later.
A rust implementation of AlphaZero algorithm
Rust Distilled is an online book about Rust programming language. It is a very comprehensive book...
Getting started with Rust: resources, tools and code samples for learning Rust
Rust Language Cheat Sheet - https://cheats.rs
Check 100% of execution cases of Rust programs 🦀 to make applications with no bugs! ✈️ 🚀 ⚕️ 🏦 For...
Terse Rust learning material.
2D polyline/shape library for offsetting, combining, etc.
Experimental logic programming system, written in Rust
🦀 A peer-reviewed collection of articles/talks/repos which teach concise, idiomatic Rust.
This is an adoption of S-99 or P-99 for Rustlang 🦀
Examples from tutorial and other documentations of Rust.
The Rust Programming Language. From Scratch to Advanced Project and Language approach.
Interactive visualizations of Rust at compile-time and run-time