Abstractions and constructions from math (Category theory, Abstract algebra) implementations in Scala, minimal description, links to good explanations, links to implementations in other FP languages: Haskell, Idris, Purescript, non FP too: Java, C++ and to formalizations in proof assistants: Coq (UniMath, HoTT book), Cubical Agda.

A ReasonML/Ocaml library for category theory and abstract algebra

📗 A visualization of key structures in abstract algebra.

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

Finite field and algebraic extension field arithmetic

Tangent bundle / vector space category and functors

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

Exercises from Stepanov and Rose.

Lectures for the "Problem Solving" Class at Nanjing University.

This library tries to push categorical representations to their limit in Scala. I don’t expect it to be practical.

Paper reading list

Learn pure math with agda 🚀

Abstract algebra library for Python (Work in progress)

💫 A library for working with ring-like algebraic structures that implements some common semirings

Computational Semigroup Theory Software System written in Clojure

Latin Squares and Their Applications to Cryptography by N. O. Schmidt

Functional linear algebra.

Store some work during my bachelor degree in FMI

Solutions to problems in "Category Theory for Programmers"

Program to generate random semigroup

Solutions/Code for Elements of Programming

UMN Spring 2019 Math 4281 notes: Introduction to Modern Algebra

Julia package for manipulating braids, including reductions and representations

Integer based abelian group implementation for Go.

Lwt implementations for bastet

A technical paper introducing Coding Theory

Polynomials over field Z/2Z.