Explore projects
-
Epain Florence / Causal Model Checker
GNU Lesser General Public License v2.1 onlyIt implements the model checker and example in the paper: Model Checking Causality. Tiago de Lima, and Emiliano Lorini. in Proc. of IJCAI 2024.
Updated -
Updated
-
Updated
-
Updated
-
Updated
-
A simple (support) ticket management system.
Updated -
Project work about neural networks.
Updated -
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated