Pinned Repositories
dice-passphrase
Program to create a random passphrase
little-guide-on-soft-eng
A very short guide to summarize the essential rules of good Software Engineering
mlang
Compiler for the M language, used to compute the income tax of French taxpayers
re-demexp
Re-engineering of demexp software (voting software for direct democracy)
thunderbird-automatic-encryption
ocitysmap
Mirror of ocitysmap repository at savannah.nongnu.org
maposmatic
Mirror of maposmatic repository at savannah.nongnu.org
spark_vstte_2013
Participation to VSTTE 2013 competition with SPARK 2014 and GNATprove
vscomp_2014_proofinuse
Submission to the VSComp 2014 competition from ProofInUse team
dmentre's Repositories
dmentre/mlang
Compiler for the M language, used to compute the income tax of French taxpayers
dmentre/little-guide-on-soft-eng
A very short guide to summarize the essential rules of good Software Engineering
dmentre/dice-passphrase
Program to create a random passphrase
dmentre/re-demexp
Re-engineering of demexp software (voting software for direct democracy)
dmentre/thunderbird-automatic-encryption