dbis-uibk / relaxLinks
RelaX - a relational algebra calculator
☆307Updated 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.☆225Updated 4 months ago
- A website that simulates various finite state machines: DFA, NFA, PDA.☆114Updated 2 years ago
- Utility for FIRST, FOLLOW, PREDICT set generation aiding in custom programming language creation☆132Updated 2 years ago
- JavaScript library for working with automata and grammars for regular and context-free languages☆220Updated last year
- Visualize Turing machines and deterministic finite automata. 🔵🔁🔴↩️☆269Updated 4 years ago
- Finite State Machine Designer☆309Updated last year
- Programming languages genealogical tree☆280Updated 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…☆291Updated 2 years ago
- Converts LaTeX documents to HTML☆289Updated 2 months ago
- JFLAP as provided at http://www.jflap.org/ and modified by Marco Aurélio (magsilva@gmail.com)☆35Updated last year
- PIPE - Platform Independent Petri Net Editor☆242Updated 3 years ago
- Solutions for the book "Language Proof and Logic".☆76Updated last year
- ☆69Updated 6 years ago
- BNF Converter☆607Updated 2 weeks ago
- Tree Proof Generator☆171Updated 6 months ago
- MARIE.js is a simple, yet intuitive MARIE simulator built in JavaScript and is used for teaching computing architecture and assembly lan…☆159Updated last week
- An improved version of JFLAP 7.0 to be used as a library as well as a command line tool.☆55Updated 7 years ago
- Source code for my online relational database tools calculator☆76Updated 4 years ago
- Implementations of sublanguages of JavaScript, TypeScript, Scheme and Python☆75Updated this week
- Madoko is a fast markdown processor for high quality academic and technical articles☆400Updated last year
- JavaScript LaTeX to HTML5 translator☆844Updated last year
- ANTLR4 language support for Visual Studio Code☆457Updated 10 months ago
- Generates truth tables for formulas of sentential logic☆62Updated last year
- PYPL Popularity of programming language index☆87Updated 2 weeks ago
- Latex Symbol Classifier Web Frontend☆833Updated 2 years ago
- The implementation of the Rascal meta-programming language (including interpreter, type checker, parser generator, compiler and JVM based…☆430Updated this week
- Simple LaTeX editor☆789Updated 10 months ago
- A Latex template for a Software Requirements Specification that respects the IEEE standards.☆158Updated 3 years ago
- Compiling LaTeX (TeX live) in your browser☆1,264Updated 8 years ago
- A LaTeX Typesetting Game☆256Updated 5 months ago