dbis-uibk / relaxLinks
RelaX - a relational algebra calculator
☆312Updated last week
Alternatives and similar repositories for relax
Users that are interested in relax are comparing it to the libraries listed below
Sorting:
- A tool for analyzing and transforming context-free grammars.☆232Updated 3 weeks ago
- Utility for FIRST, FOLLOW, PREDICT set generation aiding in custom programming language creation☆133Updated 3 years ago
- JavaScript library for working with automata and grammars for regular and context-free languages☆220Updated last year
- Visualize Turing machines and deterministic finite automata. 🔵🔁🔴↩️☆281Updated 4 years ago
- PIPE - Platform Independent Petri Net Editor☆245Updated 3 years ago
- Solutions for the book "Language Proof and Logic".☆75Updated last year
- Educational tool for relational algebra☆92Updated last year
- A website that simulates various finite state machines: DFA, NFA, PDA.☆118Updated 3 years ago
- An automatic paper generator☆1,148Updated 4 years ago
- Tree Proof Generator☆177Updated last month
- JavaScript Algorithm Visualization library☆115Updated 4 years ago
- My solutions to the exercises and practical sessions of the book 'Learn Prolog Now!' by Patrick Blackburn, Johan Bos, and Kristina Strieg…☆286Updated 2 years ago
- Generates truth tables for formulas of sentential logic☆62Updated last year
- JFLAP as provided at http://www.jflap.org/ and modified by Marco Aurélio (magsilva@gmail.com)☆35Updated 2 years ago
- SWI-Prolog for SHaring: a SWI-Prolog web IDE☆550Updated 2 months ago
- Encoding and parsing tools.☆1,011Updated 2 weeks ago
- ANTLR4 language support for Visual Studio Code☆469Updated 2 months ago
- An improved version of JFLAP 7.0 to be used as a library as well as a command line tool.☆57Updated 8 years ago
- This is the companion repository of the ANTLR Mega Tutorial, that will explain everything you need to know to use ANTLR.☆280Updated 4 years ago
- The infrastructure that powers Octave Online, octave-online.net☆341Updated last year
- Let's Graphviz it online☆921Updated last month
- Source code plagiarism detection tool☆92Updated last year
- Modal Logic Playground☆375Updated 2 years ago
- A Latex template for a Software Requirements Specification that respects the IEEE standards.☆158Updated 3 years ago
- Converts LaTeX documents to HTML☆304Updated last week
- BNF Converter☆618Updated 2 weeks ago
- The Graph Theory Software☆91Updated 8 months ago
- Online latex compiler. You give it a link, it gives you PDF☆589Updated last year
- Compiling LaTeX (TeX live) in your browser☆1,273Updated 9 years ago
- a 4.9-star chrome extension for batch downloading moodle resources 💾☆110Updated 2 months ago