Pinned Repositories
AES_256-Python
An AES-256 file encryption tool written in Python 3
ChessAnalyzer
An in-depth chess game analyzer written with Python 3 using Stockfish engine
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.
Lean-Formalization
Formalization of some mathematical results using Lean 4 and Mathlib.
Lean-LIPO
Lean formalization of the proof on the upper bound of the probability for LIPO to reject a candidate.
LeanCal
This is a simple calendar manager written in Lean that sends notification using `notify-send` whenever an event is due. Compatible with Waybar.
pyGKLS
pyGKLS is a Python wrapper for the GKLS generator of global optimization test functions (Giavano et al., 2003).
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.
ViCTORIA
ViCTORIA is a UCI chess engine built from scratch using C++ 20.
gaetanserre's Repositories
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.
gaetanserre/AES_256-Python
An AES-256 file encryption tool written in Python 3
gaetanserre/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.
gaetanserre/LiSA
LiSA is a path tracing render engine developped in C++ using NVidia Optix.
gaetanserre/L2RPN-WCCI-Baselines
Baselines for the 2022 edition of the L2RPN challenge
gaetanserre/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.
gaetanserre/LIPO
This repository contains an implementation of LIPO, LIPO+, AdaLIPO, and AdaLIPO+.
gaetanserre/Typst-templates
gaetanserre/AoC
Repository for my solutions to the Advent of Code 2023 challenge in Lean 4.
gaetanserre/Lean-Formalization
Formalization of some mathematical results using Lean 4 and Mathlib.
gaetanserre/Lean-LIPO
Lean formalization of the proof on the upper bound of the probability for LIPO to reject a candidate.
gaetanserre/LeanCal
This is a simple calendar manager written in Lean that sends notification using `notify-send` whenever an event is due. Compatible with Waybar.
gaetanserre/pyGKLS
pyGKLS is a Python wrapper for the GKLS generator of global optimization test functions (Giavano et al., 2003).
gaetanserre/SBS-Proofs
Lean 4 proofs associated with the paper "Stein Boltzmann Sampling" by G. Serré, A. Kalogeratos, and N. Vayatis.
gaetanserre/Stochastic-Global-Optimization
Implementation on several global optimization algorithms.
gaetanserre/SVGD-analysis
Analysis of the paper A Non-Asymptotic Analysis for Stein Variational Gradient Descent, and detailed summary of the theoretical results of SVGD.
gaetanserre/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
gaetanserre/Chess-viewer
A easy-to-use GUI for chess engine powered by electron.
gaetanserre/ChroniX2Grid
gaetanserre/dotfiles
gaetanserre/FRR-ViT
gaetanserre/gaetanserre.github.io
gaetanserre/lean4web
gaetanserre/LeanInk
LeanInk is a command line helper tool for Alectryon which aims to ease the integration of Lean 4.
gaetanserre/lightdm-webkit2-theme-glorious
A sleek, modern and glorified LightDM webkit2 theme
gaetanserre/MKLean
Automating the creation of Lean 4 projects.
gaetanserre/multi-dim-woa
Python Whale Optimization Algorithm
gaetanserre/numpy_parser
Checks if a string is a valid Numpy function expression given a list of Numpy primitives.
gaetanserre/Sublime-theme-compiler
gaetanserre/typo_checker