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)