You must be logged in to sponsor algebraic-dev

Become a sponsor to Sofia Rodrigues

Sofia Rodrigues

algebraic-dev

hi! I'm Sofia, a 23yo software engineer. info: i love working with lean4 pronouns: she/her 🌸 brazilian 🇧🇷 (pt-br / en) i work at lean fro contact: discord: algebraic.dev email: [email protected] blog: https://www.algebraic.dev/

2 sponsors have funded algebraic-dev’s work.

@algebraic-dev's goal is to have 5 monthly sponsors

I'll probably start to stream because I want to do it :)

Featured work

leanprover/lean4
Lean 4 programming language and theorem prover

Lean 6,862
algebraic-dev/vulpi
🦊 | A language that compiles to LLVM and has algebraic effects

Rust 110
algebraic-dev/http
🌐 | HTTP primitives for Lean 4

Lean 49
algebraic-dev/a-bad-lisp
🤪 | Just a bad Lisp, created out of boredom with macros.

Rust 8

Learn more about sponsoring developers and organizations.

0% towards 5 monthly sponsors goal

Be the first to sponsor this goal!

Select a tier

Choose a custom amount.