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. 🔵🔁🔴↩️
  ☆264Updated 4 years ago
• awmorp / turing
  Turing machine simulator in HTML/Javascript
  ☆84Updated last year
• dbis-uibk / relax
  RelaX - a relational algebra calculator
  ☆305Updated 3 weeks ago
• SWI-Prolog / swish
  SWI-Prolog for SHaring: a SWI-Prolog web IDE
  ☆531Updated 2 months ago
• kdickerson / automatonSimulator
  A website that simulates various finite state machines: DFA, NFA, PDA.
  ☆108Updated 2 years ago
• Adriandmen / 05AB1E
  A concise stack-based golfing language
  ☆781Updated 8 months ago
• kirel / detexify-hs-backend
  Detexify Backend written in Haskell
  ☆909Updated 8 years ago
• cubing / alg.cubing.net
  ▶️ Multi-purpose puzzle viewer – the old generation of alg/reconstruction viewing and sharing. Superseded by Twizzle.
  ☆194Updated 9 months ago
• kirel / detexify
  Latex Symbol Classifier Web Frontend
  ☆829Updated 2 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…
  ☆154Updated 2 months 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,813Updated 2 months ago
• Anniepoo / prolog-examples
  Some simple examples for new Prolog programmers
  ☆607Updated 2 years ago
• aykamko / abTreePractice
  Alpha-Beta Pruning Practice App
  ☆128Updated 8 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 2 years ago
• TryItOnline / tryitonline
  The Try It Online family of online interpreters.
  ☆553Updated 4 years ago
• SWI-Prolog / swipl-devel
  SWI-Prolog Main development repository
  ☆1,087Updated 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.
  ☆296Updated last year
• OpenLogicProject / OpenLogic
  An open-source, customizable intermediate logic textbook
  ☆1,173Updated 2 weeks ago
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆252Updated 3 months ago
• izuzak / noam
  JavaScript library for working with automata and grammars for regular and context-free languages
  ☆216Updated 10 months ago
• evanw / fsm
  Finite State Machine Designer
  ☆305Updated last year
• minchingtonak / lambster
  Lambda calculus interpreter written in TypeScript
  ☆32Updated last month
• wo / tpg
  Tree Proof Generator
  ☆170Updated 4 months ago
• ariroffe / logics
  Logics is a Python framework for mathematical logic
  ☆23Updated 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…
  ☆291Updated 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
• leanprover-community / tutorials
  Some Lean tutorials
  ☆184Updated last year
• Hanabi-Live / hanabi-live
  A web server that allows people to play Hanab, a cooperative card game of logic and reasoning.
  ☆189Updated 2 weeks ago
• neldredge / mathgen
  Generate random nonsense math papers
  ☆595Updated 5 years ago
• drsam94 / Spl
  A Compiler for the Shakespeare Programming Language Written in Python. Compiles from SPL to C.
  ☆81Updated 3 years ago