Alternatives and similar repositories for COS-ECE470-fa2022

Users that are interested in COS-ECE470-fa2022 are comparing it to the libraries listed below

• mit-frap / spring22
  Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2022
  ☆20Updated 3 years ago
• AD1024 / veripy
  Python3 auto-active verification library (migrated to an Intel project)
  ☆25Updated 3 years ago
• circify / circ
  (Cir)cuit (C)ompiler. Compiling high-level languages to circuits for SMT, zero-knowledge proofs, and more.
  ☆310Updated 3 months ago
• starkware-libs / formal-proofs
  ☆65Updated 10 months ago
• Veridise / llzk-lib
  Library for parsing, generating, and analyzing LLZK code.
  ☆20Updated this week
• uwplse / tensat
  Re-implementation of the TASO compiler using equality saturation
  ☆134Updated 4 years ago
• Verified-zkEVM / clean
  Lean circuit DSL
  ☆90Updated last week
• sunblaze-ucb / Virgo
  ☆59Updated 3 years ago
• ezyang / SMT-LIB-benchmarks-pytorch-shapes
  SMT-LIB benchmarks for shape computations from deep learning models in PyTorch
  ☆17Updated 2 years ago
• reilabs / proven-zk
  A support library for working with zero knowledge cryptography in Lean 4.
  ☆38Updated 3 weeks ago
• ChezJrk / verified-scheduling
  ☆41Updated last year
• risc0 / risc0-lean4
  A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover
  ☆70Updated 2 years ago
• jdnklau / fm-ml
  Collection of resources for research concerning Machine Learning and Formal Methods.
  ☆90Updated 3 years ago
• giuspek / FormalMethods-2022
  Obsolete
  ☆14Updated 2 years ago
• sunblaze-ucb / verina
  Verina (Verifiable Code Generation Arena) is a high-quality benchmark enabling a comprehensive and modular evaluation of code, specificat…
  ☆25Updated last month
• argumentcomputer / ix
  a zero-knowledge proof-carrying code platform for Lean 4
  ☆46Updated this week
• TAMUCrypto / zkCNN
  A GKR-based zero-knowledge proof protocol for CNN model inference.
  ☆87Updated 2 years ago
• BoltonBailey / formal-snarks-project
  A formal verification of Linear PCP SNARKs.
  ☆56Updated last year
• DS3Lab / Decentralized_FM_alpha
  ☆19Updated 2 years ago
• Ying1123 / awesome-neural-symbolic
  A list of awesome neural symbolic papers.
  ☆48Updated 3 years ago
• emeryberger / csconferences
  Major CS conference publication stats (including accepted and submitted) by year.
  ☆136Updated 2 weeks ago
• Mondego / dafny-synthesis
  [FSE-2024] Towards AI-Assisted Synthesis of Verified Dafny Methods
  ☆52Updated last year
• ise-uiuc / tzer
  Tzer: TVM Implementation of "Coverage-Guided Tensor Compiler Fuzzing with Joint IR-Pass Mutation (OOPSLA'22)“.
  ☆70Updated 2 years ago
• NethermindEth / Clear
  Interactive formal verification tool for Yul programs
  ☆73Updated 3 weeks ago
• Verified-zkEVM / ArkLib
  Formally Verified Arguments of Knowledge in Lean
  ☆102Updated this week
• STAR-Research / 18-847C-S22
  Official page for 18-847C (Spring '22): Data Center Computing
  ☆16Updated 3 years ago
• NethermindEth / EVMYulLean
  Executable formal model of the EVM and Yul in Lean 4.
  ☆59Updated this week
• facebookresearch / LeanUniverse
  LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management
  ☆70Updated 8 months ago
• PrimeIntellect-ai / pccl
  PCCL (Prime Collective Communications Library) implements fault tolerant collective communications over IP
  ☆120Updated last week
• a16z / jsi
  just solve it - a CLI utility to run a portfolio of SMT solvers in parallel
  ☆25Updated 7 months ago