Sofia Rodrigues's Projects
🤪 | Just a bad Lisp, created out of boredom with macros.
Algoritmos e estruturas de dados
My blog to train react and other little things
🕸️ | A website in Svelte
🎥 | An API for listing anime.
Advent of Code :D
🎄 | Solutions for Advent of Code 2022 challenges.
🪵| Incomplete Express like library
🧱 | Library to interact with Cartesi and make DApps
:alembic: Emulator
• | Dot files
🗣️ | Javascript interpreter for ednaldo language
⟠ | My Cartesi Emulator Playground
⟠ | My Ethereum Playground
📊 | A collection of benchmarks for functional programming languages and proof assistants, featuring performance comparisons.
Test runner for rinha of compilers
A massively parallel, optimal functional runtime in Rust
A Graphics Library for Idris 2.
📘 | Idris2 for Portuguese speakers. (Its called idris2noobs as a reference to the version 2 of the language).
🍫 | JSON parser for Lean4
🔄 | A next-gen functional language, forked from HigherOrderCO/Kind1, featuring a refactored design.
Kind refactor based on HVM
Just a lambda calculus interpreter
Lots of strange algorithms
Bindings to LibUV in Lean
🪚 | Pico parser based HTTP parser
🍞 | An experiment to implement UTT-Sigma with exciting extensions like indexed types.