Popular repositories Loading

1. Simple-Calculus-in-Haskell-with-typechecker-and-parser Simple-Calculus-in-Haskell-with-typechecker-and-parser Public

   Haskell 6

2. inference-systems-agda inference-systems-agda Public

   Agda 3

3. kb-anonimity-For-Privacy-Preserving-in-Test-Data kb-anonimity-For-Privacy-Preserving-in-Test-Data Public

   A Python implementation of kb-anonimity algorithm for preserving privacy in test data

   Jupyter Notebook 1 1

4. OvA-vs-TreeBagging-vs-RandomForest OvA-vs-TreeBagging-vs-RandomForest Public

   MATLAB 1

5. Parser-For-Timed-Trace-Expressions Parser-For-Timed-Trace-Expressions Public

   Prolog

6. CoContextualPi CoContextualPi Public

   Forked from umazalakain/CoContextualPi

   Agda