dranov Goto Github PK

aesop

White-box automation for Lean 4

braft

An industrial-grade C++ implementation of RAFT consensus algorithm based on brpc, widely used inside Baidu to build highly-available distributed systems.

charybdefs

ScyllaDB fault injection filesystem

click

The Click modular router: fast modular packet processing and analysis

cosplit-artefact

cs6213-project

dockerfiles

duoai

Duo is an automated tool to formally verify distributed protocols (e.g., Paxos) by inferring inductive invariants.

eth-usage-analysis

examples

A collection of TLA+ specifications of varying complexities

fstar

Verification system for effectful programs

getrandom

A small cross-platform library for retrieving random data from (operating) system source

gozilliqa-sdk

Zilliqa golang sdk

hugo-academic

The personal website framework for Hugo

ivy

IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform for developing and experimenting with automated proof techniques. In particular, IVy provides interactive visualization of automated proofs, and supports a use model in which the human protocol designer and the automated tool interact to expose errors and prove correctness.

ivy-mypyvy-syntax-highlighting

VSCode syntax highlighting extension for Ivy & mypyvy

ivy-to-mypyvy

Convert an Ivy liveness problem to a mypyvy input file

jepsen

A framework for distributed systems verification, with fault injection

lean-auto

Experiments in automation for Lean

lean-cvc5

lean-smt

Tactics for discharging Lean goals into SMT solvers.

logical_verification_2023

Hitchhiker's Guide to Logical Verification (2023 Edition)

loogle

Mathlib search tool

loogle-lean

loom

Concurrency permutation testing tool for Rust.

lspec

A Testing Framework for Lean

madraft

The labs of Raft consensus algorithm based on MadSim.

madsim

Magical Deterministic Simulator for distributed systems in Rust.

mini-redis

Incomplete Redis client and server implementation using Tokio - for learning purposes only

mongo

The MongoDB Database