Pinned Loading

1. 4ward 4ward Public

   A glass-box P4 simulator that traces every parser transition, table lookup, action, and branch

   Kotlin 5

2. rubix rubix Public

   A minimalistic Rubik's cube solver using linear algebra

   Python 1

3. google/netkat google/netkat Public

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

   C++ 30 4

4. kat kat Public

   Kleene Algebra with Tests (KAT) and Brzozowski automata

   OCaml 7

5. nice-parser nice-parser Public

   Nice parsers in OCaml without the boilerplate

   OCaml 127 12

6. ocaml-open ocaml-open Public

   Conveniently open files such as PDFs in their default applications.

   OCaml 9 1