Public repository for the LLM course at MVA

The largest curated benchmark suite for LTLf (Linear Temporal Logic on Finite Traces) Learning.

Benchmarks for LTL Learning

Experiments with POMDPs with revelations

xv6 OS

Blazingly fast synthesis of LTL formulas!

A tool to solve Boolean Synthesis instances

General purpose program synthetiser with existing Programming By Examples (PBE) pipeline

Simple implementations of some algorithms for the multi-armed bandit problem and some plots to compare the algorithms

A gedit plugin to reopen closed windows and optionally restore windows between sessions

Clustering notions for the knowledge LaTeX package

A LaTeX class for books, reports or theses based on https://github.com/kenohori/thesis and https://github.com/Tufte-LaTeX/tufte-latex.

Implementation of verification algorithms for the Pareto-Rational Verification problem (PRV problem).

Python Bindings for the Probabilistic Model Checker Storm

toy projet of first order logic

SPORE: Symbolic Partial sOlvers for REalizability

Rikiki app done in Kotlin

C lib for implementing the graph valuation idea.

Animation engine for explanatory math videos

Algorithms implemented and tested in C++

Tex All the Things: Chrome extension which typesets LaTeX in webpages using MathJax

A theme for JSON Resume based on Orbit design

A deep-q learning implementation for Super Mario Bros and Super Mario World

A free and strong UCI chess engine

Dépôt collaboratif pour s'échanger des synthèses, notes de cours concernant la formation sciences informatiques à l'UMons.

Mask R-CNN for object detection and instance segmentation on Keras and TensorFlow

Owl - OCaml Scientific Computing @ https://ocaml.xyz