signavio / BPMN-SolLinks
Compiler to convert BPMN 2.0 xml to solidity smart contract
☆18Updated last year
Alternatives and similar repositories for BPMN-Sol
Users that are interested in BPMN-Sol are comparing it to the libraries listed below
Sorting:
- Caterpillar: A BPMN-based BPMS for Ethereum☆124Updated 3 years ago
- A control-flow graph builder for Solidity smart contracts.☆28Updated 6 years ago
- ☆119Updated 2 years ago
- Static analysis tool for Hyperledger Frabric smart contracts written in Go.☆37Updated 5 years ago
- Solidity grammar for ANTLR4☆123Updated 5 years ago
- Correctness proofs of Ethereum token contracts☆97Updated 6 years ago
- Runtime verification tool for Solidity smart contracts.☆35Updated 2 years ago
- Generate Solidity Code from its AST☆15Updated 9 years ago
- Visual Studio Code extension that facilitates manipulation of artifacts in the Token Taxonomy Framework☆16Updated 2 years ago
- Static program analysis framework for Ethereum smart contract bytecode.☆169Updated 4 years ago
- [DEPRECATED] Security Scanner for Ethereum Smart Contracts☆223Updated 5 years ago
- A formal verifier and analysis tool for Solidity Smart Contracts☆257Updated 3 years ago
- A Solidity parser for JS built on top of a robust ANTLR4 grammar☆155Updated 5 years ago
- ☆138Updated 4 years ago
- A framework for high-level Analysis of Ethereum Bytecode☆22Updated 3 weeks ago
- Python wrapper and version management tool for the solc Solidity compiler.☆143Updated last month
- A unified smart contract standard data set.☆46Updated 4 years ago
- Town Crier: an Authenticated Data Feeds for Smart Contracts☆137Updated 4 years ago
- Mutation Test Tool for Solidity☆16Updated 3 years ago
- K Semantics of the Ethereum Virtual Machine (EVM)☆554Updated last week
- 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
- This is solc-verify, a modular verifier for Solidity.☆53Updated 2 years ago
- SolidiFI is an automated and systematic framework for evaluating smart contracts' static analysis tools via Bug Injection☆82Updated last year
- Solidity crypto libraries, ring signatures, proof of knowledge, packed signatures etc. with matching Python implementations for secp256k1…☆291Updated 6 years ago
- An experimental Solidity parser for Python built on top of a robust ANTLR4 grammar 📚☆146Updated last year
- A Tool for clone detection and bug detection in smart contracts☆106Updated 2 years ago
- Include nice-looking Solidity examples into LaTeX files☆117Updated 11 months ago
- A Sequence Learning Approach to Detecting Vulnerabilities☆48Updated 4 years ago
- ☆30Updated last year
- Python implementation of ECC pairing and bn_128 and bls12_381 curve operations☆219Updated last month