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 8 months ago
• xgirma / latex-javaScript
  typeset JavaScript codes in Latex
  ☆41Updated 5 years ago
• aepsilon / turing-machine-viz
  Visualize Turing machines and deterministic finite automata. 🔵🔁🔴↩️
  ☆260Updated 3 years ago
• kdickerson / automatonSimulator
  A website that simulates various finite state machines: DFA, NFA, PDA.
  ☆105Updated 2 years ago
• triska / clpfd
  Constraint Logic Programming over Finite Domains
  ☆179Updated 5 years ago
• wo / tpg
  Tree Proof Generator
  ☆166Updated 2 months ago
• kirel / detexify
  Latex Symbol Classifier Web Frontend
  ☆825Updated 2 years ago
• evanw / fsm
  Finite State Machine Designer
  ☆300Updated last year
• kisonecat / web2js
  Convert TeX's pascal to javascript
  ☆133Updated 3 years ago
• magsilva / jflap
  JFLAP as provided at http://www.jflap.org/ and modified by Marco Aurélio (magsilva@gmail.com)
  ☆34Updated last year
• neldredge / mathgen
  Generate random nonsense math papers
  ☆588Updated 5 years ago
• stereobooster / programming-languages-genealogical-tree
  Programming languages genealogical tree
  ☆270Updated 2 years ago
• SWI-Prolog / swish
  SWI-Prolog for SHaring: a SWI-Prolog web IDE
  ☆523Updated last week
• tau-prolog / tau-prolog
  An open source Prolog interpreter in JavaScript
  ☆604Updated 2 years ago
• MiniZinc / libminizinc
  The MiniZinc compiler
  ☆548Updated this week
• ImperialCollegeLondon / natural_number_game
  Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.
  ☆297Updated last year
• PreTeXtBook / pretext
  PreTeXt: an authoring and publishing system for scholarly documents
  ☆286Updated this week
• QuestForTetris / QFT
  A repository for the Quest For Tetris
  ☆182Updated 4 years ago
• kirel / detexify-hs-backend
  Detexify Backend written in Haskell
  ☆903Updated 8 years ago
• lmendo / MATL
  A programming language based on MATLAB and suitable for code golfing
  ☆115Updated last year
• 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.
  ☆275Updated 3 years ago
• SWI-Prolog / swipl-devel
  SWI-Prolog Main development repository
  ☆1,061Updated last week
• mrieppel / TruthTableGenerator
  Generates truth tables for formulas of sentential logic
  ☆61Updated 8 months ago
• jdavis / latex-homework-template
  🎓📄 The LaTeX file that I used as the base for all my homework in university.
  ☆1,174Updated 2 years ago
• mdaines / grammophone
  A tool for analyzing and transforming context-free grammars.
  ☆219Updated last week
• triska / clpz
  Constraint Logic Programming over Integers
  ☆199Updated last year
• minchingtonak / lambster
  Lambda calculus interpreter written in TypeScript
  ☆30Updated last year
• DOMjudge / domjudge
  DOMjudge programming contest jury system
  ☆794Updated this week
• 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…
  ☆72Updated 4 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…
  ☆151Updated last week