tonyfloatersu Goto Github PK

401_note

note for ve401 course

circ

(Cir)cuit (C)ompiler. Compiling high-level languages to circuits for SMT, zero-knowledge proofs, and more.

corrections-for-hcfp-3rd.ed

Correction for HCFP 3rd edition's chinese translation.

dotfile

enum-assoc

Rust procedural macro to associate constants with enum variants.

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

haskell-reversi

intellij-darcula-theme

an emacs theme from clion's idea-dracula theme...

ldade-python-package

Python package for LDADE project

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)

poseidon

power-scheme-with-haskell

write scheme with haskell

pyskell

(Still in Construction) Haskell-like DSL inside Python

risc0

RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.

sf-solution

solution for software foundation

solution-haskell-craft-of-fp

My solution to ‘Haskell: The Craft of Functional Programming (3rd Edition)’

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.

usaco-solutions

ve216_note

note for ve216 course

ve482-au2018-lab-note

VE482 LAB Note AU2018

zk-experiments