yurifw / Visual-Automata-SimulatorLinks
This small application allows to create and simulate any Deterministic or Non-Deterministic Finite Automata (DFA or NFA) as well as Turing Machines (TM).
☆9Updated 3 years ago
Alternatives and similar repositories for Visual-Automata-Simulator
Users that are interested in Visual-Automata-Simulator are comparing it to the libraries listed below
Sorting:
- Learning problem-solving, logic/set, math, physics, economics through functional programming using Haskell☆19Updated 9 years ago
- Programmatic Control Flow☆12Updated 7 years ago
- Generic immutable recursive data representation API targeted at source code models and more.☆35Updated this week
- ☆20Updated 5 years ago
- The TestCube Plugin --- amplifying your test cases since 2020☆11Updated 8 months ago
- A platform for unified linear and relational algebra analytics, built on the Accumulo NoSQL database☆11Updated 3 years ago
- Cloudfier is a model-driven tool for rapid development of business applications☆22Updated this week
- Tracking Responses to the "Reproducibility in Computer Science" Repository (http://reproducibility.cs.arizona.edu/)☆58Updated 10 years ago
- Greylock is an embedded search engine which is aimed at index size and performace☆12Updated 8 years ago
- A simple sparse bitmap implementation in java☆21Updated 9 years ago
- Perseus is a set of scripts (docker+javascript) to investigate a distributed database's responsiveness when one of its three nodes is iso…☆49Updated 6 years ago
- ibmgraphblas☆27Updated 6 years ago
- Example bare-bones gazette consumer application that plays ping pong. _At Scale_!☆15Updated 4 years ago
- Course materials for a Prolog course☆12Updated 9 years ago
- A next-good-bug recommender for Bugzilla☆11Updated 9 years ago
- What happens on the wire when Hadoop RPC call is issued?☆14Updated 2 years ago
- Python bindings for Neo4j☆27Updated 10 years ago
- symbolic reachability checker☆23Updated 3 years ago
- Perl CPAN module Makefile::Parser - A simple parser for Makefiles☆11Updated 9 years ago
- Atomix Jepsen tests☆14Updated 8 years ago
- a mutation testing engine for Java based on mutant schemata / metamutants / metaprogramming☆20Updated 2 years ago
- Distributed Systems Reading Group☆20Updated 7 years ago
- Graph Analytics Engine☆260Updated 10 years ago
- a Haskell clone for the JVM☆11Updated 9 years ago
- TextUML compiler and the TextUML Toolkit☆76Updated last week
- Pivotal GemFire XD☆13Updated 4 years ago
- prime search engine☆15Updated 7 years ago
- A C version of Bob Jenkins' spooky hash☆38Updated 8 years ago
- Implementation of popular consensus protocols☆21Updated 4 years ago
- Interactive SQL analytics in your browser!☆22Updated 7 years ago