uwplse Goto Github PK

acglib

Library for AUDACIOUS

acglibexampleapp

Example application using the ACGLib for both good and evil

aleph

analytics-data

arvo

A proof assistant.

bagpipe

Reasoning about BGP configurations. Public development repo.

batfish

Batfish is a network configuration analysis tool developed jointly by researchers at University of California, Los Angeles; University of Southern California; and Microsoft Research. Though its individual modules have various applications, its primary purpose is to detect bugs in network configurations.

casper

A compiler for automatically re-targeting sequential Java code to Apache Spark.

cassius

A CSS specification and reasoning engine

cheerios

Formally verified Coq serialization library with support for extraction to OCaml

codestats

A Framework for Big Code Statistics

concerto

Combined concrete and abstract interpretation

coq-change-analytics

REPLICA: REPL Instrumentation for Coq Analysis

coq-plugin-lib

Library of useful utility functions for Coq plugins

coqast

Fun plugin to play with the Gallina AST.

crimp

Certified Relational to Imperative

crust

A compiler from Rust to C, and a checker for unsafe code

dexter

a compiler for re-writing image processing functions in C++ to Halide

epics-tools

Static analysis tools for EPICS

ferrite

Ferrite, a toolkit for developing file system crash-consistency models

fix-to-elim

Fixpoint to eliminator translation in Coq

gayatri-marlin

Our changes to Marlin for Gayatri

herbgrind

A Valgrind tool for Herbie

iag-synthesis

Parallel, incremental evaluation of attribute grammars through synthesis

incarnate

incarnate project website

incarnate-exploration-archive

PL for 3D Printing

jpf-core

JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastructure, and can be used to check for concurrency defects like deadlocks, and unhandled exceptions like NullPointerExceptions and AssertionErrors.

lean

Lean Theorem Prover

lean-nightly

Lean nightly builds

lean-protocol-support

This project contains various supporting libraries for lean to reason about protocols.