JFLAP as provided at http://www.jflap.org/ and modified by Marco Aurélio (magsilva@gmail.com)
☆37Nov 18, 2023Updated 2 years ago
Alternatives and similar repositories for jflap
Users that are interested in jflap are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A tree-walk interpreter and a bytecode virtual machine interpreter written in the Rust Programming Language.☆13Jun 16, 2022Updated 3 years ago
- ☆13Jan 7, 2026Updated 3 months ago
- A modern LATEX beamer theme for the Universidad EAFIT☆10Jul 13, 2018Updated 7 years ago
- A Library for Classical Propositional Logic in Agda☆16Nov 19, 2019Updated 6 years ago
- Курс по Python с базовыми концепциями, такими как переменные, типы данных, операторы, функции и структуры данных. Курс включает практичес…☆11Oct 26, 2025Updated 6 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Simple Video to audio Converter☆12Aug 14, 2024Updated last year
- An image glitcher in golang☆15Feb 23, 2017Updated 9 years ago
- E.L.L.A (Enhanced Locust Logic Architecture) is a Python-based system designed for high-speed, intelligent data recovery from local datab…☆13Nov 23, 2025Updated 5 months ago
- OCaml-based AT Protocol tools☆13Oct 13, 2023Updated 2 years ago
- A witchery Javascript MVC, based on Rivets and Watch.js☆41Sep 8, 2013Updated 12 years ago
- ☆10Oct 27, 2025Updated 6 months ago
- DAG-based workflow engine for Android and low-resource environments, built for mobile-first automation..☆33Mar 17, 2026Updated last month
- An open source translation editor specifically designed for native mobile apps☆10Nov 1, 2023Updated 2 years ago
- Jalali DateTime Module For Node.JS☆20Jan 30, 2012Updated 14 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Utilizing Axios, real-time CoinGecko data is fetched for comprehensive currency insights. A simplified way to access essential cryptocurr…☆15Aug 1, 2025Updated 8 months ago
- List of Computer Science courses with video lectures.☆12Nov 6, 2024Updated last year
- The proof of undecidability of halting problem, using the model -- WHILE language.☆21May 27, 2020Updated 5 years ago
- PersonAi is a local-first desktop app that lets you create and chat with AI-powered characters. Built with Tauri, React, Rust, Go, and Py…☆26Aug 25, 2025Updated 8 months ago
- Haskell implementation of the Edinburgh Logical Framework☆32Jan 12, 2026Updated 3 months ago
- A bad tool for RE☆14Aug 9, 2023Updated 2 years ago
- ☆13Feb 12, 2025Updated last year
- Media Server Standalone☆13Jan 9, 2024Updated 2 years ago
- ☆12Jun 6, 2021Updated 4 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- 📸 ImageTextReader is a Library for performing OCR in fast and convenient way☆17May 16, 2024Updated last year
- ☆23Oct 28, 2024Updated last year
- My profile☆25Updated this week
- JavaScript: A Beginner's Guide, 5th Edition Code☆14Sep 21, 2019Updated 6 years ago
- Hilink Travel Web App☆26Mar 1, 2025Updated last year
- ARFF reader/writer tools for MATLAB☆12Mar 17, 2015Updated 11 years ago
- Kotlin completion plugin for IntelliJ & Android Studio☆29May 7, 2018Updated 7 years ago
- Saf C ve Win32 API kullanılarak yazılmış, Notepad benzeri uygulama.☆14Oct 24, 2025Updated 6 months ago
- An automatic theorem prover for first order logic with equality☆34Mar 5, 2026Updated last month
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Gradle plugin for building (and running) bots for Robocode☆13May 30, 2023Updated 2 years ago
- Ferramenta para o ensino de Álgebra e Cálculo Relacional☆10Aug 10, 2020Updated 5 years ago
- A playground for Nix and CUDA☆21Jan 10, 2026Updated 3 months ago
- examples of intellij plugins☆11Jan 25, 2018Updated 8 years ago
- A collection of open source and commercial tools that aid in red team operations.☆14Jun 14, 2018Updated 7 years ago
- 🤓 A collection of AWESOME structured summaries of Large Language Models (LLMs)☆12Sep 7, 2023Updated 2 years ago
- SRT to DOC Converter is a C# application that allows you to convert SRT subtitle files from movies or YouTube videos into DOC format. Thi…☆17Jan 30, 2025Updated last year