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