algebraic-dev

Follow

💫

Sofia Rodrigues algebraic-dev

💫

Follow

i like functional programming languages

1.4k followers · 434 following

algebraic.dev

Achievements

Achievements

Organizations

algebraic-dev/README.md

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: sofia@algebraic.dev blog: https://www.algebraic.dev/

Pinned Loading

leanprover/lean4 leanprover/lean4 Public

Lean 4 programming language and theorem prover

Lean 8.6k 920
aripiprazole/rinha aripiprazole/rinha Public archive

🧪 | Rinha de Backend Lean4

Lean 68 3
http http Public archive

🌐 | HTTP primitives for Lean 4

Lean 55 6
vulpi vulpi Public archive

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

Rust 111 1
idris-4-noobs idris-4-noobs Public archive

📘 | Idris2 for Portuguese speakers. (Its called idris2noobs as a reference to the version 2 of the language).

Idris 47 1
nuko nuko Public archive

🎮 | Is a programming language aimed at incorporating everything I’d like to have in Haskell, except dependent types.

Haskell 14