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)