Pinned Loading

1. unfoldings unfoldings Public

   A model checking library for Petri nets

   OCaml

2. crobots crobots Public

   OCaml remake of the retro game CROBOTS 🤖

   OCaml

3. informatica-unica/ocaml-challenge informatica-unica/ocaml-challenge Public

   24 126

4. informatica-unica/lip informatica-unica/lip Public

   OCaml 8 156

5. vga-maze vga-maze Public

   Maze generator and graph traversal visualizer for MS-DOS featuring ground-breaking VGA graphics.

   Assembly 2

6. informatica-unica/pbt informatica-unica/pbt Public

   Property-based testing

   Python 1