dbis-uibk / relaxLinks
RelaX - a relational algebra calculator
☆307Updated 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☆220Updated last year
- A tool for analyzing and transforming context-free grammars.☆224Updated 4 months ago
- Visualize Turing machines and deterministic finite automata. 🔵🔁🔴↩️☆267Updated 4 years ago
- Finite State Machine Designer☆306Updated last year
- A website that simulates various finite state machines: DFA, NFA, PDA.☆111Updated 2 years ago
- JavaScript Algorithm Visualization library☆116Updated 4 years ago
- Educational tool for relational algebra☆91Updated last year
- My solutions to the exercises and practical sessions of the book 'Learn Prolog Now!' by Patrick Blackburn, Johan Bos, and Kristina Strieg…☆291Updated 2 years ago
- The Try It Online family of online interpreters.☆555Updated 4 years ago
- Utility for FIRST, FOLLOW, PREDICT set generation aiding in custom programming language creation☆132Updated 2 years ago
- Latex Symbol Classifier Web Frontend☆833Updated 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…☆155Updated 4 months ago
- Madoko is a fast markdown processor for high quality academic and technical articles☆399Updated 11 months ago
- Generates truth tables for formulas of sentential logic☆61Updated last year
- A Latex template for a Software Requirements Specification that respects the IEEE standards.☆158Updated 2 years ago
- Work with context-free grammars. Parsing, string generation, and manipulation.☆46Updated 3 years ago
- Tree Proof Generator☆169Updated 6 months ago
- The definite Conway's Game of Life implementation in your browser. Features an infinite field & Hashlife☆419Updated 4 years ago
- Detexify Backend written in Haskell☆914Updated 8 years ago
- JFLAP as provided at http://www.jflap.org/ and modified by Marco Aurélio (magsilva@gmail.com)☆35Updated last year
- Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from findin…☆779Updated 2 months ago
- Programming languages genealogical tree☆278Updated 2 years ago
- A LaTeX Typesetting Game☆255Updated 5 months ago
- This is the companion repository of the ANTLR Mega Tutorial, that will explain everything you need to know to use ANTLR.☆278Updated 4 years ago
- JavaScript LaTeX to HTML5 translator☆843Updated last year
- An open source Prolog interpreter in JavaScript☆616Updated 2 years ago
- RA (radb): A relational algebra interpreter over relational databases☆66Updated 2 years ago
- Online Book: Software Engineering for Self-Directed Learners☆43Updated this week
- Search for ambiguities in context-free grammars.☆40Updated 4 years ago
- This is source code of graphonline service. Graphonline helps visualize graph and applies a lot of algorithms.☆371Updated last week