gabrielle oliveira
aripiprazole
atypical antipsychotic (as a software engineer)
Languages
Top Repositories
🥖 | Rinha de compiladores (ou interpretadores kkkk
🧪 | Rinha de Backend Lean4
📜 | Functional programming language written in kotlin.
🍞 | IDE focused programming language study
🧮 | Writing an Equation Solver
Minecraft java and bedrock library
Repositories
118🐙 | Minecraft motd server
🥖 | Rinha de compiladores (ou interpretadores kkkk
vscode extension powered by https://github.com/kitagry/bqls
👩🏻💻 | Nix dotfiles
👤 | My profile repository
Minecraft java and bedrock library
☯️ | Unicode symbols for Zed editor
🧪 | Rinha de Backend Lean4
📜 | Functional programming language written in kotlin.
No description provided.
Language server for the Bend programming language
Empowering everyone to build reliable and efficient software.
🍞 | IDE focused programming language study
🧮 | PostgreSQL lib for Lean4
❤️ | Fancy diagnostics for Miette
🧪 | Zu Theorem Prover
Lean and mean distributed stream processing system written in rust and web assembly. Alternative to Kafka + Flink in one.
📚 | LLVM bindings for kotlin multiplatform
Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.
🍴 | Complete and Easy implementation in Rust
No description provided.
No description provided.
JetBrains New UI Icons Theme for Zed editor.
📜 | My personal website
GitHub's Zed themes
No description provided.
A Rust compiler front-end for IDEs
🧪 | LLVM backend for HVM
📕 | Simple incomplete programming language
🧮 | Writing an Equation Solver