celsobonutti/re-sail

Stars
2
Language Reason
Created over 4 years ago
Updated over 4 years ago

celsobonutti/re-sail

celsobonutti

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

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

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~

reason-media-devices

ReasonML bindings for the MediaDevices Web API

powell

Chip8 assembly compiler, written in Zig

pamonha

A SQLite clone written in Rust

rinha

advent-of-code-2020

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

rust-for-rustaceans

rust-for-rustaceans

learning-haskell

Mostly gibberish, dont bother reading it

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