celso

icon indicating a website link cel.so icon indicating an email [email protected]

icon company @NoRedInk icon location Salvador, Bahia icon location hey i'm celso | i like haskelly things, and occasionally try to learn agda, ocaml and lean4

Results 3 repositories owned by celso

milho

27
Stars
0
Forks
Watchers

The Haskell implementation of the Milho programming language.

verified publisher icon celsobonutti

milho-rust

15
Stars
0
Forks
Watchers

Lisp interpreter written in Rust

verified publisher icon celsobonutti

reason-phoenix

15
Stars
3
Forks
Watchers

ReasonML/ReScript bindings for the Phoenix javascript library

verified publisher icon celsobonutti