Discover @celsobonutti Open Source projects

celso (@celsobonutti)

celsobonutti

Stars
139
Global Rank 158,466 (Top 6 %)
Followers 95
Following 133
Registered about 9 years ago
Most used languages

Haskell
23.3 %

Agda 13.3 %

Rust
13.3 %

Reason 10.0 %

Lean 6.7 %

Emacs Lisp
6.7 %

ReScript 6.7 %

Elixir
6.7 %

Elm
3.3 %

Racket
3.3 %

Zig
3.3 %

OCaml
3.3 %
Location 🇧🇷 Brazil
Country Total Rank 2,710
Country Ranking

Agda 3

Lean 6

Reason 8

Haskell
9

ReScript 10

Zig
15

Racket
25

OCaml
29

Elm
35

Emacs Lisp
65

Rust
87

Elixir
167

milho

The Haskell implementation of the Milho programming language.

milho-rust

Lisp interpreter written in Rust

reason-phoenix

ReasonML/ReScript bindings for the Phoenix javascript library

xipe-oito

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

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

type-theory-and-formal-proof

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

agda-webserver

A POC of a HTTP server in Agda

real_world_ocaml

cause I can't stay quiet for a single second

vite-template-rescript-tea

Vite + ReScript TEA template

macos-dotfiles

my dotfiles for mac~

pamonha

A SQLite clone written in Rust

powell

Chip8 assembly compiler, written in Zig

reason-media-devices

ReasonML bindings for the MediaDevices Web API

rinha

advent-of-code-2020

re-sail

Simple Variant-based navigation library for reason-react-native.

celsobonutti

danilo-troxa

bank

doom-emacs-config

parser

Learning about parsers with https://bodil.lol/parser-combinators/

xmonad-config

mpm

a package manager for milho

rescript-lake

certainty-by-construction

Reading through the book Certainty By Construction

learning-haskell

Mostly gibberish, dont bother reading it

rust-for-rustaceans

rust-for-rustaceans

theorem-proving-in-lean-4

exercises from the book theorem proving in lean 4

types-and-programming-languages

My solutions for the TAPL exercises

learning-agda

rust-to-rescript

Experimental ReScript code generator from Rust+WASM-Bindgen+Serde