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