Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / egraphs-good / egglog
egraphs + datalog!
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/egraphs-good%2Fegglog
Stars: 355
Forks: 41
Open Issues: 67
License: mit
Language: Rust
Repo Size: 4.01 MB
Dependencies:
141
Created: over 2 years ago
Updated: 11 days ago
Last pushed: 11 days ago
Last synced: 6 days ago
Files
Loading...
Readme
Loading...
Dependencies
.github/workflows/build.yml
actions
- Swatinem/rust-cache v2 composite
- actions/checkout v3 composite
.github/workflows/deploy.yml
actions
- Swatinem/rust-cache v2 composite
- actions/checkout v3 composite
- peaceiris/actions-gh-pages v3 composite
Cargo.toml
cargo
- datatest-stable 0.1.3 development
- clap 4
- env_logger 0.10
- hashbrown 0.13
- indexmap 1.9
- instant 0.1
- lalrpop-util 0.19.8
- lazy_static 1.4
- log 0.4
- num-integer 0.1.45
- num-rational 0.4.1
- num-traits 0.2.15
- ordered-float 3.4
- regex 1
- rustc-hash 1.1
- smallvec 1.10
- thiserror 1
web-demo/Cargo.toml
cargo
Cargo.lock
cargo