Home Original page

UW PLSE

Popular repositories Loading

  1. A framework for formally verifying distributed systems implementations in Coq

    Rocq Prover 620 57

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

    Coq 195 20

  3. Rewrite Rule Inference Using Equality Saturation

    Rust 153 15

  4. Re-implementation of the TASO compiler using equality saturation

    Rust 138 19

  5. A CSS specification and reasoning engine

    Racket 101 1

  6. A Valgrind tool for Herbie

    C 97 8

Repositories

Type
Select type

Language
Select language

Sort
Select order

Showing 10 of 77 repositories

  • uwplse/nightly-conf’s past year of commit activity

    1 10 0 0

    Updated Mar 6, 2026

  • verdi Public

    A framework for formally verifying distributed systems implementations in Coq

    uwplse/verdi’s past year of commit activity

    Rocq Prover

    620

    BSD-2-Clause

    57 5 0

    Updated Jan 27, 2026

  • dragoner-curves Public

    PLSE outreach activity on dragon curves and L-Systems!

    uwplse/dragoner-curves’s past year of commit activity

    TypeScript

    1

    MIT 0

    0 0

    Updated Dec 8, 2025

  • szalinski Public

    Szalinski: A Tool for Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations

    uwplse/szalinski’s past year of commit activity

    OpenSCAD

    55

    MIT

    5 12 0

    Updated Sep 1, 2025

  • pumpkin-pi Public

    An extension to PUMPKIN PATCH with support for proof repair across type equivalences.

    uwplse/pumpkin-pi’s past year of commit activity

  • ruler Public

    Rewrite Rule Inference Using Equality Saturation

    uwplse/ruler’s past year of commit activity

    Rust

    153

    MIT

    15 5 9

    Updated Jun 6, 2025

  • uwplse/retypeset-classics’s past year of commit activity

    TeX 0 0

    0 0

    Updated Jan 26, 2025

  • bril Public Forked from sampsyo/bril

    an educational compiler intermediate representation

    uwplse/bril’s past year of commit activity

    Rust

    1

    MIT

    325 0 0

    Updated Jan 24, 2025

  • uwplse/outreach-dragon-curves’s past year of commit activity

    JavaScript 0 MIT 0

    0 0

    Updated Dec 7, 2024

  • potpie Public

    Proof Object Transformation, Preserving Imp Embeddings: the first proof compiler to be formally proven correct

    uwplse/potpie’s past year of commit activity

    Coq

    16 1 0 0

    Updated Aug 19, 2024