Alternatives and similar repositories for relax

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

• izuzak / noam
  JavaScript library for working with automata and grammars for regular and context-free languages
  ☆216Updated 9 months ago
• aepsilon / turing-machine-viz
  Visualize Turing machines and deterministic finite automata. 🔵🔁🔴↩️
  ☆264Updated 4 years ago
• kdickerson / automatonSimulator
  A website that simulates various finite state machines: DFA, NFA, PDA.
  ☆106Updated 2 years ago
• mdaines / grammophone
  A tool for analyzing and transforming context-free grammars.
  ☆221Updated last month
• evanw / fsm
  Finite State Machine Designer
  ☆302Updated last year
• stereobooster / programming-languages-genealogical-tree
  Programming languages genealogical tree
  ☆273Updated 2 years ago
• kirel / detexify-data
  Instructions and license for Detexify's sample data
  ☆282Updated 3 years ago
• wo / tpg
  Tree Proof Generator
  ☆169Updated 3 months ago
• raymondcho / RelationalDatabaseTools
  Source code for my online relational database tools calculator
  ☆75Updated 4 years ago
• triska / clpfd
  Constraint Logic Programming over Finite Domains
  ☆182Updated 5 years ago
• hjalti / mossum
  Moss summarizer
  ☆194Updated 2 years ago
• jplag / JPlag
  State-of-the-Art Source Code Plagiarism & Collusion Detection. Check for plagiarism in a set of programs.
  ☆1,597Updated this week
• mrieppel / TruthTableGenerator
  Generates truth tables for formulas of sentential logic
  ☆61Updated 9 months ago
• bakkot / cfgrammar-tool
  Work with context-free grammars. Parsing, string generation, and manipulation.
  ☆45Updated 3 years 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…
  ☆152Updated last month
• logic-ng / LogicNG
  The Next Generation Logic Library
  ☆144Updated 6 months ago
• bme-db-lab / Functional-Dependency-Calculator
  Declarative algorithms for simple operations on relational schemas and functional dependency sets (e.g. minimal cover, highest normal for…
  ☆25Updated 3 years ago
• ivan111 / vtree
  JSON Tree Visualizer
  ☆3Updated last year
• manuels / texlive.js
  Compiling LaTeX (TeX live) in your browser
  ☆1,261Updated 8 years ago
• GJDuck / SAT.js
  A JavaScript SAT solver (http://www.comp.nus.edu.sg/~gregory/sat/)
  ☆48Updated 10 years ago
• mike-lischke / vscode-antlr4
  ANTLR4 language support for Visual Studio Code
  ☆452Updated 6 months ago
• kirel / detexify-hs-backend
  Detexify Backend written in Haskell
  ☆905Updated 8 years ago
• kisonecat / web2js
  Convert TeX's pascal to javascript
  ☆134Updated 3 years ago
• vkaravir / JSAV
  JavaScript Algorithm Visualization library
  ☆116Updated 4 years ago
• kirel / detexify
  Latex Symbol Classifier Web Frontend
  ☆827Updated 2 years ago
• CyberZHG / toolbox
  https://cyberzhg.github.io/toolbox/ Encoding and parsing tools.
  ☆984Updated last year
• sarahtattersall / PIPE
  PIPE - Platform Independent Petri Net Editor
  ☆240Updated 2 years ago
• overleaf / clsi
  A web api for compiling LaTeX documents in the cloud
  ☆202Updated 3 years ago
• MikeDevice / first-follow
  Utility for FIRST, FOLLOW, PREDICT set generation aiding in custom programming language creation
  ☆131Updated 2 years ago
• aimacode / aima-javascript
  Javascript visualization of algorithms from Russell And Norvig's "Artificial Intelligence - A Modern Approach"
  ☆555Updated 5 years ago