Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with order-theory
A curated list of projects in awesome lists tagged with order-theory .
https://github.com/UniMath/agda-unimath
The agda-unimath library
category-theory commutative-algebra finite-groups graph-theory group-theory higher-group-theory homotopy-type-theory number-theory order-theory orthogonal-factorization-systems ring-theory species structured-types synthetic-homotopy-theory trees type-theories univalent-combinatorics univalent-foundations univalent-mathematics universal-algebra
Last synced: 04 Aug 2024
https://github.com/tomhanika/conexp-clj
A General-Purpose Tool for Formal Concept Analysis
clojure closure-systems formal-concept-analysis lattice order order-theory
Last synced: 03 Aug 2024