JolanPhilippe

I am currently in a postdoctoral position at Université de Rennes in the DiverSE team

Pinned Repositories

SparkTE_public
Language:Scala0 6 00
Ballet
Language:Python00
choco-solver
An open-source Java library for Constraint Programming
Language:Java00
CoqTL
Language:Coq00
format
ACM consolidated LaTeX styles
Language:TeX00
FSharpLint
Lint tool for F#
Language:F#00
GestionSalle
Projet semestre 3 POO
00
Socle
Scala OCL
Language:Scala00
multi-parameter-benchmark
Multi-Parameter Benchmark Framework
Language:Python00
PySke
Python Skeleton Library
Language:Python16

JolanPhilippe's Repositories

JolanPhilippe/choco-solver
An open-source Java library for Constraint Programming
Language:Java00
JolanPhilippe/CoqTL
Language:Coq00
JolanPhilippe/format
ACM consolidated LaTeX styles
Language:TeX00
JolanPhilippe/FSharpLint
Lint tool for F#
Language:F#00
JolanPhilippe/GestionSalle
Projet semestre 3 POO
00
JolanPhilippe/Socle
Scala OCL
Language:Scala00
JolanPhilippe/JavaPoker
Language:Java
JolanPhilippe/JDoc2021_paper
Language:TeX
JolanPhilippe/jolanphilippe.github.io
Language:HTML
JolanPhilippe/OCL-Graph
Language:Scala
JolanPhilippe/py-mon
Simple package to automatically restart application when file changes are detected!
JolanPhilippe/PySke
Python Skeleton Library
JolanPhilippe/Rational
Calculatrice Rational
JolanPhilippe/Solveur
Projet informatique Licence 1 semestre 2
JolanPhilippe/Taquin
Projet S4 : Jeu du Taquin
Language:HTML1
JolanPhilippe/terraform-provider-inventory
Language:Go
JolanPhilippe/UE-AD-A1-MIXTE
Language:Python
JolanPhilippe/WP3-Resources