kevindadi Goto Github PK

arcaders-2022

:heart_eyes: Under the guidance of Kevin Zhang

async-book

Asynchronous Programming in Rust

awesome-rust-formalized-reasoning

An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.

aws-lambda-z3

A tutorial on running Z3 on AWS Lambda, with Rust

c2rust

Migrate C code to Rust

cargo-check-deadlock

Find deadlocks in Rust code with Petri net model checking

check-cratesio

cmake-examples

Useful CMake Examples

coq2rust

Coq to Rust program extraction. The whole tree is on the original Coq code base.

crab

A library for building abstract interpretation-based analyses

damer2.0_release

erkos

A prototype embedded operating system written in Rust

granite

Find Deadlocks in Rust with Petri-Net Model checking (Master Thesis)

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.

layout

Layout is a rust library and a command line tool that renders Graphviz dot files.

left-right

A lock-free, read-optimized, concurrency primitive.

llvm-tutor

A collection of out-of-tree LLVM passes for teaching and learning

lockbud

Statically detect Rust deadlocks bugs

loom

Concurrency permutation testing tool for Rust.

marl-papers

Paper list of multi-agent reinforcement learning (MARL)

motivate

netcrab

netcrab: A tool suite for creating, visualizing and analizing Petri-Nets made in Rust

ocaml-esp32

opulus

Simple Petri net editor and simulator

pipe

PIPE - Platform Independent Petri Net Editor

pysonar2

PySonar2: an advanced semantic indexer for Python

rudra

Rust Memory Safety & Undefined Behavior Detection

rust-ffi-checker

rustmirpass2021

RustMIRPass2021

slayer

SLAyer is an automatic formal verification tool that uses separation logic to verify memory safety of C programs.