dbis-uibk / relaxLinks
RelaX - a relational algebra calculator
☆309Updated 2 months ago
Alternatives and similar repositories for relax
Users that are interested in relax are comparing it to the libraries listed below
Sorting:
- Finite State Machine Designer☆309Updated 2 years ago
- A tool for analyzing and transforming context-free grammars.☆226Updated 6 months ago
- Visualize Turing machines and deterministic finite automata. 🔵🔁🔴↩️☆271Updated 4 years ago
- JavaScript library for working with automata and grammars for regular and context-free languages☆220Updated last year
- A website that simulates various finite state machines: DFA, NFA, PDA.☆115Updated 2 years ago
- Programming languages genealogical tree☆287Updated 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…☆161Updated last week
- JavaScript Algorithm Visualization library☆116Updated 4 years ago
- The Try It Online family of online interpreters.☆559Updated 4 years ago
- Generates truth tables for formulas of sentential logic☆62Updated last year
- My solutions to the exercises and practical sessions of the book 'Learn Prolog Now!' by Patrick Blackburn, Johan Bos, and Kristina Strieg…☆290Updated 2 years ago
- Javascript/canvas linguistics syntax tree generator.☆251Updated 3 years ago
- JFLAP as provided at http://www.jflap.org/ and modified by Marco Aurélio (magsilva@gmail.com)☆35Updated last year
- The web front end for Overleaf, a web-based collaborative LaTeX editor☆359Updated 4 years ago
- Educational tool for relational algebra☆92Updated last year
- Latex Symbol Classifier Web Frontend☆835Updated 2 years ago
- Turing machine simulator in HTML/Javascript☆85Updated last year
- Tree Proof Generator☆173Updated 8 months ago
- Online latex compiler. You give it a link, it gives you PDF☆563Updated last year
- The goal is to help studying logic and solvers by providing easy-to-use, pure browser-based javascript tools for both full classical pred…☆73Updated 5 years ago
- A LaTeX Typesetting Game☆258Updated 7 months ago
- A place for automata☆78Updated last week
- BNF Converter☆611Updated 2 weeks ago
- Let's Graphviz it online☆905Updated last month
- Compiling LaTeX (TeX live) in your browser☆1,267Updated 8 years ago
- A VS Code extension that provides language support for prolog☆102Updated 2 years ago
- Detexify Backend written in Haskell☆915Updated 8 years ago
- I downvoted because...☆269Updated 3 years ago
- JavaScript LaTeX to HTML5 translator☆851Updated last year