yurifw / Visual-Automata-Simulator
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 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for Visual-Automata-Simulator
- A next-good-bug recommender for Bugzilla☆11Updated 8 years ago
- A platform for unified linear and relational algebra analytics, built on the Accumulo NoSQL database☆11Updated 2 years ago
- Greylock is an embedded search engine which is aimed at index size and performace☆12Updated 7 years ago
- How to write interpreters or dynamic compilers for dynamically typed languages on top of the JVM☆13Updated last week
- Learning problem-solving, logic/set, math, physics, economics through functional programming using Haskell☆19Updated 9 years ago
- Regular Expressions and Lexing with DFAs☆9Updated 6 months ago
- Automatically exported from code.google.com/p/full-maude☆15Updated 10 months ago
- Programmatic Control Flow☆13Updated 7 years ago
- This is a clone of an SVN repository at svn://svn.forge.objectweb.org/svnroot/sat4j/maven/trunk. It had been cloned by http://svn2github.…☆9Updated 7 years ago
- Code for "Learning to Play the Chaos Game: Dreaming of fractal foliage by differentiating iterated function systems"☆14Updated 3 years ago
- Interactive SQL analytics in your browser!☆22Updated 6 years ago
- A search index specialised for LaTeX equations. Developed for latexsearch.com.☆16Updated 13 years ago
- Tracking Responses to the "Reproducibility in Computer Science" Repository (http://reproducibility.cs.arizona.edu/)☆58Updated 10 years ago
- Generic immutable recursive data representation API targeted at source code models and more.☆36Updated 2 weeks ago
- Reduced on-disk Suffix Array☆21Updated 11 years ago
- An Inductive Logic Programming system for online learning of event definitions in the form of Event Calculus programs☆19Updated 4 years ago
- symbolic reachability checker☆23Updated 3 years ago
- A system and a Java API for large-scale graph processing based on Google's Pregel☆64Updated 11 years ago
- Java B+-Tree with features like flexible storage, sort order, serialization, ...☆13Updated 12 years ago
- Python bindings for Neo4j☆26Updated 10 years ago
- The GraphBuilder library provides functions to construct large scale graphs. It is implemented on Apache Hadoop.☆97Updated 10 years ago
- DIQL: Data Intensive Query Language☆12Updated 3 years ago
- Code and Data for Getting Started documentation☆20Updated last year
- An Excel formula parser☆12Updated 5 years ago
- CHR2 to SQL conversion☆12Updated 9 years ago
- --DEPRECATED--. Use other top level repository under IntellectualHeaven.☆42Updated 9 years ago