rust-lang/chalk
An implementation and definition of the Rust trait system using a PROLOG-like logic solver
License & maintenance
Custom or modified license that GitHub does not recognise: read the LICENSE file in the repository before using it in a product.
Last code push 7 days ago.
Similar projects
| Repository | Stars | Activity | |
|---|---|---|---|
| 1 |  bitcoin/bitcoinBitcoin Core integration/staging tree | ★ 90.4k | Active |
| 2 |  FuelLabs/fuel-coreRust full node implementation of the Fuel v2 protocol. | ★ 56.8k | Active |
| 3 |  freqtrade/freqtradeFree, open source crypto trading bot | ★ 55.6k | Active |
| 4 |  DefinitelyTyped/DefinitelyTypedThe repository for high quality TypeScript type definitions. | ★ 51.4k | Active |
| 5 |  ethereum/go-ethereumGo implementation of the Ethereum protocol | ★ 51.4k | Active |
| 6 |  anoma/anomaReference implementation of Anoma | ★ 33.6k | Slowing |
| 7 |  shardeum/shardeumShardeum is an EVM based autoscaling blockchain | ★ 31.2k | Stale |
| 8 |  bitcoinbook/bitcoinbookMastering Bitcoin 3rd Edition - Programming the Open Blockchain | ★ 25.3k | Stale |