0x0f0f0f

0x0f0f0f

👤 Developer

1 repository on SrcLog

View on GitHub
1 Repos
403 Stars
49 Forks
10 Watchers

🏆 Show off this rank

0x0f0f0f on SrcLog (holo style)

Add it to a GitHub README or profile — the card updates as the ranking changes:

Repositories (1)

Metatheory.jl JuliaSymbolics/Metatheory.jl Julia

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.

403