wilcoxjay

mypyvy

A language for symbolic transitions system, inspired by Ivy.

notes

mechanized-metatheory2

mypyvy-tool-paper

A tool paper about mypyvy

slides

autograder_samples

Examples of autograders for running on Gradescope

boogie

Boogie

book

Web browser engineering (a book)

CASL

chrome-extension

coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

coq-wigderson

Formalization of Wigderson's graph coloring algorithm in Coq

crowbar

Property fuzzing for OCaml

dafny-jrnl

Combining Perennial and Dafny with a verified journal

dslabs

Distributed Systems Labs and Framework

duckdb-web

DuckDB-Web - Source code of duckdb.org

dune

A composable build system for OCaml.

eggcc

egglog

egraphs + datalog!

ena

An implementation of union-find / congruence-closure in Rust. Extracted from rustc for independent experimentation.

gui

impy

Tool support for Dafny-TLA

jpl

knausj_talon

Config for talon for Mac, Windows and Linux. Very much in progress.

lambda-compile

LilyBin score compilation for AWS Lambda

symbol_table

A string interner

teaching-toolshed

Library of useful class for writing scripts to manage classes.

thesis

thesis

typeshed

Collection of library stubs for Python, with static types

yarpgen

Yet Another Random Program Generator