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. 🔵🔁🔴↩️
  ☆278Updated 4 years ago
• dbis-uibk / relax
  RelaX - a relational algebra calculator
  ☆312Updated 2 weeks ago
• kirel / detexify
  Latex Symbol Classifier Web Frontend
  ☆833Updated 2 years ago
• kirel / detexify-hs-backend
  Detexify Backend written in Haskell
  ☆914Updated 8 years ago
• harsilspatel / moodle-downloader
  a 4.9-star chrome extension for batch downloading moodle resources 💾
  ☆109Updated 3 weeks 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,832Updated 6 months ago
• izuzak / noam
  JavaScript library for working with automata and grammars for regular and context-free languages
  ☆220Updated last year
• kdickerson / automatonSimulator
  A website that simulates various finite state machines: DFA, NFA, PDA.
  ☆117Updated 2 years ago
• awmorp / turing
  Turing machine simulator in HTML/Javascript
  ☆87Updated last year
• SWI-Prolog / swish
  SWI-Prolog for SHaring: a SWI-Prolog web IDE
  ☆545Updated last week
• overleaf / web
  The web front end for Overleaf, a web-based collaborative LaTeX editor
  ☆360Updated 4 years ago
• MikeDevice / first-follow
  Utility for FIRST, FOLLOW, PREDICT set generation aiding in custom programming language creation
  ☆132Updated 2 years ago
• kuk0 / alg-vis
  ☆70Updated 7 years ago
• MiKTeX / miktex
  the MiKTeX source code
  ☆905Updated 2 months ago
• citiususc / jflap-lib
  An improved version of JFLAP 7.0 to be used as a library as well as a command line tool.
  ☆57Updated 7 years ago
• alexandervdm / gummi
  Simple LaTeX editor
  ☆794Updated last year
• iagolaguna / vscodefy
  extension for vscode to remote control spotify api
  ☆43Updated 2 years ago
• automatarium / automatarium
  A place for automata
  ☆80Updated 2 weeks ago
• tikzit / tikzit
  pgf/TikZ diagram editor
  ☆1,204Updated last year
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆260Updated 8 months ago
• kirel / detexify-data
  Instructions and license for Detexify's sample data
  ☆286Updated 4 years ago
• oetiker / lshort
  The Not So Short Introduction to LaTeX
  ☆449Updated 2 weeks ago
• Anniepoo / prolog-examples
  Some simple examples for new Prolog programmers
  ☆617Updated 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
• henrikmidtiby / todonotes
  The package lets the user mark things to do later, in a simple and and visually appealing way.
  ☆182Updated last year
• UnickSoft / graphonline
  This is source code of graphonline service. Graphonline helps visualize graph and applies a lot of algorithms.
  ☆371Updated last month
• aslushnikov / latex-online
  Online latex compiler. You give it a link, it gives you PDF
  ☆579Updated last year
• cubing / alg.cubing.net
  ▶️ Multi-purpose puzzle viewer – the old generation of alg/reconstruction viewing and sharing. Superseded by Twizzle.
  ☆195Updated last year
• ImperialCollegeLondon / natural_number_game
  Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.
  ☆301Updated last year
• glebec / lambda-talk
  A Flock of Functions: Combinators, Lambda Calculus, & Church Encodings in JS
  ☆533Updated last year