chalk
Trait solver
An implementation of the Rust trait system using a PROLOG-like logic solver
An implementation and definition of the Rust trait system using a PROLOG-like logic solver
2k stars
70 watching
182 forks
Language: Rust
last commit: about 1 month ago
Linked from 1 awesome list
klaudiosinani/awesome-prologRelated projects:
| Repository | Description | Stars |
|---|---|---|
| rust-lang/style-team | Defines and enforces style conventions for the Rust programming language. | 454 |
 alilleybrinker/langs-in-rust | A directory of programming languages implemented in Rust, serving as a source of inspiration and comparison. | 874 |
 thejpster/console-traits | A simple text-based console library for the Rust programming language | 3 |
| rust-lang/rust-by-example | An interactive Rust learning platform with examples and a live code editor. | 7,082 |
| rust-lang/rust | The Rust project provides tools and infrastructure to build efficient, reliable software | 98,564 |
 fspoettel/advent-of-code-rust | A Rust template for solving Advent of Code puzzles | 645 |
 willcrichton/tyrade | Exploring type-level programming in Rust with a focus on simplicity and expressiveness | 323 |
 rust-lang-ru/rust-by-example | A translation project of the Rust programming language book | 63 |
| rust-lang/reference | The Rust Language Reference is the primary documentation for the Rust programming language. | 1,248 |
 rustache/rustache | A Rust implementation of the Mustache templating engine spec | 210 |
 ferrous-systems/elements-of-rust | A collection of software engineering techniques and best practices for writing clear and effective Rust code. | 1,103 |
 mre/idiomatic-rust | A curated collection of resources for writing clean, idiomatic Rust code | 6,614 |
 crabtyper/crabtyper | A web application built with Rust and WebAssembly for learning typing speed and accuracy through interactive exercises. | 187 |
 rayylee/keypress | A Rust WebAssembly website example for practising English vocabulary | 8 |
 rust-rosetta/rust-rosetta | An implementation of Rosetta Code problems in Rust to learn and practice programming skills. | 716 |