Pinned Loading

1. core-language-parser core-language-parser Public

   A parser for the Core Language.

   Haskell

2. Butterfly Butterfly Public

   Forked from Onion-Software/Butterfly

   Custom CI/CD notification managing Kafka-based software for @ImolaInformatica

   CSS

3. invariant-verification invariant-verification Public

   Symbolic invariant verification algorithm usign NuSMV and PyNuSMV.

   Python

4. nssi-visual-recognition nssi-visual-recognition Public

   Use of visual recognition to fight self-harming contents on social networks

5. reactivity-properties-verification reactivity-properties-verification Public

   Symbolic reactivity property verification algorithm usign NuSMV and PyNuSMV.

   Python

6. CarMileageChaincode CarMileageChaincode Public

   A Simple Java Chaincode representing a name - mileage pair.

   Java