Metatheory.jl Reviews Save

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.

Overview
Versions
Reviews
Resources

No reviews for this project.

Add review

Open Source Agenda Badge

<a href="https://www.opensourceagenda.com/projects/metatheoryjl"><img src="https://www.opensourceagenda.com/projects/metatheoryjl/reviews/badge.svg" alt="Open Source Agenda"></a>

Submit Review Review Your Favorite Project

From the blog

Dec 11, 2022

Metatheory.jl Reviews Save

Open Source Agenda Badge

From the blog

How to Choose Which Programming Language to Learn First?