rloic Goto Github PK

aes-cryptanalysis-cp-xor-2019

Automation script to execute https://gitlab.inria.fr/source_code/aes-cryptanalysis-cp-xor-2019

bib_fetch

Bibtex fetcher for DBLP

bib_search

A command line tool to search bib entries in a bibtex file.

caramel

Caramel - C Compiler

choco-sat-bug

Simple project to reproduce a bug with scope visibility in choco-sat.

configuration

A configuratior script to customize a new laptop installation

docktical-secret-public

experiments

latex-dsl

pandoc

Rust pandoc AST library to create pandoc filters in Rust.

pfe

Sovling cryptanalysis problems using Constraint programming

pfe-experiments

Experiments about AbstractXOR constraint

phd-core

PhD Core code

phd-infrastructure

PhD Core Infrastructure

pit

ptut

Translator from pseudo code to code

pyblish

A publication tool to convert ipynb into journal paper

replikate

Python script to replikate experiments

replikate-exemple

Benchmark example for the "replikate" framework

rust-pagerank

A solution to the pagerank problem

rust-pandoc-filter

Pandoc filters written in Rust

rust-portfolio

My portfolio written in Rust (inspired from Hugo Framework).

rust-replikate

Rust script to run scientifical replicatable benchmarks.

sudoku-solver

Simple sudoku solver

td2-aaia

td_aaia_tsp_ls

Local Search for TSP

these-jcb

Sources LaTeX du document de thèse de Jean-Christophe Bach

thesis-experiments

tp-aaia-blocks-worl

tp-tsp-bb