algebraic-sofia

vulpi

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

soda

🥤 | Toy parser combinator

melp

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

rinha-ts

Exemplo de como fazer um interpretador de Rinha

ash

🪵| Incomplete Express like library

a-bad-lisp

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

voxelia

🧊 | Voxel engine in rust :)

galop

Test runner for rinha of compilers

salem

🗼 | Unification algorithms

algebraic-sofia

JSON

🍫 | JSON parser for Lean4

lina

🪚 | Pico parser based HTTP parser

quack

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

algebraic.dev

🕸️ | A website in Svelte

dots

• | Dot files

ethereum-playground

⟠ | My Ethereum Playground

lean-libuv

Bindings to LibUV in Lean

rinha

🧪 | Rinha de Backend Lean4

lean-regex

machine-json-rpc

Cartesi Machine JsonRpc bindings

requests

🏃 | Simple HTTP Client for Lean4

roko

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

cartesi

🧱 | Library to interact with Cartesi and make DApps

emulator-tests

⟠ | My Cartesi Emulator Playground

machine-emulator-tools

Set of tools to help the development

quack.rs

Another quake log parser but in rust :|

script-wars

It's a really bad name for a project lol

Socket.lean

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

soft

🧪 | Lisp with REPL and macros which will compile itself

Wikind

Vast collection of Kind2 definitions