Raft distributed consensus algorithm implemented in Rust.

A command-line tool to generate Latex (inference rules) from inductive coq definitions.

Gobra is an automated, modular verifier for Go programs, based on the Viper verification infrastructure.

Exploit Development and Reverse Engineering with GDB Made Easy

Verification of BPF JIT compilers

TLA+ specification of Flexible Paxos

An operating system designed for hosting containers

Raft library for maintaining a replicated state machine

The financial transactions database designed for mission critical safety and performance.

A workbench for writing toy implementations of distributed systems.

Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes

Katamaran is a semi-automated separation logic verifier for the Sail specification language. It works on an embedded version of Sail called μSail and verifies separation logic-based contracts of fu…

A beautiful, simple, clean, and responsive Jekyll theme for academics

Verified Rust for low-level systems code

Creusot helps you prove your code is correct in an automated fashion.

OpenTitan: Open source silicon root of trust

A precise specification for "Rust lite / MIR plus"

Research prototype tool for modular formal verification of C and Java programs

FUSE filesystem over Google Drive

A work-in-progress language and compiler for verified low-level programming

a compiler for the Apollo project that targets the HCDCv2 Analog Device

A probabilistic programming system for simulators and high-performance computing (HPC), based on PyTorch

A probabilistic data structures library for C#

probabilistic programming for PL folks

A massively parallel, optimal functional runtime in Rust

Empowering everyone to build reliable and efficient software.

This package contains deep learning models and related scripts for RoseTTAFold