Anthony Su (tonyfloatersu)

tonyfloatersu

Geek Repo

Company:@algorand @ahangsu

Home Page:https://nomadtype.ninja

Github PK Tool:Github PK Tool

Anthony Su's repositories

solution-haskell-craft-of-FP

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

Language:HaskellLicense:MITStargazers:14Issues:3Issues:2

intellij-darcula-theme

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

Language:Emacs LispLicense:MITStargazers:4Issues:2Issues:0
Language:HaskellLicense:BSD-3-ClauseStargazers:2Issues:2Issues:0

Pyskell

(Still in Construction) Haskell-like DSL inside Python

SF-solution

solution for software foundation

Language:CoqStargazers:2Issues:1Issues:0

corrections-for-HCFP-3rd.ed

Correction for HCFP 3rd edition's chinese translation.

Stargazers:1Issues:0Issues:0
Language:Emacs LispStargazers:1Issues:1Issues:0

LDADE-python-package

Python package for LDADE project

Language:PythonLicense:MITStargazers:1Issues:2Issues:5

power-scheme-with-haskell

write scheme with haskell

Language:HaskellLicense:BSD-3-ClauseStargazers:1Issues:1Issues:0

VE216_note

note for ve216 course

Stargazers:1Issues:0Issues:0

VE482-AU2018-LAB-NOTE

VE482 LAB Note AU2018

Language:TeXStargazers:1Issues:1Issues:0

401_note

note for ve401 course

Stargazers:0Issues:1Issues:0

circ

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

Language:RustLicense:NOASSERTIONStargazers:0Issues:0Issues:0

FastCanvas

A small thing just for automating Canvas

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

Goat-hash

The Ajtai hash function Over Goldilocks

Language:RustStargazers:0Issues:0Issues:0

Goldilocks

Implementation of Goldilocks and its extension fields for both Halo2 traits and arkworks traits

Stargazers:0Issues:0Issues:0

GuitarTabs

Just some tabs that I practice and keep track of the progress

Stargazers:0Issues:1Issues:0

ncmdump

netease cloud music copyright protection file dump

Stargazers:0Issues:0Issues:0

openbilibili-go-common

听说这是来自 https://github.com/openbilibili/go-common/ 的 “哔哩哔哩 bilibili 网站后台工程 源码”,不过咱也不知道这是啥。

Language:GoStargazers:0Issues:0Issues:0

Plonky3

A collection of libraries related to polynomial IOPs (PIOPs)

Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0
Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0

spacemacs-fork

A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!

Language:Emacs LispLicense:GPL-3.0Stargazers:0Issues:0Issues:0

teal-mode

Emacs mode for Algorand's TEAL code.

License:GPL-3.0Stargazers:0Issues:0Issues:0
Language:CStargazers:0Issues:1Issues:0
Language:Jupyter NotebookStargazers:0Issues:0Issues:0