celsobonutti
hey i'm celso | i like haskelly things, and occasionally try to learn agda, ocaml and lean4
@NoRedInk Salvador, Bahia
Pinned Repositories
agda-webserver
A POC of a HTTP server in Agda
dj-cleiton-haskell
WIP self-hosted Discord music bot built in Haskell
elm-webrtc
Simple videochat using Elm, Typescript, WebRTC and an Elixir Phoenix server for signaling
milho
The Haskell implementation of the Milho programming language.
milho-rust
Lisp interpreter written in Rust
real_world_ocaml
cause I can't stay quiet for a single second
reason-phoenix
ReasonML/ReScript bindings for the Phoenix javascript library
type-theory-and-formal-proof
Formalizing and solving exercises form the book Type Theory and Formal Proof
vite-template-rescript-tea
Vite + ReScript TEA template
xipe-oito
Chip8 engine emulator written in Rust, with both desktop (multiplatform) and WASM front-ends.
celsobonutti's Repositories
celsobonutti/milho
The Haskell implementation of the Milho programming language.
celsobonutti/dj-cleiton-haskell
WIP self-hosted Discord music bot built in Haskell
celsobonutti/elm-webrtc
Simple videochat using Elm, Typescript, WebRTC and an Elixir Phoenix server for signaling
celsobonutti/type-theory-and-formal-proof
Formalizing and solving exercises form the book Type Theory and Formal Proof
celsobonutti/agda-webserver
A POC of a HTTP server in Agda
celsobonutti/vite-template-rescript-tea
Vite + ReScript TEA template
celsobonutti/macos-dotfiles
my dotfiles for mac~
celsobonutti/rinha
rinha
celsobonutti/certainty-by-construction
Reading through the book Certainty By Construction
celsobonutti/mpm
a package manager for milho
celsobonutti/rust-for-rustaceans
rust-for-rustaceans
celsobonutti/theorem-proving-in-lean-4
exercises from the book theorem proving in lean 4
celsobonutti/apl-stuff
apl-stuff
celsobonutti/cel-so-ts
a.k.a. my blog
celsobonutti/colourista
️🌈 Convenient interface for printing colourful messages
celsobonutti/discord-haskell
Haskell library for writing Discord bots
celsobonutti/discord-haskell-voice
A Haskell library to add voice support to discord-haskell.
celsobonutti/elm-css
Typed CSS in Elm.
celsobonutti/elm-format
elm-format formats Elm source code according to a standard set of rules based on the official Elm Style Guide
celsobonutti/elm-format-on-browser
Small example of running elm-format on the browser using GHC's WASM backend
celsobonutti/flycheck-posframe
Show flycheck errors via posframe.el
celsobonutti/fp-in-lean
fp-in-lean
celsobonutti/iris
🌈 Haskell CLI Framework supporting Command Line Interface Guidelines
celsobonutti/random-haskell
Random haskell scripts because why not
celsobonutti/rbt
Roc Build Tool
celsobonutti/realm-of-racket
celsobonutti/rescript-tea
The Elm Architecture for Rescript
celsobonutti/rinha-de-compiler
🥖 | Rinha de compiladores (ou interpretadores kkkk
celsobonutti/theorem-proving
Going through Theorem Prooving in Lean 4
celsobonutti/theorem_proving_in_lean4
Theorem Proving in Lean 4