Christophe Garion's repositories
spark-by-example
SPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a programming language which is a formally verified subset of Ada
latexmk-pipe
A simple python-script in the spirit of rubber_pipe.py to be able to use latexmk with pipes
free-programming-books
:books: Freely available programming books
supaero-admin
LaTeX classes for SUPAERO administrative notes etc.
ace-isearch
A seamless bridge between isearch, ace-jump-mode, avy, and helm-swoop.
advanced-scala
Source code for Advanced Scala with Cats
awesome-ada
Awesome resources and other links related to the Ada programming language
awesome-ocaml
A curated collection of awesome OCaml tools, frameworks, libraries and articles.
cdf-sem-meca
Développement Coq pour le cours "Sémantiques mécanisées", Collège de France, 2019-2020
awesome-rust
A curated list of Rust code and resources.
creative-scala
Quick, graphical, fun introduction to programming in Scala.
elegant-emacs
A very minimal but elegant emacs (I think)
emacs.dz
Awesome emacs config files
essential-scala
Source code for Underscore's Essential Scala
essential-scala-code
Exercises and examples for the Essential Scala training course.
learn
Sources for learn.adacore.com
lets-prove-leftpad
Proving leftpad correct in a dozen different ways
lp-visu
A simple Python app to visualize via Matplotlib the progress of the simplex algorithm
mwe-travis-spark
A minimum working example for using SPARK 2014 and travis
shapeless-guide
The Type Astronaut's Guide to Shapeless
spark2014-cheat-sheet
A mini cheat sheet for SPARK 2014 beginners in LaTeX
spark_examples
Various examples of SPARK2014 code
terminals-are-sexy
💥 A curated list of Terminal frameworks, plugins & resources for CLI lovers.
the-power-of-prolog
Introduction to modern Prolog
ultimate-beamer-theme-list
A collection of custom Beamer themes
z3
The Z3 Theorem Prover