13 results found Sort:

198
1.6k
mit
15
零知识证明入门教程。Comprehensive Zero-Knowledge Proofs Tutorial. #zk #WIP
Created 2023-11-29
519 commits to main branch, last one about a month ago
115
454
apache-2.0
42
A lightweight, distinctly Scala take on functional abstractions, with tight ZIO integration
Created 2020-03-02
1,153 commits to series/2.x branch, last one a day ago
129
347
other
20
A comprehensive open source computer algebra system for computations in algebra, geometry, and number theory.
Created 2019-09-20
7,575 commits to master branch, last one 2 days ago
26
211
bsd-3-clause
12
A ReasonML/Ocaml library for category theory and abstract algebra
This repository has been archived (exclude archived)
Created 2017-12-27
210 commits to master branch, last one 3 years ago
58
191
other
10
Julia bindings for the FLINT number theory C library
Created 2016-03-14
3,632 commits to master branch, last one a day ago
Generic abstract algebra functionality in pure Julia (no C dependencies)
Created 2018-01-11
4,282 commits to master branch, last one a day ago
A reading list on blockchain and related technologies, targeted at technical people who want a deep understanding of those topics.
Created 2018-01-10
144 commits to charles/initial branch, last one 3 months ago
Solution to Algebra, Chapter 0
Created 2018-04-05
123 commits to master branch, last one 8 months ago
Course notes for Alexander Stepanov's teachings on design and usage of C++ STL.
Created 2021-07-28
235 commits to master branch, last one 7 months ago
Tangent bundle, vector space and Submanifold definition
Created 2019-02-08
89 commits to master branch, last one about a month ago
Finite field and algebraic extension field arithmetic
Created 2019-06-11
228 commits to master branch, last one 9 months ago
Solutions to exercises from "A Book of Abstract Algebra" by Charles C. Pinter
Created 2020-11-01
149 commits to master branch, last one about a year ago