dbis-uibk / relaxLinks
RelaX - a relational algebra calculator
☆313Updated last month
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.☆229Updated last month
- Visualize Turing machines and deterministic finite automata. 🔵🔁🔴↩️☆280Updated 4 years ago
- JavaScript library for working with automata and grammars for regular and context-free languages☆220Updated last year
- Utility for FIRST, FOLLOW, PREDICT set generation aiding in custom programming language creation☆132Updated 3 years ago
- A website that simulates various finite state machines: DFA, NFA, PDA.☆118Updated 3 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 2 months ago
- Online Book: Software Engineering for Self-Directed Learners☆45Updated last week
- 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
- 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
- The Try It Online family of online interpreters.☆562Updated 4 years ago
- Programming languages genealogical tree☆290Updated 3 years ago
- Compiling LaTeX (TeX live) in your browser☆1,273Updated 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
- An open source Prolog interpreter in JavaScript☆623Updated 2 years ago
- Tree Proof Generator☆177Updated 10 months ago
- The goal is to help studying logic and solvers by providing easy-to-use, pure browser-based javascript tools for both full classical pred…☆74Updated 5 years ago
- The web front end for Overleaf, a web-based collaborative LaTeX editor☆360Updated 4 years ago
- A web application for interactive visual editing of Graphviz graphs described in the DOT language.☆788Updated last year
- Instructions and license for Detexify's sample data☆287Updated 4 years ago
- Tools to manage problem packages using the Kattis problem package format.☆123Updated 3 weeks ago
- Online latex compiler. You give it a link, it gives you PDF☆587Updated last year
- PIPE - Platform Independent Petri Net Editor☆244Updated 3 years ago
- JavaScript LaTeX to HTML5 translator☆860Updated last year
- Search for ambiguities in context-free grammars.☆40Updated 4 years ago
- BNF Converter☆616Updated 3 weeks ago
- DOMjudge programming contest jury system☆850Updated this week
- Converts LaTeX documents to HTML☆297Updated last week
- Let's Graphviz it online☆921Updated last week
- ☆70Updated 7 years ago