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:
- JavaScript library for working with automata and grammars for regular and context-free languages☆221Updated last year
- A tool for analyzing and transforming context-free grammars.☆230Updated last week
- Visualize Turing machines and deterministic finite automata. 🔵🔁🔴↩️☆281Updated 4 years ago
- Finite State Machine Designer☆310Updated 2 years ago
- MARIE.js is a simple, yet intuitive MARIE simulator built in JavaScript and is used for teaching computing architecture and assembly lan…☆163Updated last week
- My solutions to the exercises and practical sessions of the book 'Learn Prolog Now!' by Patrick Blackburn, Johan Bos, and Kristina Strieg…☆288Updated 2 years ago
- Encoding and parsing tools.☆1,009Updated last week
- Madoko is a fast markdown processor for high quality academic and technical articles☆406Updated last year
- The Try It Online family of online interpreters.☆562Updated 4 years ago
- ☆70Updated 7 years ago
- A LaTeX Typesetting Game☆262Updated 10 months ago
- Tree Proof Generator☆177Updated 2 weeks ago
- JFLAP as provided at http://www.jflap.org/ and modified by Marco Aurélio (magsilva@gmail.com)☆35Updated 2 years ago
- Online latex compiler. You give it a link, it gives you PDF☆589Updated last year
- Programming languages genealogical tree☆290Updated 3 years ago
- LaTeX tree maker: https://lautgesetz.com/latreex/☆38Updated 3 years ago
- Work with context-free grammars. Parsing, string generation, and manipulation.☆50Updated 3 years ago
- JavaScript Algorithm Visualization library☆115Updated 4 years ago
- Educational tool for relational algebra☆92Updated last year
- Let's Graphviz it online☆921Updated last month
- Solutions for the book "Language Proof and Logic".☆75Updated last year
- Visualization of Ukkonen's algorithm☆104Updated 7 years ago
- Turing machine simulator in HTML/Javascript☆88Updated 2 years ago
- Search for ambiguities in context-free grammars.☆40Updated 4 years ago
- Latex Symbol Classifier Web Frontend☆838Updated 3 years ago
- Tools to manage problem packages using the Kattis problem package format.☆123Updated 2 weeks ago
- The LaTeX listings package does not include a language specification for JavaScript/ECMAScript, this fills the gap in the interim.☆44Updated 4 years ago
- Some simple examples for new Prolog programmers☆620Updated 3 years ago
- Instructions and license for Detexify's sample data☆287Updated 4 years ago
- Generates truth tables for formulas of sentential logic☆62Updated last year