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 8 years ago
- The semantics of Java in K☆19Updated 3 years ago
- Interactive SQL analytics in your browser!☆22Updated 7 years ago
- A JavaScript-based interface for graph traversal☆18Updated last year
- Programmatic Control Flow☆12Updated 7 years ago
- Greylock is an embedded search engine which is aimed at index size and performace☆12Updated 8 years ago
- Tracking Responses to the "Reproducibility in Computer Science" Repository (http://reproducibility.cs.arizona.edu/)☆58Updated 10 years ago
- Course materials for a Prolog course☆12Updated 8 years ago
- Generic immutable recursive data representation API targeted at source code models and more.☆35Updated this week
- Programming with Spaces in Go☆12Updated 6 years ago
- Learning problem-solving, logic/set, math, physics, economics through functional programming using Haskell☆19Updated 9 years ago
- ibmgraphblas☆27Updated 6 years ago
- ☆20Updated 5 years ago
- ☆34Updated 4 years ago
- A statically typed binary tree in Go without casts or reflection☆19Updated 11 years ago
- Wren: Nonblocking Reads in a Partitioned Transactional Causally Consistent Data Store☆8Updated 6 years ago
- Reduced on-disk Suffix Array☆21Updated 11 years ago
- SOM - Simple Object Machine☆23Updated last week
- Giraph Docker image☆12Updated 9 years ago
- Basic Golang implementation of a Triple Store. Built to learn the Golang language before an internship.☆19Updated 5 years ago
- Awk-like tool using python☆11Updated 4 years ago
- symbolic reachability checker☆23Updated 3 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…☆50Updated 5 years ago
- RPySOM - The Simple Object Machine Smalltalk implemented in RPython☆15Updated 4 years ago
- An Inductive Logic Programming system for online learning of event definitions in the form of Event Calculus programs☆19Updated 4 years ago
- Try it! https://comby.live☆10Updated last year
- A framework for building reranking models.☆28Updated 9 years ago
- FUSE-powered filesystem over Subversion repository☆8Updated 11 years ago
- Babel Street Analytics Client Library for Java☆11Updated last week
- A generic Priority Queue implementation in C using heaps - nothing fancy.☆12Updated 7 years ago