🔁
rebooting
Previously dev at @xyflow and R&D @plantingspace.
Into applied category theory, compiler engineering, string diagrams, and neurosymbolic AI
Pinned Loading
-
discopy/discopy
discopy/discopy PublicThe Python toolkit for computing with string diagrams.
-
JuliaSymbolics/Metatheory.jl
JuliaSymbolics/Metatheory.jl PublicMakes Julia reason with equations. General purpose metaprogramming, symbolic computation and algebraic equational reasoning library for the Julia programming language: E-Graphs & equality saturatio…
-
JuliaSymbolics/Symbolics.jl
JuliaSymbolics/Symbolics.jl PublicSymbolic programming for the next generation of numerical software
-
JuliaSymbolics/SymbolicUtils.jl
JuliaSymbolics/SymbolicUtils.jl PublicSymbolic expressions, rewriting and simplification
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.






