Metatheory.jl

optimization programming-language

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

How to download and setup Metatheory.jl

Open terminal and run command

git clone https://github.com/JuliaSymbolics/Metatheory.jl.git

git clone is used to create a copy or clone of Metatheory.jl repositories. You pass git clone a repository URL.
it supports a few different network protocols and corresponding URL formats.

Also you may download zip file with Metatheory.jl https://github.com/JuliaSymbolics/Metatheory.jl/archive/master.zip

Or simply clone Metatheory.jl with SSH

[email protected]:JuliaSymbolics/Metatheory.jl.git

If you have some problems with Metatheory.jl

You may open issue on Metatheory.jl support forum (system) here: https://github.com/JuliaSymbolics/Metatheory.jl/issues

Similar to Metatheory.jl repositories

Here you may see Metatheory.jl alternatives and analogs

svgo ruby golang-examples go awesome-cheatsheets CreepyCodeCollection ACM-ICPC-Preparation cs-video-courses julia kotlin influential-cs-books osprey laravel-compile-views chillout lowlevelprogramming-university elvish Eve MTuner sarl game-programming-patterns red awesome-compilers haxe Free-Courses solidity gravity sdk dmd coconut ElixirBooks