Anthony Su's repositories
solution-haskell-craft-of-FP
My solution to ‘Haskell: The Craft of Functional Programming (3rd Edition)’
intellij-darcula-theme
an emacs theme from clion's idea-dracula theme...
SF-solution
solution for software foundation
corrections-for-HCFP-3rd.ed
Correction for HCFP 3rd edition's chinese translation.
LDADE-python-package
Python package for LDADE project
power-scheme-with-haskell
write scheme with haskell
VE216_note
note for ve216 course
VE482-AU2018-LAB-NOTE
VE482 LAB Note AU2018
circ
(Cir)cuit (C)ompiler. Compiling high-level languages to circuits for SMT, zero-knowledge proofs, and more.
FastCanvas
A small thing just for automating Canvas
Goat-hash
The Ajtai hash function Over Goldilocks
Goldilocks
Implementation of Goldilocks and its extension fields for both Halo2 traits and arkworks traits
GuitarTabs
Just some tabs that I practice and keep track of the progress
ncmdump
netease cloud music copyright protection file dump
openbilibili-go-common
听说这是来自 https://github.com/openbilibili/go-common/ 的 “哔哩哔哩 bilibili 网站后台工程 源码”,不过咱也不知道这是啥。
Plonky3
A collection of libraries related to polynomial IOPs (PIOPs)
spacemacs-fork
A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!
teal-mode
Emacs mode for Algorand's TEAL code.