An open API service aggregating public data about GitHub Sponsors.

0x0f0f0f

R&D Scientist, building @PlantingSpace. I focus on category theory, functional programming, symbolics, and programming language theory

Funding Links: https://github.com/sponsors/0x0f0f0f

Name: Alessandro Cheli
Location: Italy
Company: @PlantingSpace
Kind: user
Followers: 178
Following: 103
Total stars: 329
Repositories count: 53
Created at: 2023-04-24T16:49:32.912Z
Updated at: 2024-11-24T16:29:14.335Z
Last synced at: 2024-11-24T16:29:14.334Z

GitHub Sponsors Profile

🌠 ✨ ❤️

Current Sponsors: 1
Past Sponsors: 3
Total Sponsors: 4

Featured Works

JuliaSymbolics/TermInterface.jl

Common interface for symbolic terms, allowing symbolic libraries with different underlying structures to interact and convert

Language: Julia - Stars: 38

JuliaSymbolics/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: 363

JuliaSymbolics/Symbolics.jl

Symbolic programming for the next generation of numerical software

Language: Julia - Stars: 1369

JuliaSymbolics/SymbolicUtils.jl

Symbolic expressions, rewriting and simplification

Language: Julia - Stars: 543

Sponsor Breakdown

User: 2

Ecosyste.ms sponsors