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. 🔵🔁🔴↩️
  ☆268Updated 4 years ago
• dbis-uibk / relax
  RelaX - a relational algebra calculator
  ☆307Updated last week
• izuzak / noam
  JavaScript library for working with automata and grammars for regular and context-free languages
  ☆220Updated last year
• kirel / detexify
  Latex Symbol Classifier Web Frontend
  ☆833Updated 2 years ago
• kdickerson / automatonSimulator
  A website that simulates various finite state machines: DFA, NFA, PDA.
  ☆111Updated 2 years ago
• gpoore / minted
  minted is a LaTeX package that provides syntax highlighting using the Pygments library. Highlighted source code can be customized using f…
  ☆1,821Updated 3 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-hs-backend
  Detexify Backend written in Haskell
  ☆914Updated 8 years ago
• Anniepoo / prolog-examples
  Some simple examples for new Prolog programmers
  ☆610Updated 2 years ago
• SWI-Prolog / swish
  SWI-Prolog for SHaring: a SWI-Prolog web IDE
  ☆536Updated last week
• awmorp / turing
  Turing machine simulator in HTML/Javascript
  ☆84Updated last year
• citiususc / jflap-lib
  An improved version of JFLAP 7.0 to be used as a library as well as a command line tool.
  ☆55Updated 7 years ago
• cassiopc / boca
  Automatically exported from code.google.com/p/boca
  ☆126Updated 11 months ago
• automatarium / automatarium
  A place for automata
  ☆78Updated last week
• 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
• codidact / docs
  ☆87Updated 2 months ago
• mdaines / grammophone
  A tool for analyzing and transforming context-free grammars.
  ☆224Updated 4 months ago
• henrikmidtiby / todonotes
  The package lets the user mark things to do later, in a simple and and visually appealing way.
  ☆183Updated last year
• RubberDuckDebugging / rubberduckdebugging.github.io
  Rubber Duck Debugging Tribute Website
  ☆241Updated 2 years ago
• Hanabi-Live / hanabi-live
  A web server that allows people to play Hanab, a cooperative card game of logic and reasoning.
  ☆193Updated last month
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆255Updated 5 months ago
• oetiker / lshort
  The Not So Short Introduction to LaTeX
  ☆435Updated last month
• drbeco / portugol
  A compiler to the Portuguese Algorithmic Language
  ☆22Updated 8 years ago
• SERG-Delft / andy
  Andy assesses student's test code. It's used in CSE1110, TU Delft.
  ☆80Updated last month
• OpenLogicProject / OpenLogic
  An open-source, customizable intermediate logic textbook
  ☆1,191Updated last month
• BNFC / bnfc
  BNF Converter
  ☆607Updated 2 weeks ago
• triska / clpfd
  Constraint Logic Programming over Finite Domains
  ☆183Updated 5 years ago
• aykamko / abTreePractice
  Alpha-Beta Pruning Practice App
  ☆129Updated 8 years ago
• moocfi / haskell-mooc
  Haskell MOOC University of Helsinki
  ☆391Updated 3 months ago
• Adriandmen / 05AB1E
  A concise stack-based golfing language
  ☆781Updated 9 months ago