the-sofi-uwu

i like lean4

Contagem, Minas Gerais

Pinned Repositories

rinha
🧪 | Rinha de Backend Lean4
Language:Lean61 2 03
Kind1
A next-gen functional language
Language:Rust3.5k 75 213141
Ednaldo
Javascript Interpreter for Ednaldo Language
Language:JavaScript432
Idris2Noobs
Idris2 para falantes de portugues.
Language:Idris462
melp
🕸️ | Incomplete HTTP/1.1 Server in Lean4 for Rinha de backends
Language:Lean161
nuko
I'm bored so let me write my own adventure in Haskell.
Language:Haskell130
rinha-ts
Exemplo de como fazer um interpretador de Rinha
131
soda
🥤 | Toy parser combinator
Language:Lean230
UwU
My UwU awesome config
Language:Lua152
vulpi
🦊 | A language that compiles to LLVM and has algebraic effects
Language:Rust1031

the-sofi-uwu's Repositories

the-sofi-uwu/vulpi
🦊 | A language that compiles to LLVM and has algebraic effects
Language:Rust1031
the-sofi-uwu/soda
🥤 | Toy parser combinator
Language:Lean230
the-sofi-uwu/melp
🕸️ | Incomplete HTTP/1.1 Server in Lean4 for Rinha de backends
Language:Lean161
the-sofi-uwu/rinha-ts
Exemplo de como fazer um interpretador de Rinha
131
the-sofi-uwu/ash
🪵| Incomplete Express like library
Language:Lean101
the-sofi-uwu/voxelia
🧊 | Voxel engine in rust :)
Language:Rust8
the-sofi-uwu/galop
Test runner for rinha of compilers
Language:Rust62
the-sofi-uwu/salem
🗼 | Unification algorithms
Language:Rust5
the-sofi-uwu/lina
🪚 | Pico parser based HTTP parser
Language:C41
the-sofi-uwu/the-sofi-uwu
41
the-sofi-uwu/JSON
🍫 | JSON parser for Lean4
Language:Lean3
the-sofi-uwu/quack
🦆 | A quake log parser (it's for an interview)
Language:Go3
the-sofi-uwu/algebraic.dev
🕸️ | A website in Svelte
Language:Svelte2
the-sofi-uwu/dots
• | Dot files
Language:Rust2
the-sofi-uwu/ethereum-playground
⟠ | My Ethereum Playground
2
the-sofi-uwu/lean-libuv
Bindings to LibUV in Lean
Language:Lean2
the-sofi-uwu/rinha
🧪 | Rinha de Backend Lean4
2
the-sofi-uwu/lean-regex
Language:Lean1
the-sofi-uwu/loogle
Mathlib search tool
Language:Lean1
the-sofi-uwu/machine-json-rpc
Cartesi Machine JsonRpc bindings
Language:Rust1
the-sofi-uwu/requests
🏃 | Simple HTTP Client for Lean4
Language:Lean1
the-sofi-uwu/roko
🌳 | A simple elm-like virtual dom and a framework
Language:Rust1
the-sofi-uwu/cartesi
🧱 | Library to interact with Cartesi and make DApps
Language:Lean
the-sofi-uwu/emulator-tests
⟠ | My Cartesi Emulator Playground
Language:Rust
the-sofi-uwu/lean4
Lean 4 programming language and theorem prover
the-sofi-uwu/machine-emulator-tools
Set of tools to help the development
the-sofi-uwu/quack.rs
Another quake log parser but in rust :|
Language:Rust
the-sofi-uwu/script-wars
It's a really bad name for a project lol
Language:Rust
the-sofi-uwu/Socket.lean
A fork of Xubaiw's Socket.lean, that builds with the latest Lean.
the-sofi-uwu/soft
🧪 | Lisp with REPL and macros which will compile itself