Pinned Repositories
jolt-b
Jolt with Basefold PCS over Goldilocks supported
lattice-zksnark
lattice-based zkSNARKs over libsnark [ISW21]
Expander
Expander, an open-source GKR prover designed for scaling large-scale parallel computing.
ExpanderCompilerCollection
Expander Compiler
corrections-for-HCFP-3rd.ed
Correction for HCFP 3rd edition's chinese translation.
haskell-reversi
intellij-darcula-theme
an emacs theme from clion's idea-dracula theme...
Pyskell
(Still in Construction) Haskell-like DSL inside Python
SF-solution
solution for software foundation
solution-haskell-craft-of-FP
My solution to ‘Haskell: The Craft of Functional Programming (3rd Edition)’
tonyfloatersu's Repositories
tonyfloatersu/solution-haskell-craft-of-FP
My solution to ‘Haskell: The Craft of Functional Programming (3rd Edition)’
tonyfloatersu/intellij-darcula-theme
an emacs theme from clion's idea-dracula theme...
tonyfloatersu/haskell-reversi
tonyfloatersu/Pyskell
(Still in Construction) Haskell-like DSL inside Python
tonyfloatersu/SF-solution
solution for software foundation
tonyfloatersu/corrections-for-HCFP-3rd.ed
Correction for HCFP 3rd edition's chinese translation.
tonyfloatersu/dotfile
tonyfloatersu/LDADE-python-package
Python package for LDADE project
tonyfloatersu/power-scheme-with-haskell
write scheme with haskell
tonyfloatersu/VE216_note
note for ve216 course
tonyfloatersu/VE482-AU2018-LAB-NOTE
VE482 LAB Note AU2018
tonyfloatersu/401_note
note for ve401 course
tonyfloatersu/Expander-Fork
tonyfloatersu/ExpanderCompilerCollection-Fork
Expander Compiler
tonyfloatersu/FastCanvas
A small thing just for automating Canvas
tonyfloatersu/GuitarTabs
Just some tabs that I practice and keep track of the progress
tonyfloatersu/larkworks
a lattice lib for building snarks
tonyfloatersu/ncmdump
netease cloud music copyright protection file dump
tonyfloatersu/openbilibili-go-common
听说这是来自 https://github.com/openbilibili/go-common/ 的 “哔哩哔哩 bilibili 网站后台工程 源码”，不过咱也不知道这是啥。