JFLAP as provided at http://www.jflap.org/ and modified by Marco Aurélio (magsilva@gmail.com)
☆38Nov 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 4 years ago
- Курс по Python с базовыми концепциями, такими как переменные, типы данных, операторы, функции и структуры данных. Курс включает практичес…☆11Oct 26, 2025Updated 8 months ago
- Script to download all of Hackage☆18Jul 14, 2019Updated 7 years ago
- Paradox model finder and equinox theorem prover for first-order logic.☆22Sep 20, 2025Updated 10 months ago
- An improved version of JFLAP 7.0 to be used as a library as well as a command line tool.☆61Feb 5, 2018Updated 8 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Reason color converter☆10Jul 24, 2018Updated 8 years ago
- OCaml-based AT Protocol tools☆14Oct 13, 2023Updated 2 years ago
- DDos-Blitz is a Distributed-Denial-of-Service script which sends multiple HTTP requests to the server using multi threading and fake IP. …☆11Oct 29, 2023Updated 2 years ago
- fully integrated e-commerce website made with django-react☆16Jan 24, 2025Updated last year
- ☆10Oct 27, 2025Updated 8 months ago
- ☆12Jun 6, 2021Updated 5 years ago
- An image glitcher in golang☆15Feb 23, 2017Updated 9 years ago
- An open source translation editor specifically designed for native mobile apps☆10Nov 1, 2023Updated 2 years ago
- Utilizing Axios, real-time CoinGecko data is fetched for comprehensive currency insights. A simplified way to access essential cryptocurr…☆12Aug 1, 2025Updated 11 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Tools to assist with the configuration and management of fapolicyd.☆19Feb 1, 2026Updated 5 months ago
- List of Computer Science courses with video lectures.☆12Nov 6, 2024Updated last year
- Library classes for the Twelf Proof System☆22Jun 16, 2020Updated 6 years ago
- Haskell implementation of the Edinburgh Logical Framework☆33Jan 12, 2026Updated 6 months ago
- linux 资料收集☆13Mar 2, 2023Updated 3 years ago
- Cheetah is Download Manager that can run on Linux, Windows and Mac OSX☆13Jun 24, 2025Updated last year
- A bad tool for RE☆14Aug 9, 2023Updated 2 years ago
- ☆12Jul 24, 2023Updated 3 years ago
- ☆13Feb 12, 2025Updated last year
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Samples of binary with different formats and architectures. A test suite for your binary analysis tools.☆21Jun 23, 2014Updated 12 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…☆16Jan 30, 2025Updated last year
- JavaScript: A Beginner's Guide, 5th Edition Code☆15Sep 21, 2019Updated 6 years ago
- ASP.NET Core 8 Clean Architecture template☆13Mar 16, 2026Updated 4 months ago
- Deterministic Regular Expressions with Backreferences☆21Oct 12, 2020Updated 5 years ago
- GenAI 🧠 - 𝘸𝘰𝘳𝘬 𝘪𝘯 𝘱𝘳𝘰𝘨𝘳𝘦𝘴𝘴...☆17Sep 28, 2025Updated 9 months ago
- ☆12May 10, 2024Updated 2 years ago
- Live demo☆11Aug 9, 2024Updated last year
- crack login and pass☆13Oct 15, 2018Updated 7 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Translate docker run and docker compose file to Infrastructure as Code☆22Mar 20, 2026Updated 4 months ago
- An automatic theorem prover for first order logic with equality☆36Mar 5, 2026Updated 4 months ago
- Gradle plugin for building (and running) bots for Robocode☆13May 30, 2023Updated 3 years ago
- Global Disease Database – Android app to gather images for disease detection☆12Jan 1, 2025Updated last year
- Ferramenta para o ensino de Álgebra e Cálculo Relacional☆10Aug 10, 2020Updated 5 years ago
- ☆34Updated this week
- A Python library for graph coloring☆16Feb 13, 2026Updated 5 months ago