13 results found Sort:
- Filter by Primary Language:
- Julia (4)
- HTML (2)
- OCaml (1)
- Scala (1)
- TeX (1)
- Jupyter Notebook (1)
- Haskell (1)
- +
零知识证明入门教程。Comprehensive Zero-Knowledge Proofs Tutorial. #zk #WIP
Created
2023-11-29
519 commits to main branch, last one 2 months ago
A lightweight, distinctly Scala take on functional abstractions, with tight ZIO integration
Created
2020-03-02
1,158 commits to series/2.x branch, last one 9 days ago
A comprehensive open source computer algebra system for computations in algebra, geometry, and number theory.
Created
2019-09-20
7,640 commits to master branch, last one a day ago
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
Julia bindings for the FLINT number theory C library
Created
2016-03-14
3,665 commits to master branch, last one 2 days ago
Generic abstract algebra functionality in pure Julia (no C dependencies)
Created
2018-01-11
4,310 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 4 months ago
A curated list of awesome Category Theory resources.
Created
2023-07-30
35 commits to main branch, last one 10 months ago
Solution to Algebra, Chapter 0
Created
2018-04-05
123 commits to master branch, last one 9 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 8 months ago
Tangent bundle, vector space and Submanifold definition
Created
2019-02-08
90 commits to master branch, last one about an hour ago
Finite field and algebraic extension field arithmetic
Created
2019-06-11
228 commits to master branch, last one 10 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