Pinned Repositories
alexchang8.github.io
autogami
Fork for code completed after hackathon. The backend for autogami.
autogami-frontend
the frontend for autogami
bs-big.js
Bucklescript bindings to big.js
dotfiles
elocaml
A multiplayer game lobby client-server architecture written in OCaml
gen_yojson
generates ocaml types from a json object
html-snake
A simple snake game written using HTML 5 canvas
tetris-caml
Tetris implemented in ocaml, then ported to js
petr4
Petr4: Formal Semantics for P4
alexchang8's Repositories
alexchang8/alexchang8.github.io
alexchang8/autogami
Fork for code completed after hackathon. The backend for autogami.
alexchang8/autogami-frontend
the frontend for autogami
alexchang8/bs-big.js
Bucklescript bindings to big.js
alexchang8/dotfiles
alexchang8/elocaml
A multiplayer game lobby client-server architecture written in OCaml
alexchang8/gen_yojson
generates ocaml types from a json object
alexchang8/html-snake
A simple snake game written using HTML 5 canvas
alexchang8/tetris-caml
Tetris implemented in ocaml, then ported to js
alexchang8/ocamlformat
Auto-formatter for OCaml code
alexchang8/p4pp
P4 Preprocessor
alexchang8/petr4
Petr4: Formal Semantics for P4