Pinned Loading

1. connect-four connect-four Public

   Connect Four Game

   TypeScript 1

2. ARBAC-analyser ARBAC-analyser Public

   ARBAC role reachability verifier

   Python

3. virtual-machine virtual-machine Public

   A simple virtual machine with register file and stack able to execute simple machine code (proprietary machine code)

   C 1

4. SharpSolver SharpSolver Public

   SharpSolver: Polynomial command line interpreter and manipulator written in F#

   F# 1

5. obf-perf obf-perf Public

   A tool to compare obfuscation methods.

   Python

6. UniveIngSw2020/SmartMeal UniveIngSw2020/SmartMeal Public

   Repository per il progetto del gruppo Quadcore

   Java 1