2 results found Sort:

UniMath
agda-unimath UniMath
70
225
mit
9
The agda-unimath library
trees species ring-theory graph-theory group-theory order-theory finite-groups number-theory type-theories category-theory structured-types universal-algebra commutative-algebra higher-group-theory homotopy-type-theory univalent-foundations univalent-mathematics univalent-combinatorics synthetic-homotopy-theory orthogonal-factorization-systems
Created 2021-11-19
2,866 commits to master branch, last one 18 days ago
tomhanika
conexp-clj tomhanika
25
57
epl-1.0
5
A General-Purpose Tool for Formal Concept Analysis
data order clojure lattice data-science order-theory data-analysis closure-systems conceptual-knowledge formal-concept-analysis
Created 2011-11-09
2,840 commits to master branch, last one 3 months ago