More
Block or Report
Block or report gabrielhdt
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuse
More
-
airspace_configuration Public
Repartitioning of aircrafts navigation sectors among positions using Monte Carlo tree search
-
beets Public
Forked from beetbox/beetsmusic library manager and MusicBrainz tagger
Python MIT License UpdatedJul 12, 2020 -
cristallo_mpsi Public archive
Cours de cristallographie de mpsi rédigé en LaTeX
TeX GNU General Public License v2.0 UpdatedFeb 6, 2016 -
Dedukti Public
Forked from Deducteam/DeduktiImplementation of the λΠ-calculus modulo rewriting
OCaml Other UpdatedOct 2, 2019 -
displaylink-debian Public
Forked from AdnanHodzic/displaylink-debianDisplayLink driver installer for Debian and Ubuntu based Linux distributions.
Shell GNU General Public License v3.0 UpdatedMar 16, 2020 -
dynamics_experiments Public
Computer experiments in mathematics and more specifically in dynamical systems
Python GNU General Public License v2.0 UpdatedFeb 29, 2016 -
europroofnet.github.io Public
Forked from EuroProofNet/europroofnet.github.ioSources of the EuroProofNet web site.
Ruby UpdatedJan 29, 2024 -
EweeStats Public archive
Git repo of python program EweeStats
Python GNU General Public License v3.0 UpdatedMay 31, 2014 -
-
GAMA Public archive
Vectorisation d'images
Python GNU General Public License v3.0 UpdatedJun 29, 2019 -
lambdapi Public
Forked from Deducteam/lambdapiProof assistant based on the λΠ-calculus modulo rewriting
OCaml Other UpdatedApr 28, 2024 -
Logipedia Public
Forked from Deducteam/LogipediaAn encyclopedia of proofs
OCaml UpdatedFeb 2, 2020 -
-
mandelbrot Public archive
Draws the Mandelbrot set thanks to python3
Python GNU General Public License v3.0 UpdatedMar 1, 2015 -
melpa Public
Forked from melpa/melpaRecipes and build machinery for the biggest Emacs package repo
Emacs Lisp Other UpdatedApr 19, 2020 -
MutopiaProject Public
Forked from MutopiaProject/MutopiaProjectOpen source sheet music
LilyPond UpdatedAug 13, 2017 -
nixpkgs Public
Forked from NixOS/nixpkgsNix Packages collection & NixOS
Nix MIT License UpdatedJun 14, 2024 -
ocspbt Public
Constraint satisfaction problem solver in ocaml using backtrack methods -- moved to gitlab
OCaml GNU General Public License v3.0 UpdatedJul 9, 2018 -
opam-repository Public
Forked from ocaml/opam-repositoryMain public package repository for opam, the source package manager of OCaml.
Shell Creative Commons Zero v1.0 Universal UpdatedNov 7, 2023 -
pratter Public
Mirror of <https://forge.tedomum.net/koizel/pratter>
-
PVS Public
Forked from SRI-CSL/PVSThe People's Verification System
Common Lisp GNU General Public License v2.0 UpdatedFeb 1, 2023 -
-
-
tiel Public
Traitement d'images pour l'étude de la luminosité
Python GNU General Public License v3.0 UpdatedAug 3, 2016 -
tuareg Public
Forked from ocaml/tuaregEmacs OCaml mode
Emacs Lisp GNU General Public License v2.0 UpdatedMay 22, 2020 -
void-packages Public
Forked from void-linux/void-packagesThe Void source packages collection
Shell Other UpdatedJun 27, 2023