rust-lang/chalk
An implementation and definition of the Rust trait system using a PROLOG-like logic solver
Licencia y mantenimiento
Licencia propia o modificada que GitHub no reconoce: lee el archivo LICENSE del repositorio antes de usarlo en un producto.
Último cambio de código hace 7 días.
Proyectos similares
| Repositorio | Estrellas | Actividad | |
|---|---|---|---|
| 1 |  bitcoin/bitcoinBitcoin Core integration/staging tree | ★ 90.4k | Activo |
| 2 |  FuelLabs/fuel-coreRust full node implementation of the Fuel v2 protocol. | ★ 56.8k | Activo |
| 3 |  freqtrade/freqtradeFree, open source crypto trading bot | ★ 55.6k | Activo |
| 4 |  DefinitelyTyped/DefinitelyTypedThe repository for high quality TypeScript type definitions. | ★ 51.4k | Activo |
| 5 |  ethereum/go-ethereumGo implementation of the Ethereum protocol | ★ 51.4k | Activo |
| 6 |  anoma/anomaReference implementation of Anoma | ★ 33.6k | Menos activo |
| 7 |  shardeum/shardeumShardeum is an EVM based autoscaling blockchain | ★ 31.2k | Sin cambios |
| 8 |  bitcoinbook/bitcoinbookMastering Bitcoin 3rd Edition - Programming the Open Blockchain | ★ 25.3k | Sin cambios |