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 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:
- A next-good-bug recommender for Bugzilla☆11Updated 9 years ago
- Human-Computation Runtime☆48Updated last year
- Tracking Responses to the "Reproducibility in Computer Science" Repository (http://reproducibility.cs.arizona.edu/)☆58Updated 10 years ago
- The semantics of Java in K☆19Updated 3 years ago
- A platform for unified linear and relational algebra analytics, built on the Accumulo NoSQL database☆11Updated 3 years ago
- CLI tools for mathjax-node☆33Updated last year
- Command-line utilities for Real World OCaml☆16Updated 6 years ago
- symbolic reachability checker☆23Updated 3 years ago
- Programmatic Control Flow☆12Updated 7 years ago
- A generic AST generator for parser development.☆33Updated 6 years ago
- Greylock is an embedded search engine which is aimed at index size and performace☆12Updated 8 years ago
- Source code for 'Practical OCaml' by Joshua B. Smith☆14Updated 8 years ago
- JVM Abstracting Abstract Machine☆25Updated 6 years ago
- SIGPLAN website☆11Updated this week
- Course materials for a Prolog course☆12Updated 9 years ago
- clone of git://lxr.linux.no/git/lxrng.git☆13Updated 8 years ago
- ☆20Updated 5 years ago
- Mathematica's programming language parser written in Scala☆24Updated 10 years ago
- Eclipse plugin that synthesizes real Java code☆26Updated 10 years ago
- a Haskell clone for the JVM☆11Updated 9 years ago
- Generic immutable recursive data representation API targeted at source code models and more.☆35Updated this week
- Java B+-Tree with features like flexible storage, sort order, serialization, ...☆13Updated 13 years ago
- Evergreen front-end☆12Updated last year
- Automatically exported from code.google.com/p/full-maude☆16Updated last year
- Low-Level Data Structure - efficient data structures, and fast data access in the 3.x/4.x/5.x/6.x kernel☆120Updated 2 years ago
- Python Implementation of Super and Hyper Log Log Sketches☆49Updated 13 years ago
- TextUML compiler and the TextUML Toolkit☆76Updated 2 months ago
- RPySOM - The Simple Object Machine Smalltalk implemented in RPython☆15Updated 4 years ago
- A Reduction Tool for SQL Bachelor's thesis of Jonas Müntener☆16Updated 7 months ago
- An implementation of asynchronous π-calculus in Go☆7Updated 3 years ago