Search Results for "automata" - Page 4
Sort By:
Showing 155 open source projects for "automata"
View related business solutions-
MongoDB Atlas runs apps anywhereMongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
-
Build experiences that drive engagement and increase transactionsSendbird's chat, voice, and video APIs power conversations and communities in hundreds of the most innovative apps and products. Sendbird’s feature-rich platform, and pre-fab UI components make developers more productive. We take care of a ton of operational complexity under the hood, so you can power a rich chat service, and life-like voice, and video experiences, and not worry about features, edge cases, reliability, or scale.
-
1
-
2
superseded by SgpDec http://sgpdec.sf.net Java implementation of the holonomy algorithm for the algebraic hierarchical decomposition of finite state automata.
-
3
Foma is a compiler, programming language, and C library for constructing finite-state automata and transducers for various uses. It has specific support for many natural language processing applications such as producing morphological analyzers.
-
4
DFA library is a regular expression library capable of the classic RE syntax (i.e. - without any perl extension). Unlike many other libraries with similar functionality, a deterministic finite automata (DFA) is used. DFA was formerly called npcre, wh
-
Apify is a full-stack web scraping and automation platform helping anyone get value from the web.Actors are serverless cloud programs that extract data, automate web tasks, and run AI agents. Developers build them using JavaScript, Python, or Crawlee, Apify's open-source library. Build once, publish to Store, and earn when others use it. Thousands of developers do this - Apify handles infrastructure, billing, and monthly payouts.
-
5
Golok is a framework for automatic verification of parameterized systems. Given the atomic actions of the processes of the system as behavioral automata, the system topology, and the initial state, Golok automatically generates cut-off value.
-
6
-
7
Our goal is to develop a full working solver for ATA (with 1 clock) in Python, with MTL to ATA support. The decidability for the emptiness problem was proposed by Lasota and Walukiewicz. The MTL to ATA was proposed by Ouaknine and Worrell.
-
8
-
9
Automata Based Programming Tool for implementing logic for J2SE, J2EE and Sybmian applications. Consists of Java FSM Framework and Eclipse Plugin parts. Plugin implements UML model editor, visual debugger, validator, compiler and interpreter for Eclipse
-
QA Wolf | We Write, Run and Maintain TestsQA Wolf is an AI-native service that delivers 80% automated E2E test coverage for web & mobile apps in weeks not years.
-
10
Seems to be closely related to Cellular automaton, except this creates a complex pattern from a mathematical function you input. See website for examples/live applets. This program makes use of an old GPL version of the JEP equation parser.
-
11
Graph polynomials and view prime numbers on a ulam spiral graphing plot. Only integer numbers. Based on an old GPL version of the JEP equation parser. See website for additional examples/live applets Seems to be closely related to Cellular automaton.
-
12
SuperWillow is a Music Generation program. Artists have many influences which they have accumulated over the years by listening to countless pieces of music, this principle is reflected in SuperWillow.
-
13
The Cellular Automata Visualization Program - is a program to visually display the evolution of a 2D cellular automata.
-
14
LETHAL is a Java library for working with finite tree and hedge automata. It provides a great variety of operations and property evaluations. Additionally the library comes with a scriptable graphical user interface to get started quickly.
-
15
The purpose of this project is to create a dynamical chemistry simulation capable of creating and maintaining cellular-automata-like forms.
-
16
Poga is software for processing of formal languages, especially for processing automata and grammars. It has modular architecture, it is programmed in C++ and it doesn't have a GUI (it has CLI).
-
17
RexRex is a Regexp matching engine based on Automata Theory Principles (so-called DFA Engine) Implemented in ANSI C . currently it supports (,),*,+,?,Character classes ([],w,s,..etc) and escaping FWIW Rex is king in Latin;so it's RexKing :)
-
18
Automatous Monk is a Java application that maps cellular automaton evolutions into music. The resulting music is represented as jMusic scores that can be played and saved as MIDI files. A real-time version, which uses JSyn, is also available.
-
19
The program system JCASim is a general-purpose system for simulating cellular automata in Java. It includes a stand-alone application and an applet for web presentations.
-
20
-
21
This software can simulate heat transfer in solid heterogenous materia using cellular automata. There are two different simulation methods and several test model implemented at the moment. It is also possible to define boundary conditions.
-
22
Tools for finite automata simulation, minimization and grammar utilities (left recursion removal, context free grammar simplification and transformation to Chomsky Normal Form).
-
23
CApieces is a compact win32 program for generating cellular automata music. It uses linear, binary CA with dependance on two previous timesteps (k=2, r=1.5) You can easily save/load any rule/state/tuning configuration you want to keep.
-
24
Thresh is an application for Snort that manages alert thresholding and suppression. This application was designed to assist the administrator with tuning one or more Snort sensors. This was designed to run under RedHat flavors of Linux.
-
25
3D cellular automata modelling software for large general purpose simulations. Uses custom scripts for rules and can distribute processing over several machines.