greetings, i'm gabrielle, a 19-year-old girl who's all about the coding life, especially in clojure and functional programming languages. type theory and crafting compilers are in my jam, and i've got this knack for solving problems – the trickier, the better! collaboration is my secret sauce, and i'm always up for teaming up to crush some goals. i'm a wild thinker, forever on the lookout for cool ways to upgrade existing tech or invent something totally new. firm believer in using tech for good and making a positive impact.
- 🕰 my elimination half-time is 75 hours (active metabolite is 94 hours)
- 💻 here's my personal website
- 🔭 i’m currently working on personal projects
- ❤ i like functional programming
- 🇧🇷 i'm from minas gerais but currently living on são paulo
- 😀 my pronouns are she/her
- 💡 my main languages are clojure and rust
- 📮 reach me out at [email protected]
~ works:
- 📖 writing a minecraft protocol implementation in kotlin
- 🧪 defunctionalization
- 🧮 writing an equation solver
- ⭐ gadt-like types in rust
- � driving complete and easy implementation in rust
- 🏳️⚧️ rebasing old commits for people
- 🧪 writing haskell in kotlin
~ meet my friends:
gitlab | twitter | instagram | medium | linkedin | wynncraft | wikipedia