Pinned Loading

1. elpi-formalization elpi-formalization Public

   Formalization of the elpi language

   Rocq Prover 1

2. All-Intervall-Series All-Intervall-Series Public

   An implementation of the All Interval Series problem in CP

   Java 1 1

3. Learning-And-More Learning-And-More Public

   An implementation of some Active Learning algorithms

   TypeScript

4. TimeToTank TimeToTank Public

   3D Game project with Babylon.js

   JavaScript

5. margauxschmied/RAM_language_interpreter margauxschmied/RAM_language_interpreter Public

   Interpréteur de language RAM en python avec interface graphique.

   Python 4

6. arnaud-m/cryptator arnaud-m/cryptator Public

   A constraint-based cryptarithm solver and generator

   Java 1