-
ceno Public
Forked from scroll-tech/cenoAccelerated Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol
Rust Apache License 2.0 UpdatedJun 29, 2025 -
Expander-Fork Public
Forked from PolyhedraZK/ExpanderRust GNU Affero General Public License v3.0 UpdatedApr 12, 2025 -
ExpanderCompilerCollection-Fork Public
Forked from PolyhedraZK/ExpanderCompilerCollectionExpander Compiler
Rust GNU Affero General Public License v3.0 UpdatedDec 24, 2024 -
-
larkworks Public
Forked from zhenfeizhang/larkworksa lattice lib for building snarks
Rust MIT License UpdatedMay 20, 2024 -
-
GuitarTabs Public
Just some tabs that I practice and keep track of the progress
1 UpdatedSep 13, 2020 -
-
-
intellij-darcula-theme Public
an emacs theme from clion's idea-dracula theme...
-
LDADE-python-package Public archive
Python package for LDADE project
-
power-scheme-with-haskell Public archive
write scheme with haskell
-
haskell-reversi Public archive
-
corrections-for-HCFP-3rd.ed Public archive
Correction for HCFP 3rd edition's chinese translation.
1 UpdatedSep 2, 2017 -
solution-haskell-craft-of-FP Public
My solution to ‘Haskell: The Craft of Functional Programming (3rd Edition)’
-
-
FastCanvas Public
Forked from Evan-Zhao/FastCanvasA small thing just for automating Canvas
Haskell BSD 3-Clause "New" or "Revised" License UpdatedMay 25, 2017
{{ message }}