Pinned Repositories
Asparserations
Asparserations is an LR(1) and LALR(1) parser generator frontend. It outputs JSON representing the parse table.
camyll
Static site generator
conway-cpp
llvm-dune
The official LLVM OCaml binding but built using dune
llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.
ocaml-oniguruma
OCaml bindings to the Oniguruma regex library
ocaml-plist-xml
Plist parsing in pure OCaml
ocaml-textmate-language
Library for tokenizing code with TextMate grammars
STLC
Simply typed lambda calculus in Agda
llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
alan-j-hu's Repositories
alan-j-hu/llvm-dune
The official LLVM OCaml binding but built using dune
alan-j-hu/Asparserations
Asparserations is an LR(1) and LALR(1) parser generator frontend. It outputs JSON representing the parse table.
alan-j-hu/camyll
Static site generator
alan-j-hu/ocaml-textmate-language
Library for tokenizing code with TextMate grammars
alan-j-hu/ocaml-plist-xml
Plist parsing in pure OCaml
alan-j-hu/ocaml-oniguruma
OCaml bindings to the Oniguruma regex library
alan-j-hu/conway-cpp
alan-j-hu/llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.
alan-j-hu/abt-rs
alan-j-hu/alan-j-hu.github.io
alan-j-hu/berlitz
alan-j-hu/binject
alan-j-hu/dune
A composable build system for OCaml.
alan-j-hu/lcf
alan-j-hu/lexgen
A fully-featured lexer generator, implement as a proc macro
alan-j-hu/llvm-ocaml-docs
alan-j-hu/medley
alan-j-hu/microlambda
alan-j-hu/min-repro-example
alan-j-hu/nonstandard-ml
alan-j-hu/ocalculator
Toy calculator written in OCaml
alan-j-hu/ocaml-yaml
OCaml interface to the YAML 1.1 spec
alan-j-hu/opam
opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
alan-j-hu/opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
alan-j-hu/package-index
A package Index for agda libraries
alan-j-hu/scratch-gui
Graphical User Interface for creating and running Scratch 3.0 projects.
alan-j-hu/sml-practice
alan-j-hu/smlnj
Standard ML of New Jersey
alan-j-hu/To.ml
OCaml library for TOML
alan-j-hu/tyabt
Many-sorted abstract binding trees (ABTs)