Christophe Garion (@tofgarion)
github

tofgarion

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    154
  • Global Rank 145,736 (Top 6 %)
  • Followers 17
  • Registered almost 15 years ago
  • Most used languages
    Ada
         33.3 %
    Python
         33.3 %
    TeX
         33.3 %
  • Location ๐Ÿ‡ซ๐Ÿ‡ท France
  • Country Total Rank 3,809
  • Country Ranking
    Ada
         1
    TeX
         718
    Python
         7,715

Top repositories

1

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
Ada
150
star
2

latexmk-pipe

A simple python-script in the spirit of rubber_pipe.py to be able to use latexmk with pipes
Python
2
star
3

supaero-admin

LaTeX classes for SUPAERO administrative notes etc.
TeX
1
star