Alternatives and similar repositories for BPMN-Sol:

Users that are interested in BPMN-Sol are comparing it to the libraries listed below

• orlenyslp / Caterpillar
  Caterpillar: A BPMN-based BPMS for Ethereum
  ☆122Updated 2 years ago
• shaunazzopardi / solidity-cfg-builder
  A control-flow graph builder for Solidity smart contracts.
  ☆26Updated 5 years ago
• InterWorkAlliance / token-designer
  VS Code extension that facilitates manipulation of artifacts in the Token Taxonomy Framework
  ☆16Updated last year
• eth-sri / securify
  [DEPRECATED] Security Scanner for Ethereum Smart Contracts
  ☆219Updated 4 years ago
• AutomatedProcessImprovement / Prosimos
  Prosimos Simulation Engine (CLI)
  ☆9Updated 3 weeks ago
• microsoft / verisol
  A formal verifier and analysis tool for Solidity Smart Contracts
  ☆246Updated 2 years ago
• sec-bit / tokenlibs-with-proofs
  Correctness proofs of Ethereum token contracts
  ☆97Updated 5 years ago
• Smart-Contract-Modelling-uOttawa / Symboleo-IDE
  An IDE for Symboleo, a formal contract specification language.
  ☆18Updated 3 months ago
• eth-sri / zkay
  A programming language and compiler which enable automatic compilation of intuitive data privacy specifications to NIZK-enabled private s…
  ☆83Updated last year
• costa-group / EthIR
  A framework for high-level Analysis of Ethereum Bytecode
  ☆16Updated last month
• anmavrid / smart-contracts
  ☆119Updated last year
• gordonpace / contractLarva
  Runtime verification tool for Solidity smart contracts.
  ☆32Updated last year
• HyperService-Consortium / HyperService-Language
  This is the repository to host the code for hslang parsing and code generation.
  ☆21Updated 2 years ago
• solidityj / solidity-antlr4
  Solidity grammar for ANTLR4
  ☆122Updated 4 years ago
• SRI-CSL / solidity
  This is solc-verify, a modular verifier for Solidity.
  ☆51Updated last year
• ethereum / py_ecc
  Python implementation of ECC pairing and bn_128 and bls12_381 curve operations
  ☆201Updated last month
• processquerying / PQL
  Process Query Language (PQL) is a special-purpose programming language for managing process models based on information about process ins…
  ☆17Updated 2 years ago
• bl4ck5un / Town-Crier
  Town Crier: an Authenticated Data Feeds for Smart Contracts
  ☆136Updated 3 years ago
• usyd-blockchain / vandal
  Static program analysis framework for Ethereum smart contract bytecode.
  ☆162Updated 3 years ago
• openlawteam / openlaw-core
  Shared Scala libraries for the OpenLaw project.
  ☆103Updated 3 years ago
• IC3Hydra / Hydra
  Framework for cryptoeconomic contract security, decentralized security bounties. Live on Ethereum.
  ☆73Updated 6 years ago
• duaraghav8 / soltar
  Generate Solidity Code from its AST
  ☆15Updated 8 years ago
• AutomatedProcessImprovement / Simod
  CLI tool for automated discovery of BPS models from event logs
  ☆42Updated 3 months ago
• accordproject / models
  Accord Project Model Repository
  ☆29Updated 2 months ago
• camunda / bpmn-for-research
  A collection of BPMN diagrams that can be used for research
  ☆55Updated 9 years ago
• Consensys / evm-analyzer-benchmark-suite
  A benchmark suite for evaluating the precision of EVM code analysis tools.
  ☆40Updated 6 years ago
• hyperledger-labs / weaver-dlt-interoperability
  A platform, a protocol suite, and a set of tools, to enable interoperation for data sharing and asset movements between independent netwo…
  ☆55Updated 4 months ago
• pepper-project / pequin
  A system for verifying outsourced computations, and applying SNARKs. Simplified release of the main Pepper codebase.
  ☆125Updated 2 years ago
• spring-epfl / zksk
  Zero-Knowledge Swiss Knife
  ☆94Updated 2 years ago
• Charterhouse / pysnark
  Python-based system for zk-SNARK based verifiable computations and smart contracts
  ☆80Updated 5 years ago