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
  ☆124Updated 3 years ago
• shaunazzopardi / solidity-cfg-builder
  A control-flow graph builder for Solidity smart contracts.
  ☆28Updated 6 years ago
• anmavrid / smart-contracts
  ☆119Updated 2 years ago
• sivachokkapu / revive-cc
  Static analysis tool for Hyperledger Frabric smart contracts written in Go.
  ☆37Updated 5 years ago
• solidityj / solidity-antlr4
  Solidity grammar for ANTLR4
  ☆123Updated 5 years ago
• sec-bit / tokenlibs-with-proofs
  Correctness proofs of Ethereum token contracts
  ☆97Updated 6 years ago
• gordonpace / contractLarva
  Runtime verification tool for Solidity smart contracts.
  ☆35Updated 2 years ago
• duaraghav8 / soltar
  Generate Solidity Code from its AST
  ☆15Updated 9 years ago
• InterWorkAlliance / token-designer
  Visual Studio Code extension that facilitates manipulation of artifacts in the Token Taxonomy Framework
  ☆16Updated 2 years ago
• usyd-blockchain / vandal
  Static program analysis framework for Ethereum smart contract bytecode.
  ☆169Updated 4 years ago
• eth-sri / securify
  [DEPRECATED] Security Scanner for Ethereum Smart Contracts
  ☆223Updated 5 years ago
• microsoft / verisol
  A formal verifier and analysis tool for Solidity Smart Contracts
  ☆257Updated 3 years ago
• federicobond / solidity-parser-antlr
  A Solidity parser for JS built on top of a robust ANTLR4 grammar
  ☆155Updated 5 years ago
• nescio007 / teether
  ☆138Updated 4 years ago
• costa-group / EthIR
  A framework for high-level Analysis of Ethereum Bytecode
  ☆22Updated 3 weeks ago
• ApeWorX / py-solc-x
  Python wrapper and version management tool for the solc Solidity compiler.
  ☆143Updated last month
• renardbebe / Smart-Contract-Benchmark-Suites
  A unified smart contract standard data set.
  ☆46Updated 4 years ago
• bl4ck5un / Town-Crier
  Town Crier: an Authenticated Data Feeds for Smart Contracts
  ☆137Updated 4 years ago
• belikout / MuSC-Tool-Demo-repo
  Mutation Test Tool for Solidity
  ☆16Updated 3 years ago
• runtimeverification / evm-semantics
  K Semantics of the Ethereum Virtual Machine (EVM)
  ☆554Updated last week
• InterWorkAlliance / TokenTaxonomyFramework
  Public version of the Token Taxonomy Framework. This is a versioned mirror of the IWA TTF working group repo, no issues can be posted and…
  ☆79Updated this week
• SRI-CSL / solidity
  This is solc-verify, a modular verifier for Solidity.
  ☆53Updated 2 years ago
• DependableSystemsLab / SolidiFI
  SolidiFI is an automated and systematic framework for evaluating smart contracts' static analysis tools via Bug Injection
  ☆82Updated last year
• HarryR / solcrypto
  Solidity crypto libraries, ring signatures, proof of knowledge, packed signatures etc. with matching Python implementations for secp256k1…
  ☆291Updated 6 years ago
• ConsenSysDiligence / python-solidity-parser
  An experimental Solidity parser for Python built on top of a robust ANTLR4 grammar 📚
  ☆146Updated last year
• beyondacm / SmartEmbed
  A Tool for clone detection and bug detection in smart contracts
  ☆106Updated 2 years ago
• s-tikhomirov / solidity-latex-highlighting
  Include nice-looking Solidity examples into LaTeX files
  ☆117Updated 11 months ago
• wesleyjtann / Safe-SmartContracts
  A Sequence Learning Approach to Detecting Vulnerabilities
  ☆48Updated 4 years ago
• Jiachi-Chen / DefectChecker
  ☆30Updated last year
• ethereum / py_ecc
  Python implementation of ECC pairing and bn_128 and bls12_381 curve operations
  ☆219Updated last month