Alternatives and similar repositories for relax:

Users that are interested in relax are comparing it to the libraries listed below

• ltworf / relational
  Educational tool for relational algebra
  ☆91Updated 8 months ago
• izuzak / noam
  JavaScript library for working with automata and grammars for regular and context-free languages
  ☆211Updated 5 months ago
• magsilva / jflap
  JFLAP as provided at http://www.jflap.org/ and modified by Marco Aurélio (magsilva@gmail.com)
  ☆34Updated last year
• CyberZHG / toolbox
  https://cyberzhg.github.io/toolbox/ Encoding and parsing tools.
  ☆960Updated last year
• wo / tpg
  Tree Proof Generator
  ☆158Updated 3 months ago
• raymondcho / RelationalDatabaseTools
  Source code for my online relational database tools calculator
  ☆74Updated 3 years ago
• citiususc / jflap-lib
  An improved version of JFLAP 7.0 to be used as a library as well as a command line tool.
  ☆53Updated 6 years ago
• mdaines / grammophone
  A tool for analyzing and transforming context-free grammars.
  ☆211Updated 2 months ago
• evanw / fsm
  Finite State Machine Designer
  ☆298Updated last year
• overleaf / web
  The web front end for Overleaf, a web-based collaborative LaTeX editor
  ☆348Updated 3 years ago
• mrieppel / TruthTableGenerator
  Generates truth tables for formulas of sentential logic
  ☆61Updated 5 months ago
• aykamko / abTreePractice
  Alpha-Beta Pruning Practice App
  ☆118Updated 7 years ago
• caleb531 / automata
  A Python library for simulating finite automata, pushdown automata, and Turing machines
  ☆370Updated last week
• olimpiadi-informatica / oii
  Repository contenente task di programmazione tratti dalle selezioni territoriali e nazionali delle Olimpiadi Italiane di Informatica.
  ☆26Updated 4 years ago
• vkaravir / JSAV
  JavaScript Algorithm Visualization library
  ☆113Updated 3 years ago
• junyang / radb
  RA (radb): A relational algebra interpreter over relational databases
  ☆64Updated last year
• kdickerson / automatonSimulator
  A website that simulates various finite state machines: DFA, NFA, PDA.
  ☆102Updated 2 years ago
• tau-prolog / tau-prolog
  An open source Prolog interpreter in JavaScript
  ☆584Updated 2 years ago
• sarahtattersall / PIPE
  PIPE - Platform Independent Petri Net Editor
  ☆237Updated 2 years ago
• hjalti / mossum
  Moss summarizer
  ☆188Updated 2 years ago
• Doenet / math-expressions
  Javascript library handling mathematical expressions involving transcendental functions
  ☆49Updated last month
• MARIE-js / MARIE.js
  MARIE.js is a simple, yet intuitive MARIE simulator built in JavaScript and is used for teaching computing architecture and assembly lan…
  ☆146Updated this week
• ariroffe / logics
  Logics is a Python framework for mathematical logic
  ☆22Updated 8 months ago
• MiKTeX / miktex
  the MiKTeX source code
  ☆826Updated 2 weeks ago
• BNFC / bnfc
  BNF Converter
  ☆591Updated 2 months ago
• jpeisenbarth / SRS-Tex
  A Latex template for a Software Requirements Specification that respects the IEEE standards.
  ☆149Updated 2 years ago
• habi / latex
  Some LaTeX code snippets I've hacked together over the years.
  ☆138Updated 3 weeks ago
• lishid / MarmoUI
  Marmoset Improved! Better UI and functionality
  ☆40Updated 11 months ago
• aepsilon / turing-machine-viz
  Visualize Turing machines and deterministic finite automata. 🔵🔁🔴↩️
  ☆249Updated 3 years ago
• soachishti / moss.py
  Python client for Moss: A System for Detecting Software Similarity
  ☆394Updated 6 months ago