Giters
Haoxuan "Aaron" Yue (haoxuany)

haoxuany

Geek Repo

12

followers

10

following

29

stars

Location:Facebook

Home Page:http://www.andrew.cmu.edu/user/haoxuany/

Github PK Tool:Github PK Tool

Haoxuan "Aaron" Yue's repositories

furiganalize-epub

Annotate EPUB books with furigana

Language:Standard MLLicense:Apache-2.0Stargazers:20Issues:2Issues:2

anki_image_search

Language:PythonLicense:GPL-2.0Stargazers:9Issues:5Issues:6

jpndrill

Language:OCamlLicense:Apache-2.0Stargazers:2Issues:0Issues:0

course-website

Language:PythonStargazers:1Issues:0Issues:0

olddotfiles

Language:VimLStargazers:1Issues:0Issues:0

stuco_score

A REPL for StuCo grade handling

Language:PythonStargazers:1Issues:0Issues:0

vim-mltools

HYPE!

Language:VimLStargazers:1Issues:0Issues:0

ctrplayocr

Language:CStargazers:0Issues:0Issues:0

furiganalize_epub_interactive

Annotate EPUB books with furigana (rewrite of the previous furiganalize-epub)

Language:OCamlLicense:MITStargazers:0Issues:0Issues:0

fzf

:cherry_blossom: A command-line fuzzy finder

Language:GoLicense:MITStargazers:0Issues:2Issues:0

haoxuany.github.io

Stargazers:0Issues:0Issues:0

hott-practice

Trying to follow the HoTT book to mechanize as many things as possible that I'm unsure of

Language:AgdaLicense:UnlicenseStargazers:0Issues:0Issues:0

lablgtk

LablGTK 2 and 3: an interface to the GIMP Tool Kit

License:NOASSERTIONStargazers:0Issues:0Issues:0

mc

Language:Standard MLStargazers:0Issues:2Issues:0

ml

things I'm thinking about/working on

Stargazers:0Issues:0Issues:0

NTR

Language:CLicense:GPL-2.0Stargazers:0Issues:2Issues:0

ocaml-mecab-dune

A work in progress port of the mecab library into OCaml through the Ctypes library

License:BSD-3-ClauseStargazers:0Issues:0Issues:0

polyml

Poly/ML

Language:Standard MLLicense:LGPL-2.1Stargazers:0Issues:0Issues:0