a
Repositories
Select a repository to view its commits, contributors, and more.public
llvm-dune
The official LLVM OCaml binding but built using dune
Shell
25
4
9
Updated 2 months ago
public
Asparserations
Asparserations is an LR(1) and LALR(1) parser generator frontend. It outputs JSON representing the parse table.
C++
19
2
1
Updated 10 months ago
public
ocaml-textmate-language
Library for tokenizing code with TextMate grammars
OCaml
11
1
0
Updated a year ago
public
camyll
Static site generator
OCaml
11
1
0
Updated 6 months ago
public
ocaml-plist-xml
Plist parsing in pure OCaml
OCaml
6
0
0
Updated 2 months ago
public
ocaml-oniguruma
OCaml bindings to the Oniguruma regex library
OCaml
4
1
0
Updated 2 years ago
public
STLC
Simply typed lambda calculus in Agda
Agda
3
0
0
Updated 2 years ago
public
berlitz
C
1
0
0
Updated 3 months ago
public
conway-cpp
C++
1
0
0
Updated 3 years ago
public
connect-four
The beginnings of a connect-four game
Haskell
0
0
0
Updated 5 years ago
public
redex-playground
Experiments to learn PLT Redex
Racket
0
0
0
Updated 5 years ago
public
alan-j-hu.github.io
CSS
0
0
0
Updated 2 years ago