pranavraj / AutomataPlusLinks
A Theory of Computation (TOC) tool written purely in python to check and experiment with TOC concepts. It has functionalities which allows users to work with both deterministic and non deterministic automata, regular expressions, turing machines etc.
☆13Updated 11 years ago
Alternatives and similar repositories for AutomataPlus
Users that are interested in AutomataPlus are comparing it to the libraries listed below
Sorting:
- Python-based Project Euler command line tool.☆552Updated 2 years ago
- [WIP] A python automata library implementing Finite Automata, FA with Output and PDA☆22Updated 3 years ago
- Moss summarizer☆194Updated 2 years ago
- SymPy Presentation☆38Updated 9 years ago
- Machine Learning Benchmark Scripts☆106Updated 5 years ago
- Implementation of a Fibonacci heap in Python☆93Updated 3 years ago
- Solutions to "Introduction to Algorithm, 3rd Edition"☆293Updated 10 years ago
- A crawler to crawl topcoder problems and compile into a single PDF file.☆8Updated 7 years ago
- ☆9Updated 11 years ago
- Download course contents of a udacity course☆10Updated 10 years ago
- Public materials for the Fall 2016 offering of CS145☆34Updated 7 years ago
- My (Rubyist) solutions to Google's Python class☆37Updated 11 years ago
- This repository is for learning and understanding how algorithms work.☆242Updated last month
- related materials for coursera & edx MOOCs, will no longer update.☆63Updated 9 years ago
- Python bindings to picosat (a SAT solver)☆189Updated 4 months ago
- ☆45Updated 6 years ago
- OverCode's public repo (OverCode 2.0 is still a private repo and will hopefully be released soon). See http://people.csail.mit.edu/elg/ov…☆23Updated 8 years ago
- ☆14Updated 6 years ago
- Files accompanying UW Machines Who Learn workshops☆41Updated 7 years ago
- University of Edinburgh Programming Club☆56Updated 4 years ago
- Deepcoder paper implementation☆118Updated 2 years ago
- Python library for analyzing gaze data from programmers☆18Updated 7 years ago
- A graph manipulation library in pure Python☆74Updated 11 months ago
- JavaScript library for working with automata and grammars for regular and context-free languages☆219Updated 11 months ago
- ☆25Updated 8 months ago
- ☆30Updated 12 years ago
- Game Tree Search Algorithms - C++ library for AI bot programming☆85Updated 2 months ago
- A Learning Environment for Theorem Proving with the Coq proof assistant☆406Updated 2 years ago
- A python program to build nfa, dfa and minimised DFA from given regular expression. Uses Tkinter for GUI and GraphViz for graphs.☆121Updated 3 months ago
- A series of blog posts on visualizing deep learning.☆163Updated 8 years ago