Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
Package Usage: cargo: hashconsing
A hash consing library.
19 versions
Latest release: 8 months ago
1 dependent package
82,539 downloads total
View more package details: https://packages.ecosyste.ms/registries/crates.io/packages/hashconsing
View more repository details: https://repos.ecosyste.ms/hosts/GitHub/repositories/AdrienChampion%2Fhashconsing
Dependent Repos 3
homotopy-io/homotopy-rs
A Rust/WASM implementation of homotopy.io- 1.5.1 Cargo.lock
- 1.5.1 homotopy-core/Cargo.toml
Size: 211 MB - Last synced: 2 days ago - Pushed: 3 days ago
hopv/hoice
An ICE-based predicate synthesizer for Horn clauses.- 1.5.1 Cargo.lock
Size: 3.02 MB - Last synced: 8 days ago - Pushed: about 1 month ago
dwarfmaster/commutative-diagrams
A coq plugin to deal with commutative diagrams- 1.5.1 engine/Cargo.lock
Size: 1.08 MB - Last synced: 14 days ago - Pushed: 8 months ago
nilehmann/liquid-rust 📦
- 1.2.0 Cargo.lock
Size: 828 KB - Last synced: about 1 year ago - Pushed: over 2 years ago
doctorn/homotopy-rs Fork of homotopy-io/homotopy-rs
A Rust/WASM implementation of homotopy.io- 1.5.1 Cargo.lock
- 1.5.1 homotopy-core/Cargo.toml
Size: 32.4 MB - Last synced: about 1 year ago - Pushed: about 1 year ago
DennisOrn/mcsat-rust
- 1.3.0 Cargo.lock
- 1.3.0 Cargo.toml
Size: 158 KB - Last synced: about 1 year ago - Pushed: over 2 years ago
atheneem/compiler
- 1.6.0 Cargo.lock
- 1 Cargo.toml
Size: 112 KB - Last synced: 5 months ago - Pushed: 5 months ago