dbis-uibk / relaxLinks
RelaX - a relational algebra calculator
☆308Updated last month
Alternatives and similar repositories for relax
Users that are interested in relax are comparing it to the libraries listed below
Sorting:
- Visualize Turing machines and deterministic finite automata. 🔵🔁🔴↩️☆269Updated 4 years ago
- JavaScript library for working with automata and grammars for regular and context-free languages☆220Updated last year
- A tool for analyzing and transforming context-free grammars.☆225Updated 5 months ago
- A website that simulates various finite state machines: DFA, NFA, PDA.☆114Updated 2 years ago
- https://cyberzhg.github.io/toolbox/ Encoding and parsing tools.☆989Updated last year
- Finite State Machine Designer☆309Updated last year
- An improved version of JFLAP 7.0 to be used as a library as well as a command line tool.☆55Updated 7 years ago
- JFLAP as provided at http://www.jflap.org/ and modified by Marco Aurélio (magsilva@gmail.com)☆35Updated last year
- Solutions for the book "Language Proof and Logic".☆75Updated last year
- My solutions to the exercises and practical sessions of the book 'Learn Prolog Now!' by Patrick Blackburn, Johan Bos, and Kristina Strieg…☆290Updated 2 years ago
- Tree Proof Generator☆173Updated 7 months ago
- The Try It Online family of online interpreters.☆558Updated 4 years ago
- MARIE.js is a simple, yet intuitive MARIE simulator built in JavaScript and is used for teaching computing architecture and assembly lan…☆160Updated last month
- Utility for FIRST, FOLLOW, PREDICT set generation aiding in custom programming language creation☆132Updated 2 years ago
- Educational tool for relational algebra☆92Updated last year
- JavaScript Algorithm Visualization library☆116Updated 4 years ago
- SWI-Prolog for SHaring: a SWI-Prolog web IDE☆538Updated last week
- BNF Converter☆609Updated 2 weeks ago
- Generate random nonsense math papers☆607Updated 5 years ago
- A LaTeX Typesetting Game☆256Updated 6 months ago
- A place for automata☆78Updated this week
- An automatic paper generator☆1,139Updated 3 years ago
- Visualization of Ukkonen's algorithm☆102Updated 7 years ago
- A Python library for simulating finite automata, pushdown automata, and Turing machines☆388Updated 2 weeks ago
- Work with context-free grammars. Parsing, string generation, and manipulation.☆47Updated 3 years ago
- JavaScript LaTeX to HTML5 translator☆847Updated last year
- ☆70Updated 6 years ago
- PIPE - Platform Independent Petri Net Editor☆243Updated 3 years ago
- JavaScript/PHP Fitch-style natural deduction proof editor and checker (NO LONGER MAINTAINED)☆55Updated last month
- Generates truth tables for formulas of sentential logic☆62Updated last year