celso
celsobonutti
hey i'm celso | i write haskelly things on my day job
xipe-oito
Chip8 engine emulator written in Rust, with both desktop (multiplatform) and WASM front-ends.
RustUpdated 5/19/2025
dj-cleiton-haskell
WIP self-hosted Discord music bot built in Haskell
HaskellUpdated 4/1/2025
discord-haskell
Haskell library for writing Discord bots
HaskellUpdated 3/30/2025
reason-phoenix
ReasonML/ReScript bindings for the Phoenix javascript library
ReasonUpdated 12/16/2024
type-theory-and-formal-proof
Formalizing and solving exercises form the book Type Theory and Formal Proof
AgdaUpdated 9/6/2024