Alternatives and similar repositories for mesa

Users that are interested in mesa are comparing it to the libraries listed below

• digama0 / frat
  DRAT proof processor
  ☆14Updated 2 years ago
• SignalWalker / eightfold
  A library for partitioning 3D data.
  ☆10Updated 8 months ago
• runtimeverification / pyk
  Python tools for the K Framework
  ☆13Updated last year
• formal-land / garden
  Make your zero-knowledge applications safe with formal verification! 🍀
  ☆15Updated this week
• rust-in-blockchain / ribbot
  Script for querying merged PRs, open issues, and closed issues from config repos.
  ☆12Updated last year
• tse-group / goldfish-experiments
  Experiments for "Goldfish: No More Attacks on Proof-of-Stake Ethereum"
  ☆13Updated 2 years ago
• Modulus-Labs / Papers
  Repository of papers released by Modulus Labs
  ☆12Updated last year
• Veridise / zk-language-comparison
  Examples of Mastermind implemented in different ZK languages and frameworks.
  ☆13Updated 2 months ago
• argumentcomputer / FFaCiL.lean
  Finite Fields and Curves in Lean
  ☆13Updated 2 years ago
• Lancern / dsu-tree
  A non-invasive disjoint-set-like data structure implementation in Rust
  ☆10Updated last year
• oeb25 / smtlib-rs
  A high-level API for interacting with SMT solvers.
  ☆28Updated last month
• awslabs / rust-smt-ir
  ☆40Updated 10 months ago
• darakian / gimli
  A pure rust implementation of the gimli cipher
  ☆11Updated 3 years ago
• risc0 / risc0-lean4
  A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover
  ☆70Updated 2 years ago
• denzp / rustc-llvm-proxy
  Proxy LLVM calls into Rust own shared library in runtime
  ☆33Updated last year
• runtimeverification / mir-semantics
  ☆24Updated this week
• blockblaz / ssz.zig
  A ziglang implementation of the SSZ serialization protocol
  ☆25Updated 3 weeks ago
• Liby99 / llir
  LLVM IR Binding for Rust
  ☆13Updated 4 years ago
• NethermindEth / Yul-Specification
  A formal specification of the Yul IR semantics in the Lean proof assistant.
  ☆14Updated this week
• nasa / vscode-pvs
  LAR-19642-1: Visual Studio Code Extension for PVS
  ☆45Updated 2 weeks ago
• bor0 / dafny-tutorial
  Exercises for the Dafny Tutorial
  ☆11Updated 7 years ago
• recmo / zkp-u256
  Rust 256-bit unsigned integers.
  ☆9Updated 2 years ago
• near / finite-wasm
  Cheating a little to solve the halting problem at scale
  ☆28Updated last month
• GaloisInc / zk-lean
  zkLean is a domain specific language (DSL) in Lean for specifying zero-knowledge statements
  ☆13Updated last month
• Copilot-Language / copilot-verifier
  System for verifying the correctness of generated Copilot programs
  ☆16Updated last month
• facebookarchive / smt2utils
  Libraries and tools for the SMT-LIB-2 standard.
  ☆23Updated 3 years ago
• mwillsey / egg
  egg is a flexible, high-performance e-graph library
  ☆12Updated last year
• 0xmagus / huff-practice
  A collection of huff examples.
  ☆14Updated 2 years ago
• btq-ag / keelung
  The Keelung Language
  ☆51Updated 9 months ago
• viperproject / axiom-profiler
  The axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).
  ☆32Updated 4 months ago