Gradaly is an AI grading assistant designed to streamline the correction of exams and assignments. It shifts the educator’s focus to designing fine-grained, high-quality evaluation rubrics that AI systematically applies to student copies. Gradaly allows instructors to dynamically simulate the impact of criteria adjustments across entire cohorts, provide personalized feedback, and keep student data completely private with local, offline processing.
DDOLib DDOLib is a open-source (MIT) java solver for solving dynamic programming (DP) problems developped by the CETIC (team of Renaud De Landtsheer) and the UCLouvain (team of Pierre Schaus). It includes a modeling API for users to define their DP problem and solve them efficiently.
MaxiCP is an open source CP solver for solving real-life scheduling and vehcile routing. It is the first open-source solver to support task interval domains and cumulative functions for scheduling, and sequence varaibles for routing.
MiniCP is a lightweight open-source constraint programming solver for teaching CP. MiniCP: a lightweight solver for constraint programming, Michel, L. and Schaus, P. and Van Hentenryck, P., Mathematical Programming Computation, 2021.
OscaR is a Scala CP Solver.
A set of Java exercises for learning Data-Structures and Algorithms github exercises and the solutions to those exercises github solutions organized and based on the book of Algorithms, 4th Edition by Robert Sedgewick and Kevin Wayne that I use as the reference book for my Data-Structure and Algorithms course.
A set of Discrete Optimization Projects in Java github projects aimed to be automated tested using unit-tests.
PY DL8.5 is a C++ + python-wrapper library for learnin optimal decision trees presented in Aglin, G., Nijssen, S., Schaus, P. PyDL8.5: a Library for Learning Optimal Decision Trees., In IJCAI. 2020.
DDO is a RUST library for optimization with Decision Diagrams presented in: Ddo, a generic and efficient framework for MDD-based optimization, Xavier Gillard, Pierre Schaus, Vianney Coppé, IJCAI2020