Pinned Repositories
arretRTC
Carte affichant les zones concernées par l'arrêt du RTC, par date d'arrêt.
baby-manager
BaieDesPirates
BGonCoq
Coq models for board games
biblio-crawl
Contribution
Dedukti
Implementation of the λΠ-calculus modulo rewriting
Dedukti-bench
dedukti-js
pvs2C
Gaspi's Repositories
Gaspi/arretRTC
Carte affichant les zones concernées par l'arrêt du RTC, par date d'arrêt.
Gaspi/baby-manager
Gaspi/BaieDesPirates
Gaspi/BGonCoq
Coq models for board games
Gaspi/biblio-crawl
Gaspi/Contribution
Gaspi/Dedukti
Implementation of the λΠ-calculus modulo rewriting
Gaspi/Dedukti-bench
Gaspi/dedukti-js
Gaspi/dklib
General purpose, hand-written, dedukti files
Gaspi/MachineLearning
PESTO WebMining
Gaspi/Gaspi.github.io
Gaspi/Genealogy
Genealogy tree (SVG + JavaScript) generator in PHP(sadly...)
Gaspi/gradable-web-mcq
Gradable Secure MCQ tool for Teachers
Gaspi/human-resource-machine-solutions
Human Resource Machine solutions
Gaspi/LernaeanHydra
Héraclès crawler
Gaspi/LF-in-browser
Logical Framework IDE as Single Page Application
Gaspi/Logipedia
An encyclopedia of proofs
Gaspi/my-project-euler
Gaspi/MyEmacsConfig
Gaspi/panda3d-draft
Gaspi/picross-solver
Gaspi/PyLF
Gaspi/rasp-temperature-record
Gaspi/raspberry
Gaspi/seloger
Gaspi/sncf_crawler
Gaspi/sspcloud-init-scripts
Gaspi/StarWars
Gaspi/WebCrawler
PESTO Webmining