Popular repositories Loading

1. Pet-rescue-saga Pet-rescue-saga Public

   A revisited version of the Pet Rescue Saga game (University project)

   Java

2. Monopoly Monopoly Public

   A revisited version of the Monopoly (University project)

   Java 2

3. DPLL DPLL Public

   DPLL implementation in OCaml

   OCaml

4. Synthese-invariant Synthese-invariant Public

   Automatisation de la génération de code SMT-LIB

   OCaml

5. Fractales Fractales Public

   Génération de plusieurs types de fractales.

   Java

6. Planificateur-de-taches Planificateur-de-taches Public

   Automatisation de l'exécution périodique des tâches à des moments spécifiés, à la manière de 'cron'

   C