Haoxuan "Aaron" Yue's repositories
furiganalize-epub
Annotate EPUB books with furigana
furiganalize_epub_interactive
Annotate EPUB books with furigana (rewrite of the previous furiganalize-epub)
stuco_score
A REPL for StuCo grade handling
vim-mltools
HYPE!
hott-practice
Trying to follow the HoTT book to mechanize as many things as possible that I'm unsure of
Language:AgdaUnlicense000
lablgtk
LablGTK 2 and 3: an interface to the GIMP Tool Kit
NOASSERTION000
ml
things I'm thinking about/working on
000
monad_perf_bench
Running some benchmarks for different state monad implementations on the OCaml compiler
Language:OCaml000
ocaml-mecab-dune
A work in progress port of the mecab library into OCaml through the Ctypes library
BSD-3-Clause000
polyml
Poly/ML
Language:Standard MLLGPL-2.1000