9 projects
logic-asts
Grammars and parsers for various logic
morphata
Representation theory for automata, made practical.
algebraic-arrays
Abstract algebric structures for GPU-efficient computation
argus-automatix
A package for manipulating automata via algebraic representation theory
percemon
None
argus-temporal-logic
None
probabilistic-timed-automata
Python library for building and simulating probabilistic timed automata.
signal-temporal-logic
A library for efficiently working with Signal Temporal Logic (STL) and its quantitative semantics.
