Metatheory.jl Files

General purpose algebraic metaprogramming

This is an exact mirror of the Metatheory.jl project, hosted at https://github.com/JuliaSymbolics/Metatheory.jl. SourceForge is not affiliated with Metatheory.jl. For more information, see the SourceForge Open Source Mirror Directory.

The interactive file manager requires Javascript. Please enable it or use sftp or scp.
You may still browse the files here.

Name	Modified	Size	InfoDownloads / Week
Parent folder
README.md	2023-05-13	441 Bytes	0
v2.0.1 source code.tar.gz	2023-05-13	469.8 kB	0
v2.0.1 source code.zip	2023-05-13	497.4 kB	0
Totals: 3 Items		967.6 kB	0

Metatheory v2.0.1

Diff since v2.0.0

Closed issues: - Make the EGraph pattern matcher instantiate to ENodes instead of actual expressions with eclasses as children. (#83) - Register (#135) - 2.0 Docs not deploying (#149) - Should egraph hang on cancellation rule? (#154)

Merged pull requests: - One-line change to fix error message (#152) (@kylebd99)

Source: README.md, updated 2023-05-13

Other Useful Business Software

No-Nonsense Code-to-Cloud Security for Devs | Aikido

Connect your GitHub, GitLab, Bitbucket, or Azure DevOps account to start scanning your repos for free.

Aikido provides a unified security platform for developers, combining 12 powerful scans like SAST, DAST, and CSPM. AI-driven AutoFix and AutoTriage streamline vulnerability management, while runtime protection blocks attacks.

Start for Free

Turn Your Content into Interactive Magic - For Free

From Canva to Slides, Desmos to YouTube, Lumio works with the tech tools you are already using.

Transform anything you share into an engaging digital experience - for free. Instantly convert your PDFs, slides, and files into dynamic, interactive sessions with built-in collaboration tools, activities, and real-time assessment. From teaching to training to team building, make every presentation unforgettable. Used by millions for education, business, and professional development.

Start Free Forever

Recommended Projects

AAA
Curated list of the best FOSS Android apps to maximize your freedom
Clonezilla
A partition and disk imaging/cloning program
Apache OpenOffice
The free and Open Source productivity suite
7-Zip
A free file archiver for extremely high compression
KeePass
A lightweight and easy-to-use password manager

Metatheory.jl Files

General purpose algebraic metaprogramming

Get an email when there's a new version of Metatheory.jl

Metatheory v2.0.1