An open API service indexing awesome lists of open source software.
A curated list of projects in awesome lists tagged with ppltl .
From LTLf / PPLTL to Deterministic Finite-state Automata (DFA)
dfa formula ltlf ltlf2dfa mona ppltl
Last synced: 08 Jan 2026
