NASA-SW-VnV / mesa
Actor-based Runtime Verification Tool
☆15Updated last year
Alternatives and similar repositories for mesa:
Users that are interested in mesa are comparing it to the libraries listed below
- DRAT proof processor☆13Updated last year
- A library for partitioning 3D data.☆11Updated 3 months ago
- Python tools for the K Framework☆13Updated 8 months ago
- Shared Lurk source code, including tests and library code.☆18Updated 10 months ago
- LAR-19642-1: Visual Studio Code Extension for PVS☆41Updated 2 months ago
- A non-invasive disjoint-set-like data structure implementation in Rust☆10Updated 7 months ago
- Experiments for "Goldfish: No More Attacks on Proof-of-Stake Ethereum"☆13Updated last year
- Reversing Ewasm (Ethereum WebAssembly) contract 101 - Workshop☆18Updated 4 years ago
- Bit Twister: A CLI tool for precise network traffic shaping. Simulate latency, bandwith limitation, drop packets, impose jitter with ease…☆16Updated last year
- Repository of papers released by Modulus Labs☆12Updated 10 months ago
- Exercises for the Dafny Tutorial☆10Updated 6 years ago
- A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover☆61Updated last year
- Terminal interface tracking gas, transactions and data processed by Decentralized Networks.☆17Updated 5 months ago
- Reinforcement learning framework to find and analyze the likeliest failures of a system under test.☆12Updated 8 months ago
- Zero-knowledge gadget for Sparse Merkle Tree.☆20Updated 2 years ago
- RLIBM-ALL: A correctly rounded math library and a polynomial generator that produces correct results for multiple floating point represen…☆14Updated last year
- A ziglang implementation of the SSZ serialization protocol☆22Updated last week
- Identity Based Encryption schemes on the BLS12-381 pairing-friendly elliptic curve☆20Updated 3 years ago
- Verify a log is present in a block.☆12Updated 10 months ago
- Rust library for decentralized private computation☆9Updated 3 years ago
- A tiny nearest-neighbor embedding database written in C☆19Updated last year
- Assistant/watchdog for Counterstake Bridge https://counterstake.org☆13Updated last month
- Rust encryption library for practical time-lock encryption.☆29Updated 6 months ago
- Libraries and tools for the SMT-LIB-2 standard.☆21Updated 3 years ago
- ☆40Updated 2 years ago
- Rust bindings to GAP (Groups, Algorithms, Programming)☆18Updated last year
- ☆14Updated 9 years ago
- KORE to llvm translation☆36Updated this week
- Rust library for Intel TDX☆21Updated last month