Popular repositories

1. spark-by-example spark-by-example Public

   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 16

2. latexmk-pipe latexmk-pipe Public

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

   Python 2

3. supaero-admin supaero-admin Public

   LaTeX classes for SUPAERO administrative notes etc.

   TeX 1 1

4. free-programming-books free-programming-books Public

   Forked from EbookFoundation/free-programming-books

   📚 Freely available programming books

   1 1

5. git-sync git-sync Public

   Forked from simonthum/git-sync

   Safe and simple one-script git synchronization

   Shell 1

6. mobileorg-android mobileorg-android Public

   Forked from matburt/mobileorg-android

   An implementation of MobileOrg for the Android platform

   Java