Pinned Loading

1. rubix rubix Public

   A minimalistic Rubik's cube solver

   Python 1

2. google/netkat google/netkat Public

   Domain specific language (DSL) and system for specifying, programming, and reasoning about packet-switched networks

   C++ 29 4

3. nice-parser nice-parser Public

   Nice parsers in OCaml without the boilerplate

   OCaml 127 12

4. kat kat Public

   Kleene Algebra with Tests (KAT) and Brzozowski automata

   OCaml 7

5. ocaml-open ocaml-open Public

   Conveniently open files such as PDFs in their default applications.

   OCaml 9 1

6. ocaml-python ocaml-python Public

   Minimalistic setup for running Python scripts from OCaml

   OCaml 6