Skip to content
implementation starting point
Benchmarks: missing
Time to repro: a few days
1 risk flag
none

Results & Benchmarks

Freshness tier: cold
Direct + Inferred Evidence

No concrete benchmark grounding is available yet. Treat the page as context or an implementation starting point only.

Metatheory.jl: Fast and Elegant Algebraic Computation in Julia with Extensible Equality Saturation is the primary contribution described in this paper.

Use This Implementation Because…

Confidence: high

0x0f0f0f/Metatheory.jl is the strongest maintained implementation based on ranking signals. CI workflows are present. License is declared (MIT).

Open 0x0f0f0f/Metatheory.jl

Reproduction Risks

  • Dependency manifest is missing

Hardware Notes

Expect multi-day setup/compute for meaningful reproduction based on current guidance.

Evidence disclosure

Evidence graph: 3 refs, 3 links.

Utility signals: depth 60/100, grounding 75/100, status medium.

Implementation Comparison

Top 2 paths

Compare maintenance quality, reproducibility coverage, and evidence confidence before choosing a reproduction baseline.

0x0f0f0f/Metatheory.jl
best maintained
Maintenance: Active
Confidence: High
Reproducibility: Moderate

Official implementation from Papers with Code · Repository link is mentioned in the paper metadata

Stars
400
Last push
May 30, 2026 (19d ago)
CIReleases

Risk flags

  • No Docker setup
  • Dependency manifest missing
juliasymbolics/metatheory.jl
alternative
Maintenance: Active
Confidence: Low
Reproducibility: Moderate

Strong overlap with paper title keywords · Community adoption signal (400 stars)

Stars
400
Last push
May 30, 2026 (19d ago)
CIReleases

Risk flags

  • No Docker setup
  • Dependency manifest missing
  • Low confidence match

Best implementation now

0x0f0f0f/Metatheory.jl
Confidence: High
Reproducibility: Moderate

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.

Stars: 400
Forks: 49
Last push: May 30, 2026
License: MIT
Official implementation from Papers with Code
Repository link is mentioned in the paper metadata
Strong overlap with paper title keywords
Community adoption signal (400 stars)
License ✓
CI ✓
Deps –
Docker –
  • Selected 0x0f0f0f/Metatheory.jl as the strongest maintained implementation for new work.
  • Includes CI workflow signals.
  • Repository activity is within the last 24 months.

Reproduction readiness

Major Work
Time to first repro: days
Last checked: Jun 18, 2026

Hardware requirements

  • Expect multi-day setup/compute for meaningful reproduction based on current guidance.

No dependency manifest — manual reconstruction required

  • · 0x0f0f0f/Metatheory.jl has no requirements.txt, environment.yml, pyproject.toml, or Dockerfile.
  • · You will need to reverse-engineer dependencies from import statements in the source code.
Open 0x0f0f0f/Metatheory.jl

No benchmark numbers could be verified. You will not be able to validate reproduction correctness against published numbers.

Additional implementations

No additional verified repositories beyond the primary recommendation.

These repositories had low-confidence matching signals and are hidden by default.

Hugging Face artifacts

No direct paper-linked artifacts were found. Showing strongest curated related artifacts for faster exploration.

Models

No trustworthy model matches right now.

Search models on Hugging Face

Datasets

Broaden dataset search

metatheory fast elegant algebraic dataset

Spaces

No trustworthy demo spaces right now.

Search spaces on Hugging Face
Search models Search datasets Search spaces

Research context

Evaluation & Human Feedback Data

Open this paper in HFEPX to review benchmark signals, evaluation modes, and human-feedback protocol context.

Open in HFEPX

Need human evaluators for your AI research? Scale annotation with expert AI Trainers.

Post a Job Get a Quote