0x0f0f0f
Hacking Diagrams @xyflow. Previously R&D Engineer @PlantingSpace. I focus on category theory, programming language theory, symbolics
Funding Links: https://github.com/sponsors/0x0f0f0f
- Name: Alessandro Cheli
- Location: Italy
- Company: @PlantingSpace
- Kind: user
- Followers: 188
- Following: 111
- Total stars: 432
- Repositories count: 58
- Created at: 2023-04-24T16:49:32.912Z
- Updated at: 2025-05-27T00:03:26.636Z
- Last synced at: 2025-05-27T00:03:26.636Z
GitHub Sponsors Profile
🌠 ✨ ❤️
- Current Sponsors: 1
- Past Sponsors: 3
- Total Sponsors: 4
- Minimum Sponsorship: $1.00
Featured Works
JuliaSymbolics/TermInterface.jl
Common interface for symbolic terms, allowing symbolic libraries with different underlying structures to interact and convert
Language: Julia - Stars: 38JuliaSymbolics/Metatheory.jl
Makes Julia reason with equations. General purpose metaprogramming, symbolic computation and algebraic equational reasoning library for the Julia programming language: E-Graphs & equality saturatio…
Language: Julia - Stars: 373JuliaSymbolics/Symbolics.jl
Symbolic programming for the next generation of numerical software
Language: Julia - Stars: 1425JuliaSymbolics/SymbolicUtils.jl
Symbolic expressions, rewriting and simplification
Language: Julia - Stars: 550Active Sponsors
keorn
Past Sponsors
cinterloper
Sponsor Breakdown
- User: 2