Pinned Loading

1. my-bookshelf my-bookshelf Public

   Collection of books/papers that I've read/I'm going to read/I would remember that they exist/It is unlikely that I'll read/I'll never read.

   HTML 75 36

2. whitemech/lydia whitemech/lydia Public

   A tool for LDLf translation to DFA and for LDLf synthesis.

   C++ 23 4

3. bancaditalia/black-it bancaditalia/black-it Public

   Black-box abm calibration kit by the Bank of Italy

   Python 43 2

4. whitemech/pythomata whitemech/pythomata Public

   A Python package for automata theory.

   Python 54 6

5. AI-Planning/pddl AI-Planning/pddl Public

   Unquestionable PDDL 3.1 parser

   Python 93 28