alexchang8's Stars
facebook/Haxl
A Haskell library that simplifies access to remote data, such as databases or web-based services.
kbumsik/VirtScreen
Make your iPad/tablet/computer into a secondary monitor on Linux.
verified-network-toolchain/petr4
Petr4: Formal Semantics for P4
rabbit-ear/rabbit-ear
computational origami library
cxa/ppx_bsx
OCaml JSX for ReasonReact