kleene-algebra

There are 0 repository under kleene-algebra topic.

• coq-community / atbr

  Coq library and tactic for deciding Kleene algebras [maintainer=@tchajed]

  coq-tacticcoqkleene-algebracoq-ci
  Language:Coq 23

• smolkaj / kat

  Kleene Algebra with Tests (KAT) and Brzozowski automata

  automatabrzozowskikatkleene-algebrabrzozowski-derivativeskleene-algebra-with-tests
  Language:OCaml 5

• catseye / Tandem

  MIRROR of https://codeberg.org/catseye/Tandem : A rewriting language where the rewrite rules form a Kleene algebra

  experimental-languagestring-rewritingkleene-algebraesoteric-languageesoteric-programming-language
  Language:Haskell 3

• subttle / kleene

  Kleene Algebra (Kozen axioms)

  kleenekleene-algebraregular-expressions
  Language:Agda 2

• profectus200 / fsa-validator-and-translator

  Validates the FSA and translates it to the regular expression

  fsakleene-algebra
  Language:Java 0