Shaun Azzopardi (@shaunazzopardi)
github

shaunazzopardi

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    45
  • Global Rank 367,370 (Top 13 %)
  • Followers 25
  • Following 26
  • Registered over 10 years ago
  • Most used languages
    Haskell
         42.9 %
    Java
         28.6 %
    Python
         14.3 %
    C#
         14.3 %
  • Location 🇲🇹 Malta
  • Country Total Rank 69
  • Country Ranking
    Haskell
         1
    Java
         33
    Python
         35
    C#
         51

Top repositories

1

solidity-cfg-builder

A control-flow graph builder for Solidity smart contracts.
Haskell
20
star
2

solidity-static-analysis

Static analysis for Solidity smart contract with properties as symbolic automata.
Haskell
9
star
3

bpmn-to-solidity

A parser from BPMN to Solidity smart contracts.
Python
6
star
4

deontic-logic-with-unknowns-haskell

A Partial Deontic Logic with conflict checking.
Haskell
3
star
5

smart-contract-versioning

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

useful-smart-contracts

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

deontic-logic-with-unknowns

A Partial Deontic Logic
C#
1
star
8

tapa

A TArgeted Pointer Analysis for Java programs
Java
1
star
9

maltese-dictionary

A list of commonly used Maltese words.
1
star
10

clarva

Residual analysis for properties as symbolic automata
Java
1
star