Julia functional programming infrastructures and metaprogramming facilities

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.

Easy prototyping of structs

Collective tools for metaprogramming on Julia Expr

Some utilities for working with NamedTuples

Light-weight expression manipulation tools

Library for compile-time computing in julia

Build types in Julia where some fields have computed types

Aggregating all the docs

Static types useful for dispatch and generated functions.

Implement composition and concrete subtyping in Julia.

Julia mixin macros. Mixed, not stirred

Toolset for modifying Julia AST and characteristic values

Package to help with Inference development