12 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
437 commits to main branch, last one 2 days ago
A lightweight, distinctly Scala take on functional abstractions, with tight ZIO integration
Created
2020-03-02
1,088 commits to series/2.x branch, last one 24 hours ago
A comprehensive open source computer algebra system for computations in algebra, geometry, and number theory.
Created
2019-09-20
7,229 commits to master branch, last one 2 days 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 various mathematical libraries (including flint2)
Created
2016-03-14
3,521 commits to master branch, last one a day ago
Generic abstract algebra functionality in pure Julia (no C dependencies)
Created
2018-01-11
4,149 commits to master branch, last one 7 days ago
Solution to Algebra, Chapter 0
Created
2018-04-05
123 commits to master branch, last one 3 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 2 months ago
A curated list of awesome Category Theory resources.
Created
2023-07-30
35 commits to main branch, last one 4 months ago
Tangent bundle, vector space and Submanifold definition
Created
2019-02-08
85 commits to master branch, last one 22 days ago
Finite field and algebraic extension field arithmetic
Created
2019-06-11
228 commits to master branch, last one 4 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