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:
- Java B+-Tree with features like flexible storage, sort order, serialization, ...☆13Updated 13 years ago
- Example bare-bones gazette consumer application that plays ping pong. _At Scale_!☆15Updated 4 years ago
- Sift is a basic, Relational Algebra based query engine built on top of Apache Arrow. It draws inspiration from Andy Grove's KQuery.☆22Updated 3 years ago
- Course materials for a Prolog course☆12Updated 9 years ago
- Awk-like tool using python☆11Updated 4 years ago
- ☆20Updated 5 years ago
- Tracking Responses to the "Reproducibility in Computer Science" Repository (http://reproducibility.cs.arizona.edu/)☆58Updated 10 years ago
- Atomix Jepsen tests☆14Updated 8 years ago
- A next-good-bug recommender for Bugzilla☆11Updated 9 years ago
- A language for data modeling and incremental computing of derived values☆11Updated last year
- A library for Proof Theory (especially Proof Compression) in Scala.☆34Updated 7 years ago
- a Haskell clone for the JVM☆11Updated 9 years ago
- A platform for unified linear and relational algebra analytics, built on the Accumulo NoSQL database☆11Updated 3 years ago
- How to write interpreters or dynamic compilers for dynamically typed languages on top of the JVM☆16Updated 3 months ago
- Programmatic Control Flow☆12Updated 7 years ago
- FUSE-powered filesystem over Subversion repository☆8Updated 11 years ago
- TCP tee implementation (Linux, Mac OS X, Windows) - duplicate TCP packets☆14Updated 6 years ago
- Perl CPAN module Makefile::Parser - A simple parser for Makefiles☆11Updated 9 years ago
- Nez parsing library☆24Updated 3 years ago
- my solutions to problems in Programming Languages: Application and Interpretation class by Shriram Krishnamurthi☆9Updated 9 years ago
- symbolic reachability checker☆23Updated 3 years ago
- Mirror of the Jackcess Encrypt project: http://jackcessencrypt.sourceforge.net/☆11Updated 2 months ago
- TLA+ specification for the Raft consensus algorithm (with Pre-Vote)☆12Updated 7 years ago
- Golang implementation of datalog, port of MITRE corporation's lua implementation☆25Updated 4 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
- The semantics of Java in K☆19Updated 3 years ago
- model checking samples☆17Updated 3 years ago
- Human-Computation Runtime☆48Updated last year
- WebDSL compiler☆52Updated last week
- Cray Chapel scheduler for Apache Mesos☆22Updated 11 years ago