dbis-uibk / relax
RelaX - a relational algebra calculator
☆297Updated this week
Alternatives and similar repositories for relax:
Users that are interested in relax are comparing it to the libraries listed below
- JavaScript Algorithm Visualization library☆114Updated 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…☆146Updated 2 weeks ago
- Finite State Machine Designer☆300Updated last year
- Converts LaTeX documents to HTML☆278Updated last month
- JavaScript library for working with automata and grammars for regular and context-free languages☆211Updated 6 months ago
- Visualize Turing machines and deterministic finite automata. 🔵🔁🔴↩️☆252Updated 3 years ago
- Solutions for the book "Language Proof and Logic".☆75Updated 6 months ago
- JavaScript LaTeX to HTML5 translator☆809Updated 11 months ago
- Latex and ASCIIMath evaluator for Javascript.☆75Updated 2 years ago
- a 4.9-star chrome extension for batch downloading moodle resources 💾☆102Updated 3 years ago
- A tool for analyzing and transforming context-free grammars.☆213Updated 3 months ago
- Generates truth tables for formulas of sentential logic☆61Updated 6 months ago
- Data Structure Visualizations☆30Updated 4 years ago
- minted is a LaTeX package that provides syntax highlighting using the Pygments library. Highlighted source code can be customized using f…☆1,781Updated this week
- COVID-19 Futures, Explained With Playable Simulations☆232Updated 9 months ago
- My solutions to the exercises and practical sessions of the book 'Learn Prolog Now!' by Patrick Blackburn, Johan Bos, and Kristina Strieg…☆289Updated last year
- the MiKTeX source code☆843Updated this week
- Constraint Logic Programming over Finite Domains☆174Updated 5 years ago
- A Latex template for a Software Requirements Specification that respects the IEEE standards.☆151Updated 2 years ago
- Educational tool for relational algebra☆91Updated 10 months ago
- typeset JavaScript codes in Latex☆41Updated 4 years ago
- Pympress is a simple yet powerful PDF reader designed for dual-screen presentations☆1,263Updated 2 months ago
- Display & share text in a large font, directly from your browser☆171Updated this week
- piStar is an online goal modeling tool supporting the iStar 2.0 requirements engineering standard☆34Updated last month
- readme☆153Updated last year
- Problem rendering engine for WeBWorK☆46Updated this week
- Build system for tex4ht☆145Updated last week
- Instructions and license for Detexify's sample data☆277Updated 3 years ago
- PIPE - Platform Independent Petri Net Editor☆238Updated 2 years ago
- Javascript library handling mathematical expressions involving transcendental functions☆50Updated 3 months ago