proglangs

My programming languages related experiments

bidir

Rust 0 0

An implementation of bidirectional type checking for a SystemF-like language

Updated 2024-04-21 23:50:52 +00:00

capgen

Rust 0 0

Context-aware parser generator

Updated 2022-05-09 17:10:27 +00:00

enterprise

Rust 0 0

UI compiler

Updated 2022-02-01 12:08:17 +00:00

agtest

Python 0 0

Attribute grammar

Updated 2021-07-13 19:23:18 +00:00

logical-foundations

Coq 0 0

Working through the book Logical Foundations by Ben Pierce

Updated 2020-10-21 22:16:31 +00:00