Alternatives and similar repositories for declarative-smart-contracts:

Users that are interested in declarative-smart-contracts are comparing it to the libraries listed below

• eth-sri / verx-benchmarks
  ☆20Updated 5 years ago
• contract-ace / smartace
  ☆15Updated 3 years ago
• runtimeverification / pyk
  Python tools for the K Framework
  ☆13Updated 11 months ago
• lijwen2748 / simplecar
  ☆15Updated 2 years ago
• sree314 / simple-abstract-interpreter
  A Simple Abstract Interpreter, built for teaching purposes
  ☆18Updated 4 years ago
• runtimeverification / mir-semantics
  ☆18Updated last week
• pddenhar / Z3-IC3-PDR
  Implementation of the IC3 / Property Directed Reachability algorithm using the the Z3 SMT solver.
  ☆15Updated 8 years ago
• murxla / murxla
  A model-based API Fuzzer for SMT Solvers.
  ☆14Updated last week
• Sophietje / Verification-Tool-Overview
  Information about verification tools. Browse the data at https://slebok.github.io/proverb/
  ☆26Updated last year
• bor0 / dafny-tutorial
  Exercises for the Dafny Tutorial
  ☆11Updated 6 years ago
• tpchina / tpchina.github.io
  ☆17Updated 2 years ago
• fsainas / contracts-verification-benchmark
  An open benchmark for evaluating smart contracts verification tools.
  ☆13Updated 3 weeks ago
• MachSMT / MachSMT
  MachSMT: An ML-Driven Algorithm Selection tool for SMT Solvers
  ☆23Updated last year
• uuverifiers / tricera
  TriCera: a model checker for C programs
  ☆24Updated 3 weeks ago
• SoftWiser-group / LaM4Inv
  Code for the paper "LLM Meets Bounded Model Checking: Neuro-symbolic Loop Invariant Inference"
  ☆16Updated 7 months ago
• giuspek / FormalMethods-2022
  Obsolete
  ☆13Updated 2 years ago
• grigoryfedyukovich / aeval
  AE-solver and Skolemizer
  ☆17Updated 4 months ago
• GaloisInc / yapall
  A precise and scalable pointer analysis for LLVM, written in Ascent
  ☆66Updated last month
• Veridise / Eurus
  Precise Attack Synthesis for DeFi Apps
  ☆47Updated 2 years ago
• hephaestus-compiler-project / hephaestus
  A framework for testing compilers' type checkers
  ☆52Updated 8 months ago
• uuverifiers / eldarica
  The Eldarica model checker
  ☆83Updated last week
• Consensys / evm-dafny
  An EVM interpreter in Dafny
  ☆128Updated 5 months ago
• moves-rwth / caesar
  Deductive verification infrastructure for probabilistic programs
  ☆16Updated last week
• wintered / ET
  Enumerative Testing and Bounded Validation of SMT Solvers
  ☆22Updated last month
• ssvlab / esbmc-gpu
  ESBMC-GPU is a context-bounded model checker based on the satisfiability modulo theories (SMT) to check for data race, deadlock, pointer …
  ☆8Updated 8 years ago
• SRI-CSL / solidity
  This is solc-verify, a modular verifier for Solidity.
  ☆52Updated last year
• yihozhang / most-influential-pl-papers
  Most influential papers in programming languages
  ☆55Updated 2 months ago
• boogie-org / symdiff
  SymDiff-Differential-Program-Verifier
  ☆34Updated last month
• purdue-cap / DryadSynth
  A SyGuS Solver
  ☆26Updated this week
• awslabs / rust-smt-ir
  ☆38Updated 8 months ago