Discover @shaunazzopardi Open Source projects

Shaun Azzopardi (@shaunazzopardi)

shaunazzopardi

Stars
45
Global Rank 355,657 (Top 13 %)
Followers 25
Following 26
Registered about 10 years ago
Most used languages

Haskell
42.9 %

Java
28.6 %

C#
14.3 %

Python
14.3 %
Location 🇲🇹 Malta
Country Total Rank 69
Country Ranking

Haskell
1

Java
33

Python
34

C#
61

solidity-cfg-builder

A control-flow graph builder for Solidity smart contracts.

solidity-static-analysis

Static analysis for Solidity smart contract with properties as symbolic automata.

bpmn-to-solidity

A parser from BPMN to Solidity smart contracts.

deontic-logic-with-unknowns-haskell

A Partial Deontic Logic with conflict checking.

smart-contract-versioning

A template for type-safe smart contract versioning on Ethereum.

useful-smart-contracts

A few useful smart contracts and smart contracts pattern in Solidity for Ethereum.

deontic-logic-with-unknowns

A Partial Deontic Logic

tapa

A TArgeted Pointer Analysis for Java programs

maltese-dictionary

A list of commonly used Maltese words.

clarva

Residual analysis for properties as symbolic automata

contractLarva

Runtime verification tool for Solidity smart contracts.