My name is Renan Ribeiro, I am an enthusiastic developer, working on improving my skills, and learning more and more about computer science.
Here are a few things about me:
- 🔭 I’m currently working on NES Game Development
- 🌱 I’m currently learning Linear Logic
- 💬 Ask me about sequent calculus
- 😅 Fun fact: You have probably seen this template before
- New linter for clj-kondo (Clojure)
- Crash fixes for clj-kondo (Clojure)
- API improvements for manifold (Clojure)
- Documentation improvements for nushell (Rust)
- General bugfixes for logisim-evolution (Java)