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 3 months ago
• contract-ace / smartace
  ☆17Updated 4 years ago
• MachSMT / MachSMT
  MachSMT: An ML-Driven Algorithm Selection tool for SMT Solvers
  ☆25Updated 2 years ago
• meyerphi / strix
  Strix is a tool for reactive synthesis of controllers from LTL specifications.
  ☆23Updated 3 years ago
• SyGuS-Org / benchmarks
  Benchmarks for SyGuS Competition (SyGuS-Comp)
  ☆42Updated 2 years ago
• pddenhar / Z3-IC3-PDR
  Implementation of the IC3 / Property Directed Reachability algorithm using the the Z3 SMT solver.
  ☆18Updated 9 years ago
• NeVerTools / pyNeVer
  A Python library for learning and verification of neural networks and other machine learning models
  ☆14Updated 4 months ago
• codersguild / Software-Analysis-PAVT
  Program Analysis, Software Verification & Testing. Python3, CAS, Dafny, Z3, CVC4, UCLID, ZChaff, NuSMV, AFL, Scala, CBMC & LLVM Framework…
  ☆39Updated 2 years ago
• yihozhang / most-influential-pl-papers
  Most influential papers in programming languages
  ☆58Updated last year
• GaloisInc / LinearArbitrary-SeaHorn
  LinearArbitrary-SeaHorn is a CHC solver for LLVM-based languages.
  ☆22Updated 2 years ago
• tpchina / tpchina.github.io
  ☆20Updated last month
• eth-sri / verx-benchmarks
  ☆20Updated 6 years ago
• formalmethods / intrepid
  Intrepyd Model Checker
  ☆18Updated 4 years ago
• uuverifiers / tricera
  TriCera: a model checker for C programs
  ☆26Updated last month
• bor0 / dafny-tutorial
  Exercises for the Dafny Tutorial
  ☆11Updated 7 years ago
• uuverifiers / eldarica
  The Eldarica model checker
  ☆100Updated this week
• SRI-CSL / solidity
  This is solc-verify, a modular verifier for Solidity.
  ☆53Updated 2 years ago
• AU-COBRA / ConCert
  A framework for smart contract verification in Coq
  ☆124Updated last month
• formal-land / coq-of-python
  Translate Python code to Coq code for formal verification. Applied to the reference implementation of Ethereum in Python.
  ☆41Updated last year
• aman-goel / ic3po
  IC3PO: IC3 for Proving Protocol Properties
  ☆28Updated last year
• choukh / MetaZF
  Coq集合模型论
  ☆11Updated 3 years ago
• yihozhang / relational-ematching-benchmark
  ☆16Updated 4 years ago
• Sophietje / Verification-Tool-Overview
  Information about verification tools. Browse the data at https://slebok.github.io/proverb/
  ☆32Updated 2 years ago
• whitemech / FOND4LTLf
  FOND4LTLf translates an LTLf/PLTLf-FOND to standard FOND planning problems
  ☆16Updated last year
• usi-verification-and-security / golem
  Solver for Constrained Horn Clauses
  ☆48Updated this week
• reactive-systems / MCHyper
  A hardware model checker for hyperproperties
  ☆18Updated last year
• jar-ben / mustool
  ☆14Updated 2 years ago
• AD1024 / veripy
  Python3 auto-active verification library (migrated to an Intel project)
  ☆25Updated 3 years ago
• SoftWiser-group / LaM4Inv
  Code for the paper "LLM Meets Bounded Model Checking: Neuro-symbolic Loop Invariant Inference" at ASE 2024
  ☆25Updated last year