Voozh

VOOZH

URL: https://github.com/uwplse

⇱ UW PLSE · GitHub

Popular repositories Loading

verdi Public

A framework for formally verifying distributed systems implementations in Coq

Rocq Prover 620 57
verdi-raft Public

An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework

Coq 195 20
ruler Public

Rewrite Rule Inference Using Equality Saturation

Rust 153 15
tensat Public

Re-implementation of the TASO compiler using equality saturation

Rust 138 19
Cassius Public

A CSS specification and reasoning engine

Racket 101 1
herbgrind Public

A Valgrind tool for Herbie

C 97 8

Repositories

Showing 10 of 77 repositories

nightly-conf Public
The public nightly server configuration

1 10 0 0 Updated
szalinski Public
Szalinski: A Tool for Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations

OpenSCAD 55 MIT 6 12 0 Updated
verdi Public
A framework for formally verifying distributed systems implementations in Coq

Rocq Prover 620 BSD-2-Clause 57 5 0 Updated
dragoner-curves Public
PLSE outreach activity on dragon curves and L-Systems!

TypeScript 1 MIT 0 0 0 Updated
pumpkin-pi Public
An extension to PUMPKIN PATCH with support for proof repair across type equivalences.

Coq 49 MIT 9 28 (4 issues need help) 1 Updated
ruler Public
Rewrite Rule Inference Using Equality Saturation

Rust 153 MIT 15 5 9 Updated
retypeset-classics Public
retyping old papers in modern notation

TeX 0 0 0 0 Updated
bril Public Forked from sampsyo/bril
an educational compiler intermediate representation

Rust 1 MIT 326 0 0 Updated
outreach-dragon-curves Public

JavaScript 0 MIT 0 0 0 Updated
potpie Public
Proof Object Transformation, Preserving Imp Embeddings: the first proof compiler to be formally proven correct

Coq 17 1 0 0 Updated

View all repositories

You can’t perform that action at this time.