David Madore's git repositories

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