10 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer
algorithms-library-git 0.0.0.r515.gc4bc905a4-1 0 0.00 Theoretical computer science datastructures and algorithms implementation. The library provides graphical and console interface similar to bash with many classical algorithms manipulating automata, grammars, regular expressions, trees and strings. evandar
algorithms-library-gui-git 0.0.0.r515.gc4bc905a4-1 0 0.00 Theoretical computer science datastructures and algorithms implementation. The library provides graphical and console interface similar to bash with many classical algorithms manipulating automata, grammars, regular expressions, trees and strings. evandar
creeper-world3 212-4 1 0.00 This is what happens when cellular automata takes over a strategy simulation. orphan
foma 0.9.18-1 4 0.00 A set of utilities for constructing finite-state automata and transducers Huulivoide
jflap 7.1-1 21 0.00 Software to learning the basic concepts of Formal Languages and Automata Theory robertfoster
jflap-beta 8.0-3 3 0.00 Software for learning the basic concepts of Formal Languages and Automata Theory, latest version with custom SVG icon and GTK theming. ConfuZzled
renew-fa-base 2.5-2 1 0.00 The Reference Net Workshop - Finite Automata Plug-in Brinox
ltl2ba 1.1-1 3 0.22 Fast translation from LTL formulas to Buchi automata. mthowe
spot 2.8.7-2 1 0.23 A C++14 library for omega automata manipulation and model checking. vl.still
golly 3.3-1 95 0.72 A simulator for Conway's Game of Life and other cellular automata kylesferrazza

10 packages found. Page 1 of 1.