magsilva / jflap
JFLAP as provided at http://www.jflap.org/ and modified by Marco Aurélio (magsilva@gmail.com)
☆34Updated last year
Related projects ⓘ
Alternatives and complementary repositories for jflap
- An improved version of JFLAP 7.0 to be used as a library as well as a command line tool.☆52Updated 6 years ago
- A tool for analyzing and transforming context-free grammars.☆206Updated this week
- Turing machine simulator in HTML/Javascript☆83Updated 9 months ago
- Statements of famous theorems proven in Coq [maintainer=@jmadiot]☆56Updated 8 months ago
- Library for symbolic automata and symbolic visibly pushdown automata☆63Updated last year
- A website that simulates various finite state machines: DFA, NFA, PDA.☆100Updated last year
- JavaScript library for working with automata and grammars for regular and context-free languages☆210Updated 3 months ago
- 🏆 Some 'facts' about the arguably most prominent competitive programmer of all time.☆41Updated 2 months ago
- Benchmark problems for different models of automata, transducers, and related logics☆28Updated last month
- Beginning of formal language theory☆23Updated 4 years ago
- A regular expression to SMT-LIB constraint translator☆10Updated 6 years ago
- An esoteric programming language based on Rubik's Cubes☆28Updated 6 years ago
- The Princess Theorem Prover☆22Updated this week
- Utility for FIRST, FOLLOW, PREDICT set generation aiding in custom programming language creation☆126Updated last year
- A dk.brics FSM to regular-expression-string converter☆10Updated 4 years ago
- An Introduction to Various Math Topics☆9Updated 9 years ago
- An automated theorem prover for first-order logic.☆234Updated 2 years ago
- Type checking ifdef variability☆76Updated 3 years ago
- Grammar Zoo☆84Updated 5 years ago
- Search for ambiguities in context-free grammars.☆39Updated 3 years ago
- Generates loop invariants for program verification☆58Updated 3 years ago
- A Verified Compiler for Gallina, Written in Gallina☆136Updated 3 months ago
- Polyglot Extensible Compiler Framework for Java☆108Updated 2 years ago
- Java implementations of sequences in the OEIS☆58Updated this week
- A lambda calculus interpeter☆64Updated 3 years ago
- Jape, a configurable proof editor (best at natural deduction and sequent calculus)☆47Updated 11 months ago
- JavaScript/PHP Fitch-style natural deduction proof editor and checker (NO LONGER MAINTAINED)☆51Updated 2 months ago
- Women in Programming Languages and Software Engineering Research☆167Updated last week
- A complete Parser for C-Language using Yacc.☆98Updated 2 years ago
- Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…☆40Updated 3 years ago