An online simulator for finite automata (FA), pushdown automata (PDA) and linear bounded automata (LBA).
☆11Oct 30, 2017Updated 8 years ago
Alternatives and similar repositories for AutomatonSimulator
Users that are interested in AutomatonSimulator are comparing it to the libraries listed below
Sorting:
- a minimal lisp interpreter written in ruby☆11Apr 15, 2021Updated 4 years ago
- A Collection of Papers & Notes in Programming Language & Formal Verification☆17May 10, 2022Updated 3 years ago
- It's an simple django project for django beginners. It's cover all the django basic such as views, models, urls etc.☆11Oct 8, 2020Updated 5 years ago
- a notepad++ plugin contains lexer and code folding for Nim lang☆33Jun 12, 2022Updated 3 years ago
- Port of the LLVM compiler infrastructure to the time-predictable processor Patmos☆15Apr 2, 2025Updated 10 months ago
- codegeeks website sourcecode☆11Sep 24, 2024Updated last year
- ☆12Feb 15, 2024Updated 2 years ago
- A set of general and specialized tools for building browser extensions and user scripts targeting Duolingo.☆10Nov 15, 2025Updated 3 months ago
- RISC-V 64 CPU☆10Oct 4, 2025Updated 4 months ago
- A Sublime Text 2 Plugin that can generate a sequence of numbers using search and replace.☆28Sep 29, 2019Updated 6 years ago
- ☆14Jul 17, 2018Updated 7 years ago
- My common-lisp solutions to advent of code☆13Dec 14, 2025Updated 2 months ago
- A minimal IRC server☆20Jul 27, 2024Updated last year
- A ground-up rewrite of the mapchooser system☆10May 9, 2020Updated 5 years ago
- Ergonomic GMP Integers for Nim☆10Sep 1, 2023Updated 2 years ago
- Flatpak builds for Signal, from source☆16Feb 21, 2026Updated last week
- ☆11Aug 23, 2023Updated 2 years ago
- Transparent serialization of python plain-old-data classes☆12Aug 31, 2022Updated 3 years ago
- ☆16Mar 25, 2013Updated 12 years ago
- Outline view for Sublime Text 3☆11Sep 7, 2019Updated 6 years ago
- A lambda calculus parser, evaluator and repl☆11Oct 30, 2021Updated 4 years ago
- An MLIR-based AI compiler designed for Python frontend to RISC-V DSA☆13Oct 10, 2024Updated last year
- OCEAN – Open-source CXL Emulation at Hyperscale Architecture and Networking.☆22Updated this week
- Generate Linux Perf event tables for Apple Silicon☆17Dec 16, 2025Updated 2 months ago
- nim playground using monaco editor and wandbox api☆12Oct 25, 2024Updated last year
- The parsesql module implements a high performance SQL file parser. It parses PostgreSQL syntax and the SQL ANSI standard.☆11Jun 8, 2021Updated 4 years ago
- A bare-bones console logger for Sublime Text 2 and 3.☆13Dec 2, 2016Updated 9 years ago
- Sublime plugin that allows to manipulate methods in file☆12Nov 24, 2015Updated 10 years ago
- GIT can make your repo more modular with `git submodule` (as shown in this repo). Here is a utility to send recursive commands through th…☆11Sep 28, 2022Updated 3 years ago
- A tool for cross-checking Verilog compilers☆14Apr 16, 2025Updated 10 months ago
- Support Sublime Text 3 packages for LimeText☆14Mar 17, 2020Updated 5 years ago
- An easily configurable Debezium Docker image ready for the cloud☆13Jun 5, 2020Updated 5 years ago
- 🩺 Effortless property-based, type-based testing for Nim.☆12Jul 26, 2021Updated 4 years ago
- ☆10May 9, 2024Updated last year
- A tiny Java program that shows the current calendar week in a system tray☆11Sep 2, 2017Updated 8 years ago
- An implementation of perceptual hash in Nim language☆10Oct 12, 2022Updated 3 years ago
- A Sublime Text plugin to determine indentation settings based on filename rather than current indentation.☆24Nov 11, 2013Updated 12 years ago
- Log rotation of stdout & stderr☆15May 9, 2014Updated 11 years ago
- LifeGame homework of Software Engineering MOOC (http://www.xuetangx.com/courses/TsinghuaX/34100325X/2015_T1/about)☆10Mar 18, 2016Updated 9 years ago