Alternatives and similar repositories for declarative-smart-contracts

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

• lijwen2748 / simplecar
  ☆15Updated 3 years ago
• murxla / murxla
  A model-based API Fuzzer for SMT Solvers.
  ☆14Updated 2 months ago
• contract-ace / smartace
  ☆18Updated 3 years ago
• MachSMT / MachSMT
  MachSMT: An ML-Driven Algorithm Selection tool for SMT Solvers
  ☆24Updated 2 years ago
• bor0 / dafny-tutorial
  Exercises for the Dafny Tutorial
  ☆11Updated 7 years ago
• chc-comp / chc-tools
  Tools for manipulating CHC and related files
  ☆15Updated 2 years ago
• boogie-org / symdiff
  SymDiff-Differential-Program-Verifier
  ☆38Updated 4 months ago
• pddenhar / Z3-IC3-PDR
  Implementation of the IC3 / Property Directed Reachability algorithm using the the Z3 SMT solver.
  ☆18Updated 9 years ago
• UQ-PAC / BASIL
  The Basil pipeline for concurrent information flow analysis in AArch64 binaries.
  ☆17Updated last week
• AD1024 / veripy
  Python3 auto-active verification library (migrated to an Intel project)
  ☆25Updated 3 years ago
• uuverifiers / eldarica
  The Eldarica model checker
  ☆98Updated last month
• yihozhang / most-influential-pl-papers
  Most influential papers in programming languages
  ☆58Updated 11 months ago
• aman-goel / ic3po
  IC3PO: IC3 for Proving Protocol Properties
  ☆28Updated last year
• tpchina / tpchina.github.io
  ☆20Updated last week
• SyGuS-Org / benchmarks
  Benchmarks for SyGuS Competition (SyGuS-Comp)
  ☆41Updated 2 years ago
• GaloisInc / LinearArbitrary-SeaHorn
  LinearArbitrary-SeaHorn is a CHC solver for LLVM-based languages.
  ☆22Updated 2 years ago
• purdue-cap / DryadSynth
  A SyGuS Solver
  ☆30Updated 7 months ago
• nadia-polikarpova / cyclegg
  Cyclic theorem prover for equalitional reasoning using egraphs
  ☆27Updated 2 years ago
• Kraks / sai
  Staged Abstract Interpreters
  ☆69Updated 2 years ago
• AU-COBRA / ConCert
  A framework for smart contract verification in Coq
  ☆124Updated last week
• usi-verification-and-security / golem
  Solver for Constrained Horn Clauses
  ☆48Updated last week
• wilcoxjay / mypyvy
  A language for symbolic transitions system, inspired by Ivy.
  ☆71Updated 3 months ago
• seahorn / verify-c-common
  ☆20Updated last year
• eth-sri / verx-benchmarks
  ☆20Updated 6 years ago
• trackoor / AwesomePL
  A Collection of Papers & Notes in Programming Language & Formal Verification
  ☆17Updated 3 years ago
• uuverifiers / tricera
  TriCera: a model checker for C programs
  ☆26Updated last week
• SRI-CSL / solidity
  This is solc-verify, a modular verifier for Solidity.
  ☆53Updated 2 years ago
• tip-org / benchmarks
  Tons of Inductive Problems: The Benchmarks
  ☆27Updated 2 years ago
• MarkusRabe / cadet
  A fast and certifying solver for quantified Boolean formulas.
  ☆26Updated 7 months ago
• runtimeverification / mir-semantics
  ☆32Updated last week