Alan (@alan-j-hu)
github

alan-j-hu

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    49
  • Global Rank 346,182 (Top 12 %)
  • Followers 24
  • Following 36
  • Registered over 7 years ago
  • Most used languages
    OCaml
         57.1 %
    C++
         28.6 %
    Agda     14.3 %
  • Location πŸ‡ΊπŸ‡Έ United States
  • Country Total Rank 67,675
  • Country Ranking
    Agda     47
    OCaml
         174
    C++
         7,547

Top repositories

1

Asparserations

Asparserations is an LR(1) and LALR(1) parser generator frontend. It outputs JSON representing the parse table.
C++
17
star
2

ocaml-textmate-language

Library for tokenizing code with TextMate grammars
OCaml
9
star
3

camyll

Static site generator
OCaml
8
star
4

ocaml-plist-xml

Plist parsing in pure OCaml
OCaml
7
star
5

ocaml-oniguruma

OCaml bindings to the Oniguruma regex library
OCaml
4
star
6

STLC

Simply typed lambda calculus in Agda
Agda
3
star
7

conway-cpp

C++
1
star