13 results found Sort:

WTFAcademy
WTF-zk WTFAcademy
196
1.6k
mit
15
零知识证明入门教程。Comprehensive Zero-Knowledge Proofs Tutorial. #zk #WIP
zk zkp snark stark bitcoin zkproof ethereum zksnarks blockchain cryptography group-theory number-theory zero-knowledge elliptic-curves abstract-algebra zero-knowledge-proofs elliptic-curve-cryptography
Created 2023-11-29
519 commits to main branch, last one 18 days ago
zio
zio-prelude zio
115
451
apache-2.0
42
A lightweight, distinctly Scala take on functional abstractions, with tight ZIO integration
zio scala category-theory abstract-algebra functional-programming
Created 2020-03-02
1,136 commits to series/2.x branch, last one 3 days ago
oscar-system
Oscar.jl oscar-system
126
343
other
19
A comprehensive open source computer algebra system for computations in algebra, geometry, and number theory.
math julia maths mathematics julia-package abstract-algebra computer-algebra computer-algebra-system
Created 2019-09-20
7,544 commits to master branch, last one 11 hours ago
Risto-Stevcev
bastet Risto-Stevcev
26
211
bsd-3-clause
12
A ReasonML/Ocaml library for category theory and abstract algebra
monad monoid reason theory algebra prelude abstract category reasonml semiring semigroup bucklescript semigroupoid category-theory abstract-algebra
This repository has been archived (exclude archived)
Created 2017-12-27
210 commits to master branch, last one 3 years ago
Nemocas
Nemo.jl Nemocas
58
190
other
10
Julia bindings for the FLINT number theory C library
math julia algebra polynomials julia-package abstract-algebra computer-algebra
Created 2016-03-14
3,620 commits to master branch, last one 2 days ago
Nemocas
AbstractAlgebra.jl Nemocas
63
171
other
14
Generic abstract algebra functionality in pure Julia (no C dependencies)
math julia maths mathematics julia-package abstract-algebra computer-algebra
Created 2018-01-11
4,267 commits to master branch, last one 7 days ago
reiver
blockchain-reading-list reiver
17
109
unknown
12
A reading list on blockchain and related technologies, targeted at technical people who want a deep understanding of those topics.
bitcoin ethereum identity blockchain whitepapers cryptography peer-to-peer reading-list abstract-algebra distributed-computing
Created 2018-01-10
144 commits to charles/initial branch, last one 2 months ago
hooyuser
Solution-to-Algebra-Chapter-0 hooyuser
18
86
other
1
Solution to Algebra, Chapter 0
book latex notes algebra solution abstract-algebra
Created 2018-04-05
123 commits to master branch, last one 8 months ago
justinmeiners
efficient-programming-with-components justinmeiners
6
75
unknown
5
Course notes for Alexander Stepanov's teachings on design and usage of C++ STL.
cpp stl history cpp-concepts abstract-algebra generic-programming
Created 2021-07-28
235 commits to master branch, last one 7 months ago
madnight
awesome-category-theory madnight
3
72
mit
3
A curated list of awesome Category Theory resources.
monads functor monoids category functors applicative mathematics type-theory awesome-list category-theory abstract-algebra applied-category-theory natural-transformations category-theory-for-programmers
Created 2023-07-30
35 commits to main branch, last one 8 months ago
sdiehl
galois-field sdiehl
13
50
mit
11
Finite field and algebraic extension field arithmetic
galois-field prime-fields finite-fields abstract-algebra finite-field-arithmetic
Created 2019-06-11
228 commits to master branch, last one 9 months ago
chakravala
DirectSum.jl chakravala
4
50
agpl-3.0
4
Tangent bundle, vector space and Submanifold definition
math functor tensors manifold manifolds type-system linear-algebra tensor-algebra category-theory abstract-algebra compositionality applied-category-theory
Created 2019-02-08
89 commits to master branch, last one 18 days ago
narodnik
abstract-algebra-pinter-solutions narodnik
13
43
unknown
4
Solutions to exercises from "A Book of Abstract Algebra" by Charles C. Pinter
abstract-algebra
Created 2020-11-01
149 commits to master branch, last one about a year ago