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β220Updated last year
- Visualize Turing machines and deterministic finite automata. π΅ππ΄β©οΈβ276Updated 4 years ago
- A tool for analyzing and transforming context-free grammars.β227Updated 6 months ago
- Finite State Machine Designerβ310Updated 2 years ago
- A website that simulates various finite state machines: DFA, NFA, PDA.β116Updated 2 years ago
- JFLAP as provided at http://www.jflap.org/ and modified by Marco AurΓ©lio (magsilva@gmail.com)β35Updated 2 years ago
- Educational tool for relational algebraβ92Updated last year
- Programming languages genealogical treeβ288Updated 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β¦β162Updated last month
- Utility for FIRST, FOLLOW, PREDICT set generation aiding in custom programming language creationβ132Updated 2 years ago
- This is the companion repository of the ANTLR Mega Tutorial, that will explain everything you need to know to use ANTLR.β279Updated 4 years ago
- Let's Graphviz it onlineβ908Updated 2 months ago
- The Try It Online family of online interpreters.β562Updated 4 years ago
- Turing machine simulator in HTML/Javascriptβ86Updated last year
- Instructions and license for Detexify's sample dataβ287Updated 4 years ago
- A LaTeX Typesetting Gameβ258Updated 7 months ago
- Detexify Backend written in Haskellβ915Updated 8 years ago
- Visualization of Ukkonen's algorithmβ102Updated 7 years ago
- 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β¦β796Updated 5 months ago
- Latex Symbol Classifier Web Frontendβ835Updated 2 years ago
- The web front end for Overleaf, a web-based collaborative LaTeX editorβ360Updated 4 years ago
- PIPE - Platform Independent Petri Net Editorβ244Updated 3 years ago
- Tree Proof Generatorβ175Updated 8 months ago
- β70Updated 7 years ago
- BNF Converterβ611Updated last month
- Work with context-free grammars. Parsing, string generation, and manipulation.β49Updated 3 years ago
- Alpha-Beta Pruning Practice Appβ133Updated 8 years ago
- Generates truth tables for formulas of sentential logicβ62Updated last year
- A web application for interactive visual editing of Graphviz graphs described in the DOT language.β780Updated last year
- An open source Prolog interpreter in JavaScriptβ624Updated 2 years ago