10 projects
algebraic-arrays
Abstract algebric structures for GPU-efficient computation
morphata
Representation theory for automata, made practical.
pollywog
Polynomials over bounded distributive lattices, as multi-terminal binary decision diagrams
logic-asts
Grammars and parsers for various logic
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.
