automata
Sort by:Popular▼

61. AutomataLib :: Build Tools

net.automatalib » automata-build-toolsApache

Tools and resources required for building AutomataLib
Last Release on Oct 11, 2020

62. Automata

automata » automataEPL

FIXME: write description
Last Release on Feb 11, 2019

63. AutomataLib :: Model Checking

net.automatalib » automata-modelchecking-parentApache

Meta-module for various model checkers that can be used with automata and graph models from AutomataLib.
Last Release on Mar 11, 2025

64. DDF Minim

org.clojars.automata » ddf.minim

Minim is an audio library that uses the JavaSound API, a bit of Tritonus, and Javazoom?s MP3SPI to provide an easy to use audio library for people developing in the Processing environment.
Last Release on Oct 13, 2010

65. Automata

com.eharrison » automataMIT

A framework for building automata bots used to compete in simple games as coding challenges.
Last Release on Sep 19, 2025

66. Temportalist Automata Gradle Plugin

temportalist.automata » temportalist.automata.gradle.plugin

Temportalist Automata Gradle Plugin
Last Release on May 24, 2018

67. Automata Core

com.scoperetail.automata » automata-coreMIT

Utility library for JSON
Last Release on May 16, 2022

68. Workflow Execution Tool

org.zalando.automata » step-sequenceApache

Workflow Execution Tool
Last Release on Sep 7, 2016