algebraic-sofia

Sofia Rodrigues's repositories

vulpi

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

Language:Rust101 1 32

soda

🥤 | Toy parser combinator

Language:Lean22 30

melp

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

Language:Lean16 4 1

rinha-ts

Exemplo de como fazer um interpretador de Rinha

13 20

ash

🪵| Incomplete Express like library

Language:Lean10 20

a-bad-lisp

Just a bad lisp lol I had nothing to do so I just made a lisp with macros

Language:Rust8 20

galop

Test runner for rinha of compilers

Language:Rust6 20

salem

🗼 | Unification algorithms

Language:Rust5 10

voxelia

🧊 | Voxel engine in rust :)

Language:Rust5 20

algebraic-sofia

4 20

JSON

🍫 | JSON parser for Lean4

Language:Lean3 10

lina

🪚 | Pico parser based HTTP parser

Language:C3 20

quack

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

Language:Go3 20

algebraic.dev

🕸️ | A website in Svelte

Language:Svelte2 10

dots

• | Dot files

Language:Rust2 20

ethereum-playground

⟠ | My Ethereum Playground

2 10

rinha

🧪 | Rinha de Backend Lean4

Language:Lean200

dawn

:alembic: Emulator

Language:Rust1 20

lean-regex

Language:LeanApache-2.0100

machine-json-rpc

Cartesi Machine JsonRpc bindings

Language:RustApache-2.01 10

requests

🏃 | Simple HTTP Client for Lean4

Language:Lean1 10

roko

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

Language:Rust1 20

cartesi

🧱 | Library to interact with Cartesi and make DApps

Language:Lean010

emulator-tests

⟠ | My Cartesi Emulator Playground

Language:Rust010

machine-emulator-tools

Set of tools to help the development

Language:C++Apache-2.0000

quack.rs

Another quake log parser but in rust :|

Language:Rust020

script-wars

It's a really bad name for a project lol

Language:Rust020

Socket.lean

A fork of Xubaiw's Socket.lean, that builds with the latest Lean.

Language:CApache-2.0000

soft

🧪 | Lisp with REPL and macros which will compile itself

Language:Rust010

Wikind

Vast collection of Kind2 definitions

MIT010