thibaultfalque's repositories
IUT-Bomberman
Projet du Semestre 4 : Réalisation d'un bomberman en SFML
android-java-snippets-sample
Code snippets that use the Microsoft Graph to perform common tasks, such as sending email or managing groups, from within an Android app. This sample uses the Microsoft Graph Client Library to work with the data, and the Microsoft Authentication Library (MSAL) for authentication of users' work or school Office 365 accounts and personal accounts.
bench
Benchmarking of constraint solvers locally and on HPC
django-oauth2-authcodeflow
Authenticate with any OpenId Connect/Oauth2 provider through authorization code flow. PKCE is also supported
formationcdos
Documents de la formation effectué au CDOS
IUT-SpaceInvaders
Refactoring d'un SpaceInvaders
lala-octagon
Octagon abstract domain
lala-octagon-pc
This repository makes it easy to compare lala-octogon and lala-pc for temporal constraints.
lala-parsing
Parsing combinatorial models into the lattice land's representation of logic formulas (lala-core AST).
lala-pc
Abstract propagators completion (PC) is an abstract domain encapsulating the propagation component of a constraint programming solver.
lint
This is a linter for Go source code.
nni
An open source AutoML toolkit for neural architecture search and hyper-parameter tuning.
pandoc-docker
Pandoc Docker Image for use in Gitlab CI builds
pycsp3
A Python Library for modeling combinatorial constrained problems
sonar-rust
SonarQube plugin to analyze Rust files
thibaultfalque.github.io
public website
turbo
A constraint solver purely on GPUs (CUDA)
XCSP3-CPP-Parser
XCSP3 Core Parser in C++
xcsp3-metadata
This repository contains metadata for instances from various XCSP competitions.