Alternatives and similar repositories for declarative-smart-contracts:

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

• contract-ace / smartace
  ☆15Updated 3 years ago
• runtimeverification / pyk
  Python tools for the K Framework
  ☆13Updated 11 months ago
• pddenhar / Z3-IC3-PDR
  Implementation of the IC3 / Property Directed Reachability algorithm using the the Z3 SMT solver.
  ☆15Updated 8 years ago
• eth-sri / verx-benchmarks
  ☆20Updated 5 years ago
• lijwen2748 / simplecar
  ☆14Updated 2 years ago
• giuspek / FormalMethods-2022
  Obsolete
  ☆13Updated 2 years ago
• bor0 / dafny-tutorial
  Exercises for the Dafny Tutorial
  ☆11Updated 6 years ago
• fsainas / contracts-verification-benchmark
  An open benchmark for evaluating smart contracts verification tools.
  ☆13Updated 4 months ago
• uuverifiers / tricera
  TriCera: a model checker for C programs
  ☆24Updated last week
• sree314 / simple-abstract-interpreter
  A Simple Abstract Interpreter, built for teaching purposes
  ☆18Updated 4 years ago
• luigiapetre / Formal-Methods-Courses
  Here we collect worldwide courses teaching formal methods
  ☆36Updated 5 years ago
• Veridise / Eurus
  Precise Attack Synthesis for DeFi Apps
  ☆47Updated 2 years ago
• SRI-CSL / solidity
  This is solc-verify, a modular verifier for Solidity.
  ☆52Updated last year
• acorrenson / WiSE
  A formally verified bug finder
  ☆14Updated 4 months ago
• grigoryfedyukovich / aeval
  AE-solver and Skolemizer
  ☆16Updated 3 months ago
• codersguild / Software-Analysis-PAVT
  Program Analysis, Software Verification & Testing. Python3, CAS, Dafny, Z3, CVC4, UCLID, ZChaff, NuSMV, AFL, Scala, CBMC & LLVM Framework…
  ☆37Updated last year
• chc-comp / chc-tools
  Tools for manipulating CHC and related files
  ☆14Updated last year
• uuverifiers / eldarica
  The Eldarica model checker
  ☆83Updated last week
• verifereum / verifereum
  Prove functional correctness of Ethereum smart contracts in higher-order logic
  ☆24Updated 2 weeks ago
• yihozhang / most-influential-pl-papers
  Most influential papers in programming languages
  ☆55Updated 2 months ago
• NASA-SW-VnV / mesa
  Actor-based Runtime Verification Tool
  ☆15Updated last year
• murxla / murxla
  A model-based API Fuzzer for SMT Solvers.
  ☆13Updated 3 weeks ago
• verse-lab / bythos
  Compositional Verification of Composite Byzantine Protocols
  ☆12Updated 7 months ago
• purdue-cap / DryadSynth
  A SyGuS Solver
  ☆25Updated this week
• MachSMT / MachSMT
  MachSMT: An ML-Driven Algorithm Selection tool for SMT Solvers
  ☆22Updated last year
• seahorn / verify-c-common
  ☆16Updated 9 months ago
• awslabs / rust-smt-ir
  ☆37Updated 7 months ago
• NethermindEth / EVMYulLean
  Executable formal model of the EVM and Yul in Lean 4.
  ☆51Updated this week
• Consensys / evm-dafny
  An EVM interpreter in Dafny
  ☆127Updated 5 months ago
• boogie-org / symdiff
  SymDiff-Differential-Program-Verifier
  ☆34Updated 3 weeks ago