celsobonutti/type-theory-and-formal-proof

Stars
6
Rank 2,539,965 (Top 51 %)
Language Agda
Created 8 months ago
Updated 7 months ago

celsobonutti/type-theory-and-formal-proof

celsobonutti

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

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

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

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

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

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