GitHub repository: 0x0f0f0f/Metatheory.jl
Primary language: Julia
Description: General purpose metaprogramming and algebraic computation library for the Julia programming language