Programming languages

My programming languages related experiments

Repositories

7

Projects Packages Code

Filter

Clear filters

Archived Not archived

Forks Not forks

Mirrors Not mirrors

Templates Not templates

Private Public

Sort

Newest Oldest Alphabetically Reverse alphabetically Recently updated Least recently updated Most stars Fewest stars Most forks Fewest forks Smallest size Largest size

agtest

0 0

Attribute grammar

Updated 2024-09-01 13:35:17 +00:00

bidir

Rust 0 0

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

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

bidir-fstar

0 0

Updated 2024-05-12 20:53:03 +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

frap

Coq 0 0

Formal Reasoning About Programs

Updated 2024-06-06 11:52:32 +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