aes-electron

File encryption and PDF digital signature software made with Electron.

aes_256-python

An AES-256 file encryption tool written in Python 3

alectryon

A collection of tools for writing technical documents that mix Coq code and prose.

aoc

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

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.

chessanalyzer

An in-depth chess game analyzer written with Python 3 using Stockfish engine

chronix2grid

dotfiles

formal-language-algorithms

Algorithms for formal language written with Python 3 with nltk

frr-vit

gaetanserre.github.io

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.

grid2gif

kawa

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

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.

l2rpn-neurips-2020

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

l2rpn-wcci-baselines

Baselines for the 2022 edition of the L2RPN challenge

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.

lean4web

leancal

This is a simple calendar manager written in Lean that sends notification using `notify-send` whenever an event is due. Compatible with Waybar.

leanink

LeanInk is a command line helper tool for Alectryon which aims to ease the integration of Lean 4.

lightdm-webkit2-theme-glorious

A sleek, modern and glorified LightDM webkit2 theme

lipo

This repository contains an implementation of LIPO, LIPO+, AdaLIPO, and AdaLIPO+.

lisa

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

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.

pygkls

pyGKLS is a Python wrapper for the GKLS generator of global optimization test functions (Giavano et al., 2003).