Gaëtan Serré's Projects
File encryption and PDF digital signature software made with Electron.
An AES-256 file encryption tool written in Python 3
A collection of tools for writing technical documents that mix Coq code and prose.
Repository for my solutions to the Advent of Code 2023 challenge in Lean 4.
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
A easy-to-use GUI for chess engine powered by electron.
An in-depth chess game analyzer written with Python 3 using Stockfish engine
Algorithms for formal language written with Python 3 with nltk
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.
Compilateur du langage objet Kawa vers l'assembleur MIPS en OCaml.
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.
This my participation to the challenge L2RPN NEURIPS 2020 - Adaptability Track.
Baselines for the 2022 edition of the L2RPN challenge
Formalization of some mathematical results using Lean 4 and Mathlib.
Lean formalization of the proof on the upper bound of the probability for LIPO to reject a candidate.
This is a simple calendar manager written in Lean that sends notification using `notify-send` whenever an event is due. Compatible with Waybar.
LeanInk is a command line helper tool for Alectryon which aims to ease the integration of Lean 4.
A sleek, modern and glorified LightDM webkit2 theme
This repository contains an implementation of LIPO, LIPO+, AdaLIPO, and AdaLIPO+.
LiSA is a path tracing render engine developped in C++ using NVidia Optix.
Automating the creation of Lean 4 projects.
Python Whale Optimization Algorithm
Checks if a string is a valid Numpy function expression given a list of Numpy primitives.
pyGKLS is a Python wrapper for the GKLS generator of global optimization test functions (Giavano et al., 2003).