Alternatives and similar repositories for relax

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

• aepsilon / turing-machine-viz
  Visualize Turing machines and deterministic finite automata. 🔵🔁🔴↩️
  ☆264Updated 4 years ago
• mdaines / grammophone
  A tool for analyzing and transforming context-free grammars.
  ☆223Updated 2 months ago
• izuzak / noam
  JavaScript library for working with automata and grammars for regular and context-free languages
  ☆216Updated 10 months ago
• evanw / fsm
  Finite State Machine Designer
  ☆305Updated last year
• kdickerson / automatonSimulator
  A website that simulates various finite state machines: DFA, NFA, PDA.
  ☆108Updated 2 years ago
• MikeDevice / first-follow
  Utility for FIRST, FOLLOW, PREDICT set generation aiding in custom programming language creation
  ☆131Updated 2 years ago
• stereobooster / programming-languages-genealogical-tree
  Programming languages genealogical tree
  ☆275Updated 2 years ago
• ltworf / relational
  Educational tool for relational algebra
  ☆91Updated last year
• dragonwasrobot / learn-prolog-now-exercises
  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
• bakkot / cfgrammar-tool
  Work with context-free grammars. Parsing, string generation, and manipulation.
  ☆46Updated 3 years ago
• wo / tpg
  Tree Proof Generator
  ☆170Updated 4 months ago
• 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…
  ☆154Updated 2 months ago
• magsilva / jflap
  JFLAP as provided at http://www.jflap.org/ and modified by Marco Aurélio (magsilva@gmail.com)
  ☆35Updated last year
• kirel / detexify
  Latex Symbol Classifier Web Frontend
  ☆829Updated 2 years ago
• sarahtattersall / PIPE
  PIPE - Platform Independent Petri Net Editor
  ☆239Updated 3 years ago
• mrieppel / TruthTableGenerator
  Generates truth tables for formulas of sentential logic
  ☆61Updated 10 months ago
• vkaravir / JSAV
  JavaScript Algorithm Visualization library
  ☆116Updated 4 years ago
• TryItOnline / tryitonline
  The Try It Online family of online interpreters.
  ☆553Updated 4 years ago
• overleaf / web
  The web front end for Overleaf, a web-based collaborative LaTeX editor
  ☆350Updated 3 years ago
• kuk0 / alg-vis
  ☆68Updated 6 years ago
• GuntherRademacher / rr
  RR - Railroad Diagram Generator
  ☆517Updated 2 weeks ago
• BNFC / bnfc
  BNF Converter
  ☆602Updated 4 months ago
• michael-brade / LaTeX.js
  JavaScript LaTeX to HTML5 translator
  ☆833Updated last year
• aslushnikov / latex-online
  Online latex compiler. You give it a link, it gives you PDF
  ☆548Updated 8 months ago
• manuels / texlive.js
  Compiling LaTeX (TeX live) in your browser
  ☆1,264Updated 8 years ago
• kirel / detexify-hs-backend
  Detexify Backend written in Haskell
  ☆909Updated 8 years ago
• tammet / logictools
  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 4 years ago
• gabriele-tomassetti / antlr-mega-tutorial
  This is the companion repository of the ANTLR Mega Tutorial, that will explain everything you need to know to use ANTLR.
  ☆276Updated 4 years ago
• rostam / GraphTea
  The Graph Theory Software
  ☆87Updated last month
• approach0 / search-engine
  A math-aware search engine.
  ☆348Updated last year