thibaultfalque Goto Github PK

.github

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

cosoco

COmpact SOlver for COnstraint problems

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

hw

Official Hedgewars mirror for GitHub!

iut-bomberman

Projet du Semestre 4 : Réalisation d'un bomberman en SFML

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).

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

pysat

A toolkit for SAT-based prototyping in Python

rpg

Création d'un RPG

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 repo contains some metadata about xcsp3 instances.