celsobonutti - Overview

Skip to content

Navigation Menu

Sign in

Appearance settings

View celsobonutti's full-sized avatar

celso celsobonutti

hey i'm celso | i write haskelly things in my day job

Block or report celsobonutti

pena de urubu

pena de galinha

🙈

Pinned Loading

  1. Chip8 engine emulator written in Rust, with both desktop (multiplatform) and WASM front-ends.

    Rust 9

  2. Lisp interpreter written in Rust

    Rust 15

  3. The Haskell implementation of the Milho programming language.

    Haskell 29

  4. WIP self-hosted Discord music bot built in Haskell

    Haskell 10

  5. A POC of a HTTP server in Agda

    Agda 5

  6. Formalizing and solving exercises form the book Type Theory and Formal Proof

    Agda 7