-
equational_theories Public
Forked from teorth/equational_theoriesA project to map out the relations between different equational theories of Magmas.
Lean Apache License 2.0 UpdatedMay 9, 2025 -
-
-
-
spqr Public
A web application to learn basic Russian words, for Italian speakers
-
multi-table-tournament Public
Web application to manage a Swiss-system tournament with multiple distinct tables
Python GNU General Public License v3.0 UpdatedApr 22, 2022 -
-
arithmat Public
SageMath implementation of arithmetic matroids and toric arrangements
-
-
phylogenetic-consensus Public
Impossibility results on stability of phylogenetic consensus methods
Python GNU General Public License v3.0 UpdatedSep 28, 2018 -
bridge-scoring Public
Scoring of a bridge tournament
Python GNU General Public License v3.0 UpdatedSep 24, 2018 -
precise-matchings Public
Construction of precise matchings for the local homology of finite and affine Artin groups
-
-
PyGObject-Tutorial Public
Forked from sebp/PyGObject-TutorialTutorial for using GTK+ 3 in Python
Python Other UpdatedSep 1, 2015 -
-
appunti-tdc Public
Appunti del corso di Teoria descrittiva della complessità
TeX UpdatedDec 21, 2014 -
{{ message }}