Sofia Rodrigues

vulpi. 🦊 | A language that compiles to LLVM and has algebraic effects

http. 🌐 | HTTP primitives for Lean 4

idris-4-noobs. 📘 | Idris2 for Portuguese speakers. (Its called idris2noobs as a reference to the version 2 of the language).

ednaldo. 🗣️ | Javascript interpreter for ednaldo language

soda. 🥤 | Toy parser combinator

melp. 🕸️ | Incomplete HTTP/1.1 Server in Lean4 for Rinha de backends

rinha-ts. 📜 | Example of how to create an interpreter for Rinha, providing insights into interpreter development.

nuko. 🎮 | Is a programming language aimed at incorporating everything I’d like to have in Haskell, except dependent types.

uwu. ✨ | a simple yet awesome configuration to make MY desktop look and feel amazing

ash. 🪵| Incomplete Express like library

parse. 🧩 | Parser generation for Lean 4.

voxelia. 🧊 | Voxel engine in rust :)

a-bad-lisp. 🤪 | Just a bad Lisp, created out of boredom with macros.

algebraic-dev.

static-blog. 🌐 | My blog for training React and other small projects.

salem. 🗼 | Unification algorithms

galop. 🏃 | Test runner for Rinha of compilers.

notes. Anotacoes que foram movidas para um repo privado

yurei. 👻 | A language to train Idris, focusing on type checking and inference.

colorized. 🌈 | A Lean 4 library designed to enhance terminal output with vibrant ANSI escape sequences.

data-structures. 📊 | An implementation of various data structures in C

specs. 🧪 | A test framework for Lean 4.

loaf. 🍞 | An experiment to implement UTT-Sigma with exciting extensions like indexed types.

lina. 🪚 | Pico parser based HTTP parser

toneshift. 🎤 | An app with a spectrogram and analyzers designed to help trans people with voice training

maka. 🔮 | A virtual DOM implementation in Idris.

softwrap. 🔄 | Softwrap is a full-stack application for managing users

theorem_proving_in_lean4. Theorem Proving in Lean 4

org-pie. 🗂️ | orgpie is a simple script for using the TagBox to classify and modify XMP metadata

aoc-2021. 🎄 | Advent of Code.

nito. 🎬 | An anime API built in Haskell using effects with Polysemy

quack. 🦆 | A quake log parser (it's for an interview)

animulet. 🎥 | An API for listing anime.

lambdas. 🧩 | A collection of strange algorithms in Haskell.

JSON. 🍫 | JSON parser for Lean4

lean4. Lean 4 programming language and theorem prover

lyre. 🎼 | An incomplete LALR(1) DSL for Lean, intended to compile to an LR table but not yet to Lean code.

time. Date primitives for lean based on chrono and time

lean-libuv. Bindings to LibUV in Lean

algebraic.dev. 🕸️ | A website in Svelte

ethereum-playground. ⟠ | My Ethereum Playground

rinha. 🧪 | Rinha de Backend Lean4

lambda-interpreter. 🧩 | A straightforward interpreter for lambda calculus.

case-insensitive. Case Insensitive String for Lean4

roko. 🌳 | A simple elm-like virtual dom and a framework

lean-regex. Lean

mini-redis. An implementation of mini-redis in Lean 4