[go: up one dir, main page]

67 projects for "automata" with 1 filter applied:

  • La version gratuite d'Auth0 s'enrichit ! Icon
    La version gratuite d'Auth0 s'enrichit !

    Gratuit pour 25 000 utilisateurs avec intégration Okta illimitée : concentrez-vous sur le développement de vos applications.

    Vous l'avez demandé, nous l'avons fait ! Les versions gratuite et payante d'Auth0 incluent des options qui vous permettent de développer, déployer et faire évoluer vos applications en toute sécurité. Utilisez Auth0 dès maintenant pour découvrir tous ses avantages.
    Essayez Auth0 gratuitement
  • MongoDB Atlas runs apps anywhere Icon
    MongoDB Atlas runs apps anywhere

    Deploy in 115+ regions with the modern database for every enterprise.

    MongoDB 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.
    Start Free
  • 1
    Golly

    Golly

    For exploring cellular automata like Conway's Game of Life.

    A cross-platform application for exploring Conway's Game of Life and many other types of cellular automata.
    Leader badge">
    Downloads: 265 This Week
    Last Update:
    See Project
  • 2
    CASUP

    CASUP

    Cellular Automata library for SUPercomputers (CASUP)

    CASUP is a Cellular Automata (CA) library for HPC and supercomputers. It can be used in materials science (microstructure evolution, grain coarsening, fracture etc.), physics (Ising magnetisation) and for many other CA. If you use the library, please reference it as: A. Shterenlikht, L. Margetts, Three-dimensional cellular automata modelling of cleavage propagation across crystal boundaries in polycrystalline microstructures, Proc. Roy. Soc. A 471:20150039, DOI: http://dx.doi.org/10.1098...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    A package for computations with finite automata (rooted tree automorphisms) for the GAP system, http://www.gap-system.org.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    A reworking in C++ of KBMAG. A package and C++ library for computing automatic structures and confluent rewriting system for group and coset rewriting systems, and for computing with finite state automata
    Downloads: 0 This Week
    Last Update:
    See Project
  • Teradata VantageCloud Enterprise is a data analytics platform for performing advanced analytics on AWS, Azure, and Google Cloud. Icon
    Teradata VantageCloud Enterprise is a data analytics platform for performing advanced analytics on AWS, Azure, and Google Cloud.

    Power faster innovation with Teradata VantageCloud

    VantageCloud is the complete cloud analytics and data platform, delivering harmonized data and Trusted AI for all. Built for performance, flexibility, and openness, VantageCloud enables organizations to unify diverse data sources, run complex analytics, and deploy AI models—all within a single, scalable platform.
    Learn More
  • 5

    physicsmata

    API for all possible cellular automata that work same at all angles

    Its strange how the "sorted pointers" normalizing makes just about any random function, as long as it connects the inputs to the outputs on some path, vibrate as some nonlinear shape of wave. This could be used as a game interface for evolvable musical instruments or fluid puzzle games. Physicsmata is similar in effect to SmoothLife but simpler and pure Java. The cellular automata API takes a function to run at each point. Its parameters are sums of screen brightness (n color dimensions...
    Downloads: 1 This Week
    Last Update:
    See Project
  • 6
    Qfsm

    Qfsm

    A graphical Finite State Machine (FSM) designer.

    A graphical tool for designing finite state machines and exporting them to Hardware Description Languages, such as VHDL, AHDL, Verilog, or Ragel/SMC files for C, C++, Objective-C, Java, Python, PHP, Perl, Lua code generation.
    Leader badge">
    Downloads: 19 This Week
    Last Update:
    See Project
  • 7

    xorlisp

    Bit level lambda continuations and nothing else - Queue automata

    Not working yet. To deal with the Halting Problem, computing and data are navigated using debugger ops: linearForward and treeForward, which navigate an astronomically large bit string where 1 is ( and 0 is ). All pairs are derived from (). For example, true is represented as ((()())()), and false is (()(()())). It appears related to the church encoding of lambda where T chooses first parameter and F chooses second, of a pair. Continuations are nearly finished code and are represented as a...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8

    Visual Integer Factor

    Puzzle game demonstrating whats so hard about binary integer factoring

    VisualIntFactor will be an interactive educational and scientific tool demonstrating multiply, factor, conversion between unary counting and binary integers, all in the same grid of hexagons. This grid is based on pascals triangle, which is a 1d cellular automata that calculates (X choose Y) factorials by each cell being the sum of the 2 cells upleft and upright. Draw a binary integer from a cell going upright, then explore the allowed transforms which may lead you to a factored state in 2...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    Small GAP package for converting Petri nets to finite state automata and transformation semigroups.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Enterprise Service Management solution for growing businesses | ServoDesk Icon
    Enterprise Service Management solution for growing businesses | ServoDesk

    Close 25% More Support Cases in Your Business with ServoDesk-Guaranteed

    What if You Could Automate 90% of Your Repetitive Tasks in Under 30 Days? At ServoDesk, we help businesses like yours automate operations with AI, allowing you to cut service times in half and increase productivity by 25%-without hiring more staff.
    Learn More
  • 10
    ASTL Automata Standard Template Library (Vincent Le Maout - Dominique Revuz) is a set of generic and efficient C++ components for automata manipulation.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    Tautomaton is a C++11 -template library for deterministic (DFA) and non-deterministic finite automata (NFA). It supports regular expressions and efficient input matching of multiple regexps simultaneously. The library comes with a somewhat grep-like command-line tool for showcasing these features.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    Proyect aim is to develop a library which allow the management of very large dictionaries very efficiently using, for this purpose, numbered deterministic acyclic finite automata.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13

    Potager

    This project is a graphic tools to test 3D autogenerating concepts.

    This project is a graphic tools to test 3D Cellular Automata and other 3D autogenerating concept.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    visualFSA is a small tool which lets you construct NFAs/DFAs [(non)deterministic finite automata]. It offers some common algorithms which can be applied to that automatons, like converting NFA -> DFA, word problem, accepted language etc.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    Celeste Cellular Automaton Simulator

    Celeste Cellular Automaton Simulator

    A tiny and very simple cellular automata simulator. Abandoned, ignore.

    Celeste is a tiny and simple Cellular Automata simulator written in Java. It is a command line application that writes an image of each simulation step. Celeste was designed to run Conway's Game of Life but other rulesets can be implemented as well. It is released under the extremely permissive WTFPL.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16
    Automata editor

    Automata editor

    automata editor

    Automata editor is a vector editor for drawing finite automata according to VauCanSon-G format with tools for working with finite automata such as basic algorithms, exporting transition table to LaTeX format and automata work simulation.
    Downloads: 8 This Week
    Last Update:
    See Project
  • 17
    Games of Life
    Some (web based) implementations of cellular automata like Conway's Game of Life.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18
    MASyV (Multi-Agent System Visualization) enables one to write agent-based models/cellular automata, eg. in C, visualize them in real time & capture to movie file with MASyVs GUI & message passing lib. Includes examples: Hello World, ants, viral infection
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19
    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
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20
    Music synthesizer based on cellular automata. Written in Haskell.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21
    Tools for develop and program design in the style of finite automata
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22
    fick is fluid diffusion simulator (for both liquids and gases): it uses the Flick diffusion laws to drive the evolution of a cellular automata.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 23
    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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24
    Ouroborus is an artificial life framework for mobile agents on a background of cellular automata. It can be used to teach and research topics such as population genetics, ecology and evolution. The demo includes a curses view and live Csound audio.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 25
    superseded by SgpDec http://sgpdec.sf.net Java implementation of the holonomy algorithm for the algebraic hierarchical decomposition of finite state automata.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • 2
  • 3
  • Next