Pinned Loading

1. corewar_ddcf corewar_ddcf Public

   Corewar implementation in JAVA with 3 collegues

   Java 5

2. decision_making_ai_csp_datamining decision_making_ai_csp_datamining Public

   Projet et tp de mon cours Aide à la décision et intelligence artificielle

   Java 3 1

3. trajectory_analysis_dota trajectory_analysis_dota Public

   C++ 2

4. compilation_mvap compilation_mvap Public

   Compilation project from a C-like language to a assembly-like language

   ANTLR

5. dynamic_code_optimisation_injection dynamic_code_optimisation_injection Public

   This project allows you to dynamically optimize/inject new code into a running program in C.

   C

6. proven_small_firewall_policy_equivalence_checker proven_small_firewall_policy_equivalence_checker Public

   This project is a demonstration of creating a small firewall policy equivalence checker in Scala and proven with IsabelleHOL

   Isabelle