8000 Sponsor @algebraic-dev on GitHub Sponsors · GitHub
[go: up one dir, main page]
Skip to content
You must be logged in to sponsor algebraic-dev
Become a sponsor to Sofia Rodrigues
@algebraic-dev

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:

2 sponsors have funded algebraic-dev’s work.

@algebraic-dev

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

@joaolucasdsp
Private Sponsor

Featured work

  1. leanprover/lean4

    Lean 4 programming language and theorem prover

    Lean 7,540
  2. algebraic-dev/vulpi

    🦊 | A language that compiles to LLVM and has algebraic effects

    Rust 110
  3. algebraic-dev/http

    🌐 | HTTP primitives for Lean 4

    Lean 53
  4. algebraic-dev/a-bad-lisp

    🤪 | Just a bad Lisp, created out of boredom with macros.

    Rust 8

Learn more about sponsoring developers and organizations.

Report abuse

0% towards 5 monthly sponsors goal

Be the first to sponsor this goal!

Select a tier

$ a month

Choose a custom amount.
0