Alternatives and similar repositories for acse

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

• chyanju / Picus
  Automated verification of uniqueness property for ZKP circuits
  ☆41Updated 11 months ago
• cdl-saarland / axtor
  AST - Extractor for LLVM
  ☆18Updated 4 years ago
• filletofish / compiler-touch
  Sample of building control flow graph, SSA form, phi nodes, LLVM IR for imagined language.
  ☆26Updated 7 years ago
• socathie / ZKaggleV2
  Version 2 of ZKaggle, 🏆 Finalist of ETHGlobal FVM Space Warp Hack
  ☆16Updated last year
• alxkzmn / zk-atlas
  A(n almost) complete atlas of contemporary Zero-Knowledge Proof technologies
  ☆14Updated 2 years ago
• tobias-rothmann / Polynomial-Commitment-Schemes
  Formalizing Polynomial Commitment Schemes in the Interactive Theorem Prover Isabelle.
  ☆10Updated 2 months ago
• jacopo-j / WebXDownloader
  Browser extension to download Webex meeting recordings
  ☆155Updated 3 years ago
• ChrisCummins / clgen
  Deep learning program generator
  ☆107Updated last year
• Veridise / Eurus
  Precise Attack Synthesis for DeFi Apps
  ☆47Updated 2 years ago
• giuspek / FormalMethods-2022
  Obsolete
  ☆14Updated 2 years ago
• revert-finance / liquidator-js
  An open-source implementation of a simple liquidation bot for Revert Lend.
  ☆14Updated 7 months ago
• lvella / polynomial-solver
  Solves systems of polynomial equations.
  ☆29Updated last year
• periscop / candl
  Data Dependence Analyzer in the Polyhedral Model
  ☆20Updated last year
• ZK-Hack / puzzle-gamma-ray
  ☆21Updated last year
• hecmas / pairing-playground
  ☆11Updated last year
• etclabscore / evm_llvm
  Official repo of the EVM LLVM project
  ☆103Updated 3 years ago
• crypdoughdoteth / Vyper-Multisig
  Multisig using Vyper, WIP
  ☆10Updated last year
• a16z / jsi
  just solve it - a CLI utility to run a portfolio of SMT solvers in parallel
  ☆24Updated 3 months ago
• bcc-research / CryptoUtilities.jl
  ☆13Updated 3 weeks ago
• iFrostizz / rustry
  Based Ethereum framework for writing tests in Rust
  ☆12Updated last year
• starkware-libs / formal-proofs
  ☆59Updated 6 months ago
• jtriley2p / offensive_vyper
  Vyper Based Capture The Flag Challenges
  ☆35Updated 2 years ago
• guangyuz / arkworks-gadgets
  Zero-knowledge gadget for Sparse Merkle Tree.
  ☆20Updated 2 years ago
• phretor / memory-errors-lab
  Virtual machine + repository of typical memory errors for teaching computer security courses.
  ☆29Updated 9 years ago
• AshiqAmien / decently-safe-defi
  ☆15Updated last year
• unbalancedparentheses / learning
  I like to learn new things
  ☆10Updated 2 years ago
• devtooligan / huff-spearbit-demo
  ☆16Updated 9 months ago
• oguimbal / huff-playground
  ☆19Updated last year
• Zdddzz / smartcontract
  Ethereum smart contract similarity measurement at the basic block level based on triplet netwok
  ☆11Updated 4 years ago
• vicnaum / huff-immutables
  Dynamic constructor-initializable immutables example in Huff
  ☆15Updated 2 years ago