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