Pinned Loading

1. 4ward-p4/4ward 4ward-p4/4ward Public

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

   Kotlin 8 2

2. rubix rubix Public

   A linear-algebra-based Rubik's cube solver.

   Python 1

3. google/netkat google/netkat Public

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

   C++ 35 6

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 128 12

6. ocaml-open ocaml-open Public

   Conveniently open files such as PDFs in their default applications.

   OCaml 9 1