David Madore's git repositories
list of git repositories
index
Name
Description
Owner
Idle
Links
android/UnicodeMap.git
Android Unicode Map app
git repository hosting
3 years
summary
log
tree
covid19.git
Links to information sources on COVID-19 outbreak
git repository hosting
3 years
summary
log
tree
damlengine.git
daml-to-html blog engine (Java)
git repository hosting
4 days
summary
log
tree
emergency.git
Emergency Daemon
git repository hosting
3 years
summary
log
tree
ephem.git
Astronomical ephemerides (unfinished)
git repository hosting
3 years
summary
log
tree
math/ordinal-zoo.git
A zoo of large countable ordinals
git repository hosting
3 years
summary
log
tree
teach/accq205.git
ACCQ205 (courbes algébriques)
git repository hosting
7 months
summary
log
tree
teach/inf105.git
INF105 (THL: théorie des langages)
git repository hosting
16 months
summary
log
tree
teach/inf110-lfi.git
INF110 (logique et fondements de l'informatique)
git repository hosting
10 months
summary
log
tree
teach/infmdi720.git
INFMDI720 (maths pour la crypto)
git repository hosting
3 years
summary
log
tree
teach/mdi349.git
MDI349 (géométrie algébrique)
git repository hosting
3 years
summary
log
tree
teach/mitro206.git
MITRO206 (théories des jeux)
git repository hosting
7 months
summary
log
tree