Gaspi

Gaspard Férey's repositories

pvs2C

Language:Common Lisp1 30

arretRTC

Carte affichant les zones concernées par l'arrêt du RTC, par date d'arrêt.

Language:JavaScriptMIT010

BaieDesPirates

Language:Python020

BGonCoq

Coq models for board games

Language:Coq020

biblio-crawl

Language:JavaScript020

Contribution

Language:TeX020

Dedukti

Implementation of the λΠ-calculus modulo rewriting

Language:OCamlNOASSERTION020

Dedukti-bench

Language:Shell020

dedukti-js

Language:JavaScript010

dklib

General purpose, hand-written, dedukti files

Language:Makefile000

EA-2

Projet d'EA : Attaque de Sidelnikov-Shestakov

Language:TeX030

MachineLearning

PESTO WebMining

Language:Python000

Gaspi.github.io

Language:JavaScript000

Genealogy

Genealogy tree (SVG + JavaScript) generator in PHP(sadly...)

Language:PHPGPL-2.0020

gradable-web-mcq

Gradable Secure MCQ tool for Teachers

Language:JavaScriptMIT010

human-resource-machine-solutions

Human Resource Machine solutions

Language:Assembly000

LernaeanHydra

Héraclès crawler

Language:PythonGPL-2.0000

Logipedia

An encyclopedia of proofs

Language:OCaml010

my-project-euler

Language:Python010

MyEmacsConfig

Language:Emacs Lisp000

panda3d-draft

Language:Python000

picross-solver

Language:JavaScriptMIT010

PyLF

Language:Python000

rasp-temperature-record

Language:HTML010

raspberry

Language:Python020

Report

Language:TeX020

seloger

Language:Python000

sncf_crawler

Language:Python020

StarWars

Language:OCaml000

WebCrawler

PESTO Webmining

Language:Python030