Alternatives and similar repositories for TruthTableGenerator:

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

• awmorp / turing
  Turing machine simulator in HTML/Javascript
  ☆84Updated last year
• aykamko / abTreePractice
  Alpha-Beta Pruning Practice App
  ☆118Updated 7 years ago
• kirel / detexify
  Latex Symbol Classifier Web Frontend
  ☆819Updated 2 years ago
• kirel / detexify-hs-backend
  Detexify Backend written in Haskell
  ☆897Updated 8 years ago
• henrikmidtiby / todonotes
  The package lets the user mark things to do later, in a simple and and visually appealing way.
  ☆183Updated last year
• dbis-uibk / relax
  RelaX - a relational algebra calculator
  ☆291Updated 2 months ago
• wo / tpg
  Tree Proof Generator
  ☆158Updated 3 months ago
• GeoCoq / GeoCoq
  A formalization of geometry in Coq based on Tarski's axiom system
  ☆190Updated 7 months ago
• ogheorghies / MetaUML
  UML diagrams for LaTeX/MetaPost
  ☆125Updated last year
• magsilva / jflap
  JFLAP as provided at http://www.jflap.org/ and modified by Marco Aurélio (magsilva@gmail.com)
  ☆34Updated last year
• kirel / detexify-data
  Instructions and license for Detexify's sample data
  ☆273Updated 3 years ago
• williamstein / ent
  Elementary Number Theory: Primes, Congruences, and Secrets
  ☆108Updated last year
• jrh13 / hol-light
  The HOL Light theorem prover
  ☆443Updated last week
• bakkot / cfgrammar-tool
  Work with context-free grammars. Parsing, string generation, and manipulation.
  ☆45Updated 2 years ago
• math-comp / math-comp
  Mathematical Components
  ☆597Updated this week
• rkirsling / modallogic
  Modal Logic Playground
  ☆369Updated 11 months ago
• eprover / eprover
  ☆135Updated this week
• aepsilon / turing-machine-viz
  Visualize Turing machines and deterministic finite automata. 🔵🔁🔴↩️
  ☆249Updated 3 years ago
• coq / platform
  Multi platform setup for Coq, Coq libraries and tools
  ☆192Updated this week
• rzach / forallx-yyc
  UCalgary version of forallx, an introduction to formal logic
  ☆97Updated this week
• twjudson / aata
  Public repository for Abstact Algebra Theory and Applications
  ☆163Updated 5 months ago
• coq-community / math-classes
  A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]
  ☆163Updated 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.
  ☆53Updated 6 years ago
• Macaulay2 / M2
  The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.
  ☆353Updated last week
• SWI-Prolog / swipl
  SWI-Prolog stable releases
  ☆224Updated last month
• Adriandmen / 05AB1E
  A concise stack-based golfing language
  ☆767Updated 2 months ago
• teorth / QED
  Repository for the QED interactive text and possible extensions
  ☆96Updated this week
• ImperialCollegeLondon / formalising-mathematics-2022
  Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…
  ☆119Updated 10 months ago
• m4dc4p / cheatsheet
  A Haskell CheatSheet in PDF and literate source formats.
  ☆268Updated last year
• stepchowfun / theorem-prover
  An automated theorem prover for first-order logic.
  ☆234Updated 3 years ago