shaunazzopardi/deontic-logic-with-unknowns-haskell shaunazzopardi/deontic-logic-with-unknowns-haskell

  • Stars
    star
    3
  • Rank 3,857,775 (Top 78 %)
  • Language
    Haskell
  • Created almost 7 years ago
  • Updated over 5 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
shaunazzopardi/deontic-logic-with-unknowns-haskell
github

shaunazzopardi

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

A Partial Deontic Logic with conflict checking.

More 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

smart-contract-versioning

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

useful-smart-contracts

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

deontic-logic-with-unknowns

A Partial Deontic Logic
C#
1
star
7

tapa

A TArgeted Pointer Analysis for Java programs
Java
1
star
8

maltese-dictionary

A list of commonly used Maltese words.
1
star
9

clarva

Residual analysis for properties as symbolic automata
Java
1
star