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
- A next-good-bug recommender for Bugzilla☆11Updated 9 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.☆35Updated last week
- ibmgraphblas☆27Updated 6 years ago
- An inference engine for extensional untyped λ-calculus☆17Updated 2 years ago
- Learning problem-solving, logic/set, math, physics, economics through functional programming using Haskell☆19Updated 9 years ago
- My unofficial picat http://picat-lang.org/ repository☆28Updated last year
- prime search engine☆15Updated 7 years ago
- A language for data modeling and incremental computing of derived values☆11Updated 11 months ago
- Reduced on-disk Suffix Array☆21Updated 11 years ago
- symbolic reachability checker☆23Updated 3 years ago
- Euclidean plane and its relatives; a minimalist introduction.☆18Updated last week
- A platform for unified linear and relational algebra analytics, built on the Accumulo NoSQL database☆11Updated 3 years ago
- Extreme Scale Distributed Transaction Processing☆268Updated 11 years ago
- Programmatic Control Flow☆12Updated 7 years ago
- pythonic access to fastbit☆26Updated 6 years ago
- ☆20Updated 5 years ago
- Automatically exported from code.google.com/p/full-maude☆16Updated last year
- a Haskell clone for the JVM☆11Updated 9 years ago
- Java Sketch Characterization Code.☆11Updated last week
- Greylock is an embedded search engine which is aimed at index size and performace☆12Updated 8 years ago
- new generation language☆20Updated 11 years ago
- ☆19Updated 8 years ago
- Graph Analytics Engine☆260Updated 10 years ago
- formalization of theorems of higher algebraic K-theory☆8Updated 10 years ago
- How to write interpreters or dynamic compilers for dynamically typed languages on top of the JVM☆16Updated 3 weeks ago
- ☆34Updated 4 years ago
- Giraph Docker image☆12Updated 9 years ago
- A statically typed binary tree in Go without casts or reflection☆19Updated 11 years ago
- Source code for 'Practical OCaml' by Joshua B. Smith☆14Updated 8 years ago