dbis-uibk / relaxLinks
RelaX - a relational algebra calculator
☆312Updated 3 weeks ago
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☆220Updated last year
- Finite State Machine Designer☆310Updated 2 years ago
- A tool for analyzing and transforming context-free grammars.☆228Updated 2 weeks ago
- Visualize Turing machines and deterministic finite automata. 🔵🔁🔴↩️☆279Updated 4 years ago
- A website that simulates various finite state machines: DFA, NFA, PDA.☆118Updated 2 years ago
- Utility for FIRST, FOLLOW, PREDICT set generation aiding in custom programming language creation☆132Updated 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…☆162Updated last month
- JavaScript Algorithm Visualization library☆115Updated 4 years ago
- Programming languages genealogical tree☆288Updated 3 years ago
- Latex Symbol Classifier Web Frontend☆833Updated 2 years ago
- PIPE - Platform Independent Petri Net Editor☆245Updated 3 years ago
- Generates truth tables for formulas of sentential logic☆62Updated last year
- Detexify Backend written in Haskell☆914Updated 8 years ago
- Encoding and parsing tools.☆1,002Updated 2 weeks ago
- JFLAP as provided at http://www.jflap.org/ and modified by Marco Aurélio (magsilva@gmail.com)☆35Updated 2 years ago
- My solutions to the exercises and practical sessions of the book 'Learn Prolog Now!' by Patrick Blackburn, Johan Bos, and Kristina Strieg…☆289Updated 2 years ago
- Work with context-free grammars. Parsing, string generation, and manipulation.☆49Updated 3 years ago
- Instructions and license for Detexify's sample data☆286Updated 4 years ago
- Online latex compiler. You give it a link, it gives you PDF☆579Updated last year
- JavaScript LaTeX to HTML5 translator☆857Updated last year
- A Latex template for a Software Requirements Specification that respects the IEEE standards.☆158Updated 3 years ago
- Visualization of Ukkonen's algorithm☆102Updated 7 years ago
- The web front end for Overleaf, a web-based collaborative LaTeX editor☆360Updated 4 years ago
- Tools to manage problem packages using the Kattis problem package format.☆123Updated this week
- Madoko is a fast markdown processor for high quality academic and technical articles☆405Updated last year
- Solutions for the book "Language Proof and Logic".☆76Updated last year
- An open source Prolog interpreter in JavaScript☆622Updated 2 years ago
- The infrastructure that powers Octave Online, octave-online.net☆338Updated 10 months ago
- The Try It Online family of online interpreters.☆563Updated 4 years ago
- Converts LaTeX documents to HTML☆293Updated 4 months ago