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. 🔵🔁🔴↩️
  ☆271Updated 4 years ago
• dbis-uibk / relax
  RelaX - a relational algebra calculator
  ☆309Updated 2 months 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…
  ☆290Updated 2 years ago
• izuzak / noam
  JavaScript library for working with automata and grammars for regular and context-free languages
  ☆220Updated last year
• automatarium / automatarium
  A place for automata
  ☆79Updated this week
• citiususc / jflap-lib
  An improved version of JFLAP 7.0 to be used as a library as well as a command line tool.
  ☆56Updated 7 years ago
• SWI-Prolog / swish
  SWI-Prolog for SHaring: a SWI-Prolog web IDE
  ☆538Updated 2 weeks ago
• kirel / detexify-hs-backend
  Detexify Backend written in Haskell
  ☆915Updated 8 years ago
• kirel / detexify
  Latex Symbol Classifier Web Frontend
  ☆835Updated 2 years ago
• kdickerson / automatonSimulator
  A website that simulates various finite state machines: DFA, NFA, PDA.
  ☆115Updated 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,827Updated 5 months ago
• Anniepoo / prolog-examples
  Some simple examples for new Prolog programmers
  ☆615Updated 2 years ago
• wo / tpg
  Tree Proof Generator
  ☆173Updated 8 months ago
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆258Updated 7 months ago
• awmorp / turing
  Turing machine simulator in HTML/Javascript
  ☆85Updated last year
• PreTeXtBook / pretext
  PreTeXt: an authoring and publishing system for scholarly documents
  ☆298Updated last week
• RubberDuckDebugging / rubberduckdebugging.github.io
  Rubber Duck Debugging Tribute Website
  ☆241Updated 3 years ago
• latex2html / latex2html
  Converts LaTeX documents to HTML
  ☆292Updated 3 months ago
• rzach / forallx-yyc
  UCalgary version of forallx, an introduction to formal logic
  ☆111Updated 2 months ago
• MikeDevice / first-follow
  Utility for FIRST, FOLLOW, PREDICT set generation aiding in custom programming language creation
  ☆132Updated 2 years ago
• magsilva / jflap
  JFLAP as provided at http://www.jflap.org/ and modified by Marco Aurélio (magsilva@gmail.com)
  ☆35Updated last year
• rocq-prover / vsrocq
  Visual Studio Code extension for Coq
  ☆410Updated last week
• hakank / hakank
  My public programs and models - mostly combinatorial problems and puzzles
  ☆389Updated this week
• SWI-Prolog / swipl-devel
  SWI-Prolog Main development repository
  ☆1,134Updated last 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.
  ☆301Updated last year
• mdaines / grammophone
  A tool for analyzing and transforming context-free grammars.
  ☆226Updated 6 months ago
• gottfired / advent-of-code-2021-copilot-edition
  ☆20Updated 3 years ago
• twjudson / aata
  Public repository for Abstact Algebra Theory and Applications
  ☆174Updated 2 months ago
• williamstein / ent
  Elementary Number Theory: Primes, Congruences, and Secrets
  ☆112Updated 2 years ago
• aykamko / abTreePractice
  Alpha-Beta Pruning Practice App
  ☆131Updated 8 years ago