egraphs

Open-source projects categorized as egraphs
Edit details
Language: + Julia + Haskell + OCaml
Topics: equality-saturation Symbolic programming-language Julia compiler-construction
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
featured

Top 3 egraph Open-Source Projects

egraphs

  • Metatheory.jl

    Makes Julia reason with equations. General purpose metaprogramming, symbolic computation and algebraic equational reasoning library for the Julia programming language: E-Graphs & equality saturation, term rewriting and more.

  • InfluxDB

    Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

    InfluxDB logo

  • hegg

    Fast equality saturation in Haskell

  • ego

    EGraphs in OCaml (by verse-lab)

NOTE: The open source projects on this list are ordered by number of github stars. The number of mentions indicates repo mentiontions in the last 12 Months or since we started tracking (Dec 2020).

egraphs discussion

Log in or Post with

Index

What are some of the best open-source egraph projects? This list will help you:

Project Stars
1 Metatheory.jl 345
2 hegg 73
3 ego 56

Sponsored
Power Real-Time Data Analytics at Scale
Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
www.influxdata.com