Explore projects
-
Updated
-
This project is the home of the branch of the Truffle R language with a query library.
Updated -
Updated
-
Updated
-
Updated
-
Quelques l'exercices WIMS pour l'enseignement de l'informatique.
Updated -
Home of the Isabelle_C development. See https://www.lri.fr/~wolff/projects/Isabelle_C/ and F-IDE 2019 publication
Topics: lriUpdatedUpdated -
-
-
Updated
-
Updated
-
Updated
-
Updated
-
Any documentation helpfull to understand Codalab software.
Updated -
Updated
-
Updated
-
Quelques l'exercices WIMS pour l'enseignement de l'informatique.
Updated -
Updated