awesome-category-theory

A comprehensive open source computer algebra system for computations in algebra, geometry, and number theory.

Generic abstract algebra functionality in pure Julia (no C dependencies)

A reading list on blockchain and related technologies, targeted at technical people who want a deep understanding of those topics.

Typed Spreadsheet UI library for ScalaJS

A list of works and resources about double category theory, with a particular focus on applications.

Bayesian inference on wiring diagrams.

Dendriform di-algebra algorithms to compute using Loday's arithmetic on groves of planar binary trees

E-Books Library for someone who interested in Pure Mathematics.

Computational Semigroup Theory Software System written in Clojure

Abstract algebra library for Python (Work in progress)