#Number-theory

WTFAcademy

WTF-zk

零知识证明入门教程。Comprehensive Zero-Knowledge Proofs Tutorial. #zk #WIP

alexanderskulikov

discrete-math-python-scripts

Python code snippets from Discrete Mathematics for Computer Science specialization at Coursera

dancinlab

hexa-lang

💎 Native compiler with atlas-bound theorems — 8 strict-lint stages · citation-enforced · no LLVM · self-hosting native fixpoint

status-im

nim-stint

Stack-based arbitrary-precision integers - Fast and portable with natural syntax for resource-restricted devices.