Data

Tools

Indexes

Applications

Experiments

Open Source Science

egs

https://github.com/jevry/egs

Science Score: 44.0%

This score indicates how likely this project is to be science-related based on various indicators:

  • ✓
    CITATION.cff file
    Found CITATION.cff file
  • ✓
    codemeta.json file
    Found codemeta.json file
  • ✓
    .zenodo.json file
    Found .zenodo.json file
  • ○
    DOI references
  • ○
    Academic publication links
  • ○
    Academic email domains
  • ○
    Institutional organization owner
  • ○
    JOSS paper metadata
  • ○
    Scientific vocabulary similarity
    Low similarity (3.2%) to scientific vocabulary
Last synced: 6 months ago · JSON representation ·

Repository

Basic Info
  • Host: GitHub
  • Owner: jevry
  • Language: Rust
  • Default Branch: main
  • Size: 234 KB
Statistics
  • Stars: 0
  • Watchers: 1
  • Forks: 0
  • Open Issues: 0
  • Releases: 0
Created almost 2 years ago · Last pushed over 1 year ago
Metadata Files
Readme Citation

README.md

E-graphs Simple

Intended as example / learning software.

for a thesis project.

reading guide:

-lib.rs collects all the files and contains all the tests.

-main.rs is just to test importing lib.rs.

-id.rs, eclass.rs and enode.rs only contain their respective enums and structs.

-util.rs contains some miscelanious functions.

-pattern.rs contains pattern enums and rule structs and methods to create them.

-egraphs contains the egraph struct and all its functions, all the magic happens here.

Owner

  • Name: jevry
  • Login: jevry
  • Kind: user

Citation (CITATION.cff) 

# to allow slightly easier citing of this library

cff-version: 1.2.0
title: egs
message: >-
  If you use this software, please cite it using the
  metadata from this file.
type: software
authors:
  - given-names: Kieran
    family-names: van Gelder
repository-code: 'https://github.com/jevry/EGS'
abstract: |
  E-graphs Simple
  Intended as example / learning software.
  for a thesis project.

version: 0.1
date-released: 2024

GitHub Events

Total
Last Year

Dependencies

Cargo.lock cargo
  • ahash 0.7.8
  • autocfg 1.2.0
  • byteorder 1.5.0
  • cfg-if 1.0.0
  • daggy 0.8.0
  • equivalent 1.0.1
  • fixedbitset 0.2.0
  • fixedbitset 0.4.2
  • fxhash 0.2.1
  • getrandom 0.2.14
  • hashbrown 0.12.3
  • hashbrown 0.14.3
  • indexmap 1.9.3
  • indexmap 2.2.6
  • itoa 1.0.11
  • libc 0.2.153
  • log 0.4.21
  • once_cell 1.19.0
  • petgraph 0.5.1
  • petgraph 0.6.4
  • ppv-lite86 0.2.17
  • proc-macro2 1.0.81
  • quote 1.0.36
  • rand 0.8.5
  • rand_chacha 0.3.1
  • rand_core 0.6.4
  • ryu 1.0.18
  • serde 1.0.198
  • serde_derive 1.0.198
  • serde_json 1.0.117
  • smallvec 1.13.2
  • symbol_table 0.2.0
  • symbolic_expressions 5.0.3
  • syn 2.0.60
  • thiserror 1.0.59
  • thiserror-impl 1.0.59
  • unicode-ident 1.0.12
  • vectorize 0.2.0
  • version_check 0.9.4
  • wasi 0.11.0+wasi-snapshot-preview1
Cargo.toml cargo