8000 gaetanserre (Gaëtan Serré) · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View gaetanserre's full-sized avatar
🃏
🃏
24 followers · 18 following

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull SharkAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull SharkAchievement: Arctic Code Vault Contributor

Highlights

  • Pro

Block or report gaetanserre

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned Loading

  1. SBS-Proofs SBS-Proofs Public

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

    Lean

  2. Lean-LIPO Lean-LIPO Public

    Lean formalization of the proof on the upper bound of the probability for LIPO to reject a candidate.

    Lean

  3. GOB GOB Public

    GOB is a collection of global optimization algorithms implemented in C++ and linked with Python.

    C++

  4. Lean-Formalization Lean-Formalization Public

    Formalization of some mathematical results using Lean 4 and Mathlib.

    Lean

  5. LeanCal LeanCal Public

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

    Lean 1 1

  6. pyGKLS pyGKLS Public

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

    C++

0