Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with kleene-algebra
A curated list of projects in awesome lists tagged with kleene-algebra .
https://github.com/coq-community/atbr
Coq library and tactic for deciding Kleene algebras [maintainer=@tchajed]
coq coq-ci coq-plugin coq-tactic kleene-algebra
Last synced: 24 Nov 2024
https://github.com/smolkaj/kat
Kleene Algebra with Tests (KAT) and Brzozowski automata
automata brzozowski brzozowski-derivatives kat kleene-algebra kleene-algebra-with-tests
Last synced: 10 Nov 2024
https://github.com/catseye/tandem
MIRROR of https://codeberg.org/catseye/Tandem : A rewriting language where the rewrite rules form a Kleene algebra
esoteric-language esoteric-programming-language experimental-language kleene-algebra string-rewriting
Last synced: 15 Nov 2024
