Pinned Repositories
Ednaldo
Javascript Interpreter for Ednaldo Language
Idris2Noobs
Idris2 para falantes de portugues.
melp
🕸️ | Incomplete HTTP/1.1 Server in Lean4 for Rinha de backends
nuko
I'm bored so let me write my own adventure in Haskell.
rinha-ts
Exemplo de como fazer um interpretador de Rinha
soda
🥤 | Toy parser combinator
UwU
My UwU awesome config
vulpi
🦊 | A language that compiles to LLVM and has algebraic effects
rinha
🧪 | Rinha de Backend Lean4
Kind1
A modern proof language
algebraic-sofia's Repositories
algebraic-sofia/vulpi
🦊 | A language that compiles to LLVM and has algebraic effects
algebraic-sofia/soda
🥤 | Toy parser combinator
algebraic-sofia/melp
🕸️ | Incomplete HTTP/1.1 Server in Lean4 for Rinha de backends
algebraic-sofia/rinha-ts
Exemplo de como fazer um interpretador de Rinha
algebraic-sofia/ash
🪵| Incomplete Express like library
algebraic-sofia/a-bad-lisp
Just a bad lisp lol I had nothing to do so I just made a lisp with macros
algebraic-sofia/voxelia
🧊 | Voxel engine in rust :)
algebraic-sofia/galop
Test runner for rinha of compilers
algebraic-sofia/salem
🗼 | Unification algorithms
algebraic-sofia/algebraic-sofia
algebraic-sofia/JSON
🍫 | JSON parser for Lean4
algebraic-sofia/lina
🪚 | Pico parser based HTTP parser
algebraic-sofia/quack
🦆 | A quake log parser (it's for an interview)
algebraic-sofia/algebraic.dev
🕸️ | A website in Svelte
algebraic-sofia/dots
• | Dot files
algebraic-sofia/ethereum-playground
⟠ | My Ethereum Playground
algebraic-sofia/lean-libuv
Bindings to LibUV in Lean
algebraic-sofia/rinha
🧪 | Rinha de Backend Lean4
algebraic-sofia/lean-regex
algebraic-sofia/machine-json-rpc
Cartesi Machine JsonRpc bindings
algebraic-sofia/requests
🏃 | Simple HTTP Client for Lean4
algebraic-sofia/roko
🌳 | A simple elm-like virtual dom and a framework
algebraic-sofia/cartesi
🧱 | Library to interact with Cartesi and make DApps
algebraic-sofia/emulator-tests
⟠ | My Cartesi Emulator Playground
algebraic-sofia/machine-emulator-tools
Set of tools to help the development
algebraic-sofia/quack.rs
Another quake log parser but in rust :|
algebraic-sofia/script-wars
It's a really bad name for a project lol
algebraic-sofia/Socket.lean
A fork of Xubaiw's Socket.lean, that builds with the latest Lean.
algebraic-sofia/soft
🧪 | Lisp with REPL and macros which will compile itself
algebraic-sofia/Wikind
Vast collection of Kind2 definitions