chalk
by rust-lang
An implementation and definition of the Rust trait system using a PROLOG-like logic solver
AI summary
Trait solver
An implementation of the Rust trait system using a PROLOG-like logic solver
- stars
- 1.9K
- forks
- 181
- watching
- 70
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
Style guidelines
Defines and enforces style conventions for the Rust programming language.
Rust language list
A directory of programming languages implemented in Rust, serving as a source of inspiration and comparison.
Console library
A simple text-based console library for the Rust programming language
Learning Platform
An interactive Rust learning platform with examples and a live code editor.
Software development framework
Empowering software developers to build reliable and efficient software using a fast and memory-efficient language with strong type safety and comprehensive tooling.
Puzzle solver
A Rust template for solving Advent of Code puzzles
Type level language exploration
Exploring type-level programming in Rust with a focus on simplicity and expressiveness
Programming textbook
A translation project of the Rust programming language book
Language reference
The Rust Language Reference is the primary documentation for the Rust programming language.
Templater
A Rust implementation of the Mustache templating engine spec
Rust coding guidelines
A collection of software engineering techniques and best practices for writing clear and effective Rust code.
Rust guide
A curated collection of resources for writing clean, idiomatic Rust code
Typing trainer
A web application built with Rust and WebAssembly for learning typing speed and accuracy through interactive exercises.
Vocabulary Trainer
A Rust WebAssembly website example for practising English vocabulary
Programming exercises
An implementation of Rosetta Code problems in Rust to learn and practice programming skills.
Featured in 1 awesome list
Each link jumps to the spot where the list mentions chalk.
