#区块链#零知识证明入门教程。Comprehensive Zero-Knowledge Proofs Tutorial. #zk #WIP
A lightweight, distinctly Scala take on functional abstractions, with tight ZIO integration
A comprehensive open source computer algebra system for computations in algebra, geometry, and number theory.
A ReasonML/Ocaml library for category theory and abstract algebra
Julia bindings for the FLINT number theory C library
Generic abstract algebra functionality in pure Julia (no C dependencies)
📗 A visualization of key structures in abstract algebra.
#Awesome#A curated list of awesome Category Theory resources.
#区块链#A reading list on blockchain and related technologies, targeted at technical people who want a deep understanding of those topics.
#博客#Solution to Algebra, Chapter 0
Course notes for Alexander Stepanov's teachings on design and usage of C++ STL.
Tangent bundle, vector space and Submanifold definition
Solutions to exercises from "A Book of Abstract Algebra" by Charles C. Pinter
#算法刷题#Lectures for the "Problem Solving" Class at Nanjing University.
#算法刷题#Books on various domains of computer science
E-Books Library for someone who interested in Pure Mathematics.