Alternatives and similar repositories for TruthTableGenerator

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

• aepsilon / turing-machine-viz
  Visualize Turing machines and deterministic finite automata. 🔵🔁🔴↩️
  ☆280Updated 4 years ago
• dbis-uibk / relax
  RelaX - a relational algebra calculator
  ☆313Updated last month
• kirel / detexify
  Latex Symbol Classifier Web Frontend
  ☆835Updated 2 years ago
• kirel / detexify-hs-backend
  Detexify Backend written in Haskell
  ☆916Updated 9 years ago
• aykamko / abTreePractice
  Alpha-Beta Pruning Practice App
  ☆136Updated 8 years ago
• awmorp / turing
  Turing machine simulator in HTML/Javascript
  ☆87Updated last year
• MikeDevice / first-follow
  Utility for FIRST, FOLLOW, PREDICT set generation aiding in custom programming language creation
  ☆132Updated 2 years ago
• cubing / alg.cubing.net
  ▶️ Multi-purpose puzzle viewer – the old generation of alg/reconstruction viewing and sharing. Superseded by Twizzle.
  ☆195Updated last year
• harsilspatel / moodle-downloader
  a 4.9-star chrome extension for batch downloading moodle resources 💾
  ☆109Updated last month
• gpoore / minted
  minted is a LaTeX package that provides syntax highlighting using the Pygments library. Highlighted source code can be customized using f…
  ☆1,832Updated 7 months ago
• OpenLogicProject / OpenLogic
  An open-source, customizable intermediate logic textbook
  ☆1,237Updated last month
• kdickerson / automatonSimulator
  A website that simulates various finite state machines: DFA, NFA, PDA.
  ☆118Updated 3 years ago
• 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…
  ☆289Updated 2 years ago
• cubing / twisty.js
  The functionality of `twisty.js` is now part of `cubing.js`. Please see: https://js.cubing.net/cubing/twisty/
  ☆60Updated 3 years ago
• Hanabi-Live / hanabi-live
  A web server that allows people to play Hanab, a cooperative card game of logic and reasoning.
  ☆196Updated this week
• trampgeek / moodle-qtype_coderunner
  CodeRunner: A moodle quiz question type that runs student-submitted program code in a sandbox to check if it satisfies a given set of tes…
  ☆232Updated 3 weeks ago
• SWI-Prolog / swish
  SWI-Prolog for SHaring: a SWI-Prolog web IDE
  ☆547Updated 3 weeks ago
• izuzak / noam
  JavaScript library for working with automata and grammars for regular and context-free languages
  ☆220Updated last year
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆261Updated 8 months ago
• ImperialCollegeLondon / natural_number_game
  Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.
  ☆303Updated last year
• overleaf / web
  The web front end for Overleaf, a web-based collaborative LaTeX editor
  ☆360Updated 4 years ago
• mdaines / grammophone
  A tool for analyzing and transforming context-free grammars.
  ☆230Updated last month
• magsilva / jflap
  JFLAP as provided at http://www.jflap.org/ and modified by Marco Aurélio (magsilva@gmail.com)
  ☆35Updated 2 years ago
• cubing / alg.js
  The functionality of `alg.js` is now part of `cubing.js`. Please see: https://js.cubing.net/cubing/alg/
  ☆22Updated 5 years ago
• Anniepoo / prolog-examples
  Some simple examples for new Prolog programmers
  ☆617Updated 3 years ago
• neldredge / mathgen
  Generate random nonsense math papers
  ☆613Updated 5 years ago
• RubberDuckDebugging / rubberduckdebugging.github.io
  Rubber Duck Debugging Tribute Website
  ☆246Updated 3 years ago
• TryItOnline / tryitonline
  The Try It Online family of online interpreters.
  ☆562Updated 4 years ago
• rzach / forallx-yyc
  UCalgary version of forallx, an introduction to formal logic
  ☆115Updated last week
• Cride5 / visualcube
  A php script for generating Rubik's Cube visualisations
  ☆153Updated 2 years ago