gaetanserre

L2RPN-2022_PPO-Baseline

This repository contains the code to train the baseline agent provided in the 2022 edition of Learning to Run a Power Network and to recreate the experiments (as well as the figures) of the paper Reinforcement learning for Energies of the future and carbon neutrality: a Challenge Design.

AES_256-Python

An AES-256 file encryption tool written in Python 3

LiSA

LiSA is a path tracing render engine developped in C++ using NVidia Optix.

GAiA

GAiA is a UCI chess engine built with C++ 17, ONNX and Pytorch. It performs an in-depth analysis and uses a complex squeeze-and-excitation residual network to evaluate each chess board.

L2RPN-WCCI-Baselines

Baselines for the 2022 edition of the L2RPN challenge

LIPO

This repository contains an implementation of LIPO, LIPO-E, AdaLIPO, and AdaLIPO-E.

Typst-templates

ViTDet-to-Pose

This project is about verifying if using a plain Vision Transformer (ViT) as a backbone for human pose estimation can be a good alternative to the current state-of-the-art models.

AoC

Repository for my solutions to the Advent of Code 2023 challenges in Lean 4.

L2RPN-NEURIPS-2020

This my participation to the challenge L2RPN NEURIPS 2020 - Adaptability Track.

Lean-Formalization

Formalization of some mathematical results using Lean 4 and Mathlib.

SBS-Proofs

Lean 4 proofs associated with the paper "Stein Boltzmann Sampling" by G. Serré, A. Kalogeratos, and N. Vayatis.

Stochastic-Global-Optimization

Implementation on several global optimization algorithms.

SVGD-analysis

Analysis of the paper A Non-Asymptotic Analysis for Stein Variational Gradient Descent, and detailed summary of the theoretical results of SVGD.

Variational-Auto-Encoder

This repository aims to implement a Variational Auto Encoder to generate images that could belong to the MNIST dataset.

asahi-nerd-fonts

Iconic font aggregator, collection, & patcher. 3,600+ icons, 50+ patched fonts: Hack, Source Code Pro, more. Glyph collections: Font Awesome, Material Design Icons, Octicons, & more

Chess-viewer

A easy-to-use GUI for chess engine powered by electron.

ChroniX2Grid

dotfiles

FRR-ViT

gaetanserre.github.io

grid2gif

Kawa

Compilateur du langage objet Kawa vers l'assembleur MIPS en OCaml.

lean4web

lightdm-webkit2-theme-glorious

A sleek, modern and glorified LightDM webkit2 theme

MKLean

Automating the creation of Lean 4 projects.

multi-dim-woa

Python Whale Optimization Algorithm

numpy_parser

Checks if a string is a valid Numpy function expression given a list of Numpy primitives.

ray

A fork of the Ray framework that aims to implements two-players AlphaZero algorithm.

typo_checker