Pinned Repositories
airspace_configuration
Repartitioning of aircrafts navigation sectors among positions using Monte Carlo tree search
alsci
beets
music library manager and MusicBrainz tagger
cristallo_mpsi
Cours de cristallographie de mpsi rédigé en LaTeX
Dedukti
Implementation of the λΠ-calculus modulo rewriting
displaylink-debian
DisplayLink driver installer for Debian and Ubuntu based Linux distributions.
dynamics_experiments
Computer experiments in mathematics and more specifically in dynamical systems
europroofnet.github.io
Sources of the EuroProofNet web site.
EweeStats
Git repo of python program EweeStats
pratter
Mirror of <https://forge.tedomum.net/koizel/pratter>
gabrielhdt's Repositories
gabrielhdt/pratter
Mirror of <https://forge.tedomum.net/koizel/pratter>
gabrielhdt/airspace_configuration
Repartitioning of aircrafts navigation sectors among positions using Monte Carlo tree search
gabrielhdt/alsci
gabrielhdt/beets
music library manager and MusicBrainz tagger
gabrielhdt/cristallo_mpsi
Cours de cristallographie de mpsi rédigé en LaTeX
gabrielhdt/Dedukti
Implementation of the λΠ-calculus modulo rewriting
gabrielhdt/displaylink-debian
DisplayLink driver installer for Debian and Ubuntu based Linux distributions.
gabrielhdt/dynamics_experiments
Computer experiments in mathematics and more specifically in dynamical systems
gabrielhdt/europroofnet.github.io
Sources of the EuroProofNet web site.
gabrielhdt/EweeStats
Git repo of python program EweeStats
gabrielhdt/GABA
BE web species
gabrielhdt/GAMA
Vectorisation d'images
gabrielhdt/lambdapi
Proof assistant based on the λΠ-calculus modulo rewriting
gabrielhdt/Logipedia
An encyclopedia of proofs
gabrielhdt/LogiPPedia
Logipedia ppterm to latex
gabrielhdt/mandelbrot
Draws the Mandelbrot set thanks to python3
gabrielhdt/melpa
Recipes and build machinery for the biggest Emacs package repo
gabrielhdt/MutopiaProject
Open source sheet music
gabrielhdt/nixpkgs
Nix Packages collection & NixOS
gabrielhdt/ocspbt
Constraint satisfaction problem solver in ocaml using backtrack methods -- moved to gitlab
gabrielhdt/opam-repository
Main public package repository for opam, the source package manager of OCaml.
gabrielhdt/PVS
The People's Verification System
gabrielhdt/ralbumpd
gabrielhdt/tfidf
TF-IDF algorithm
gabrielhdt/tiel
Traitement d'images pour l'étude de la luminosité
gabrielhdt/tuareg
Emacs OCaml mode
gabrielhdt/void-packages
The Void source packages collection