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
181 forks
Language: Rust
last commit: almost 2 years agoLinked 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. | 456 |
 alilleybrinker/langs-in-rust | A directory of programming languages implemented in Rust, serving as a source of inspiration and comparison. | 887 |
 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,148 |
| rust-lang/rust | Empowering software developers to build reliable and efficient software using a fast and memory-efficient language with strong type safety and comprehensive tooling. | 99,490 |
 fspoettel/advent-of-code-rust | A Rust template for solving Advent of Code puzzles | 749 |
 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,263 |
 rustache/rustache | A Rust implementation of the Mustache templating engine spec | 212 |
 ferrous-systems/elements-of-rust | A collection of software engineering techniques and best practices for writing clear and effective Rust code. | 1,106 |
 mre/idiomatic-rust | A curated collection of resources for writing clean, idiomatic Rust code | 6,679 |
 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. | 718 |