Pinned Repositories
AudioPlayer
Player audio
biboumi
IRC gateway for XMPP
CoqProofs
Various proofs in Coq.
django-cas-server
A Django Central Authentication Service server implementing the CAS Protocol 3.0 Specification
docs
An open source project for Gogs documentation.
inspircd-contrib
Third-party InspIRCd module repository.
Ligne18
ptrace_pcap
Licensed under the GNU GPLv3 available here : https://www.gnu.org/licenses/gpl-3.0.html
PythonOneliners
Pourquoi écrire deux lignes ? Vous pourriez être piégé dans les boucles.
satsolver
A simple SAT solver.
esum's Repositories
esum/Ligne18
esum/ptrace_pcap
Licensed under the GNU GPLv3 available here : https://www.gnu.org/licenses/gpl-3.0.html
esum/PythonOneliners
Pourquoi écrire deux lignes ? Vous pourriez être piégé dans les boucles.
esum/AudioPlayer
Player audio
esum/biboumi
IRC gateway for XMPP
esum/CoqProofs
Various proofs in Coq.
esum/django-cas-server
A Django Central Authentication Service server implementing the CAS Protocol 3.0 Specification
esum/docs
An open source project for Gogs documentation.
esum/inspircd-contrib
Third-party InspIRCd module repository.
esum/internship2019
esum/satsolver
A simple SAT solver.
esum/ircbots
esum/math-comp
Mathematical Components
esum/Mediterranee
Portage java du jeu Mediterranee http://fr.wikipedia.org/wiki/M%C3%A9diterran%C3%A9e_(jeu)
esum/mH_maps
esum/moin
esum/nixpkgs
Nix Packages collection & NixOS
esum/ProjetEuler
esum/specialFunctionsForm
esum/Sublime-Coq
Sublime Text 3 extensions for working with the Coq programming language.
esum/tcpmux
The reference implementation for RFC-1078 (TCPMUX) from 1988
esum/test
test