Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by shaunazzopardi
A curated list of projects in awesome lists by shaunazzopardi .
https://github.com/shaunazzopardi/solidity-cfg-builder
A control-flow graph builder for Solidity smart contracts.
control-flow-graph ethereum-verificaton solidity solidity-analysis solidity-contracts solidity-language static-analysis
Last synced: 13 Oct 2024
https://github.com/shaunazzopardi/solidity-static-analysis
Static analysis for Solidity smart contract with properties as symbolic automata.
ethereum smart-contract solidity static-analysis
Last synced: 13 Nov 2024
https://github.com/shaunazzopardi/bpmn-to-solidity
A parser from BPMN to Solidity smart contracts.
blockchain bpmn bpms business-process business-process-management ethereum smart-contract solidity
Last synced: 13 Nov 2024
https://github.com/shaunazzopardi/deontic-logic-with-unknowns-haskell
A Partial Deontic Logic with conflict checking.
Last synced: 13 Nov 2024
https://github.com/shaunazzopardi/sweap
A tool for symbolic finite and infinite-state reactive synthesis
lia ltl reactive-synthesis synthesis
Last synced: 13 Nov 2024
https://github.com/shaunazzopardi/tapa
A TArgeted Pointer Analysis for Java programs
java pointer-analysis soot static-analysis
Last synced: 13 Nov 2024
https://github.com/shaunazzopardi/useful-smart-contracts
A few useful smart contracts and smart contracts pattern in Solidity for Ethereum.
Last synced: 13 Nov 2024
https://github.com/shaunazzopardi/smart-contract-versioning
A template for type-safe smart contract versioning on Ethereum.
ethereum smart-contract-delegate smart-contract-versioning smart-contracts solidity versioning
Last synced: 13 Nov 2024
https://github.com/shaunazzopardi/deontic-logic-with-unknowns
A Partial Deontic Logic
contracts csharp deontic deontic-logic law logic norms
Last synced: 13 Nov 2024
https://github.com/shaunazzopardi/maltese-dictionary
A list of commonly used Maltese words.
dictionary language maltese text word-list
Last synced: 13 Nov 2024
https://github.com/shaunazzopardi/clarva
Residual analysis for properties as symbolic automata
Last synced: 13 Nov 2024
https://github.com/shaunazzopardi/solidity-notes
Notes on Solidity I intend to keep while learning and getting used to the Solidity language for smart contracts on Ethereum.
Last synced: 13 Nov 2024
https://github.com/shaunazzopardi/ltl-rewriting-monitor
A rewriter for LTL given as input a set of events.
Last synced: 13 Nov 2024
https://github.com/shaunazzopardi/solidity-partial-evaluator
An experiment in building a partial function evaluator for Solidity smart contracts.
Last synced: 13 Nov 2024
https://github.com/shaunazzopardi/interactive-smart-contracts-case-study
Three case studies in useful interaction between smart contracts, with one smart contract asaservice
Last synced: 13 Nov 2024
https://github.com/shaunazzopardi/course-matcher
ASP.NET MVC website to find courses open to student's qualifications.
Last synced: 13 Nov 2024
https://github.com/shaunazzopardi/deontic-monitoring-solidity
Case study in monitoring a Solidity smart contract with a deontic logic specification language.
deontic deontic-logic monitoring runtime-verification solidity solidity-contracts
Last synced: 13 Nov 2024
https://github.com/shaunazzopardi/safely-mutable-erc-20-interface
An interface for an ERC-20 token smart contract that enforces the expected behaviour of each entry-point.
Last synced: 13 Nov 2024
https://github.com/shaunazzopardi/ethereuem-runtime-verification
An attempt at runtime verification of Ethereum smart contracts.
ethereum ethereum-blockchain ethereum-contract formal-verification monitoring monitoring-engine runtime-verification smart-contracts sol solidity solidity-contracts
Last synced: 13 Nov 2024
https://github.com/shaunazzopardi/secure-parity-wallet
A case study in securing calls between smart contracts using the Parity wallet.
ethereum monitoring parity solidity verification
Last synced: 13 Nov 2024
https://github.com/shaunazzopardi/strix-docker
A Dockerfile to install Strix (https://strix.model.in.tum.de/) in an Ubuntu docker image.
Last synced: 13 Nov 2024