RCEpic
rust-lang/chalk
An implementation and definition of the Rust trait system using a PROLOG-like logic solver
- Owner
- rust-lang (organization)
- Stars
- Stars: 2,023
- Forks
- Forks: 184
- Language
- Rust
- License
- None
- Created
- 2015
- Tier
- RC (2,000 to 4,999 ★) What this tier means
More repos by rust-lang
All 117 repos by rust-lang- rust-lang/rustStars: 120,968RustLTS
- rust-lang/rustlingsStars: 64,539RustLTS
- rust-lang/mdBookStars: 22,258RustLTS
- rust-lang/bookStars: 18,500RustStable
- rust-lang/rust-analyzerStars: 16,963RustStable
- rust-lang/cargoStars: 15,661RustStable
Nearby in Rust
All Rust repos- SuperCuber/dotterStars: 2,025RustRC
- 64bit/async-openaiStars: 2,025RustRC
- shell-pool/shpoolStars: 2,025RustRC
- zmwangx/rust-ffmpegStars: 2,021RustRC
- oxigraph/oxigraphStars: 2,020RustRC
- hubblo-org/scaphandreStars: 2,017RustRC