signavio / BPMN-Sol
Compiler to convert BPMN 2.0 xml to solidity smart contract
☆16Updated 2 months ago
Related projects ⓘ
Alternatives and complementary repositories for BPMN-Sol
- Caterpillar: A BPMN-based BPMS for Ethereum☆122Updated last year
- A control-flow graph builder for Solidity smart contracts.☆26Updated 4 years ago
- ☆119Updated last year
- ☆11Updated 7 years ago
- A platform, a protocol suite, and a set of tools, to enable interoperation for data sharing and asset movements between independent netwo…☆55Updated 2 months ago
- Accord Project Cicero contracts on Hyperledger Fabric v2☆14Updated last year
- ☆13Updated 2 years ago
- [DEPRECATED] Security Scanner for Ethereum Smart Contracts☆218Updated 4 years ago
- An IDE for Symboleo, a formal contract specification language.☆18Updated last month
- Correctness proofs of Ethereum token contracts☆98Updated 5 years ago
- A programming language and compiler which enable automatic compilation of intuitive data privacy specifications to NIZK-enabled private s…☆81Updated 10 months ago
- This project is developing code to implement features and extensions to the NIST Cybersecurity Whitepaper, "A Data Structure for Integrit…☆24Updated last year
- 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…☆75Updated last month
- ☆41Updated 3 weeks ago
- Static program analysis framework for Ethereum smart contract bytecode.☆161Updated 3 years ago
- A collection of BPMN diagrams that can be used for research☆55Updated 8 years ago
- Semantics of Solidity in K☆29Updated 5 years ago
- Chainspace is a distributed ledger platform for high-integrity and transparent processing of transactions within a decentralized system.☆57Updated 5 years ago
- ☆24Updated 6 years ago
- Solidity grammar for ANTLR4☆122Updated 4 years ago
- The Private Data Objects lab provides technology for confidentiality-preserving, off-chain smart contracts.☆117Updated last week
- Sync ethereum blockchain to Neo4J☆28Updated 7 years ago
- Static analysis tool for Hyperledger Frabric smart contracts written in Go.☆34Updated 4 years ago
- Repository of benchmarks to evaluate Solidity Smart contract analysis tools☆57Updated 2 years ago
- ☆14Updated 2 years ago
- Town Crier: an Authenticated Data Feeds for Smart Contracts☆134Updated 3 years ago
- Flow graphs for Python☆25Updated 2 years ago
- Generate Solidity Code from its AST☆15Updated 8 years ago
- A Python model checking package☆64Updated 2 months ago