dionyziz / Automata
An editor for deterministic finite automata
☆51Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for Automata
- Graph based storage of Relational Database☆10Updated 9 years ago
- Programming Language Explorations☆90Updated last week
- JavaScript library for working with automata and grammars for regular and context-free languages☆210Updated 3 months ago
- A free software repository of infographics and visualizations for understanding Computer Science ideas☆22Updated 6 years ago
- My list of things to learn☆33Updated 6 years ago
- dynamic programming solution web visualizer☆13Updated 9 years ago
- My copy of FLINT -- please use https://github.com/flintlib/flint/ for development☆82Updated last week
- A linear and mixed-integer linear programming solver written in Javascript.☆78Updated 7 years ago
- Algorithm examples in PlusCal, the algorithm language of Lamport's TLA+☆59Updated 9 years ago
- Visualizing chess openings☆35Updated 4 years ago
- JavaScript Algorithm Visualization library☆112Updated 3 years ago
- ☆27Updated 13 years ago
- Using beautiful graphics and interactive simulations, this award winning textbook makes advanced mathematical ideas accessible to the gen…☆32Updated 7 years ago
- A toy programming language that keeps it minimal☆138Updated 7 years ago
- A strongly typed language for the web!☆40Updated 8 years ago
- Αρχείο Πανελλήνιου Διαγωνισμού Πληροφορικής☆22Updated 6 months ago
- VATA Tree Automata Library☆32Updated 3 months ago
- Conway's Game of Life in 9 lines of C☆300Updated 8 years ago
- Solving "99 List Problems" using Objective Caml☆84Updated 6 years ago
- A simple OS that runs on the BIOS.☆38Updated 7 years ago
- Repo of graph algorithms visualised and explained.☆29Updated 5 years ago
- EBA is a static bug finder for C.☆14Updated 4 years ago
- A CLI to compile python codes embedded with test cases. For lazy competitive progra....☆18Updated 6 years ago
- Generating fun Stack Exchange questions using Markov chains☆25Updated 6 months ago
- Materials to prepare for the Infrastructure Engineering Interviews☆9Updated 7 years ago
- This repo contains basic Ocaml code examples.☆11Updated 8 years ago
- Competitive Programming☆21Updated 9 years ago
- A straightforward, no bells or whistles single-polynomial version of Quadratic Sieve for integer factorization☆15Updated 6 years ago
- Visualization of CPU Scheduling Algorithms.☆65Updated 5 years ago