Thanks to visit codestin.com
Credit goes to github.com

Skip to content
@uwplse

UW PLSE

University of Washington Programming Languages and Software Engineering

Popular repositories Loading

  1. verdi verdi Public

    A framework for formally verifying distributed systems implementations in Coq

    Rocq Prover 608 56

  2. verdi-raft verdi-raft Public

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

    Coq 189 19

  3. ruler ruler Public

    Rewrite Rule Inference Using Equality Saturation

    Rust 137 14

  4. tensat tensat Public

    Re-implementation of the TASO compiler using equality saturation

    Rust 134 19

  5. Cassius Cassius Public

    A CSS specification and reasoning engine

    Racket 96 1

  6. herbgrind herbgrind Public

    A Valgrind tool for Herbie

    C 94 8

Repositories

Showing 10 of 77 repositories
  • nightly-conf Public

    The public nightly server configuration

    uwplse/nightly-conf’s past year of commit activity
    1 10 0 1 Updated Sep 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 51 MIT 4 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
    Coq 49 MIT 9 28 (4 issues need help) 1 Updated Aug 21, 2025
  • 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 Jul 23, 2025
  • verdi Public

    A framework for formally verifying distributed systems implementations in Coq

    uwplse/verdi’s past year of commit activity
    Rocq Prover 608 BSD-2-Clause 56 5 0 Updated Jun 27, 2025
  • ruler Public

    Rewrite Rule Inference Using Equality Saturation

    uwplse/ruler’s past year of commit activity
    Rust 137 MIT 14 5 9 Updated Jun 6, 2025
  • retypeset-classics Public

    retyping old papers in modern notation

    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 312 0 0 Updated Jan 24, 2025
  • outreach-dragon-curves Public
    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
View all repositories