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. 🔵🔁🔴↩️
  ☆258Updated 3 years ago
• kirel / detexify
  Latex Symbol Classifier Web Frontend
  ☆823Updated 2 years ago
• leanprover-community / tutorials
  Some Lean tutorials
  ☆183Updated last year
• kirel / detexify-hs-backend
  Detexify Backend written in Haskell
  ☆901Updated 8 years ago
• Kattis / kattis-cli
  Kattis online judge command line tool
  ☆53Updated 2 weeks ago
• google / turing-doodle
  ☆166Updated 10 years ago
• PreTeXtBook / pretext
  PreTeXt: an authoring and publishing system for scholarly documents
  ☆283Updated this week
• sagemath / sagecell
  The Sage Cell Server---providing a way to embed Sage computations into any web page.
  ☆206Updated 3 weeks ago
• drsam94 / Spl
  A Compiler for the Shakespeare Programming Language Written in Python. Compiles from SPL to C.
  ☆80Updated 3 years ago
• ImperialCollegeLondon / natural_number_game
  Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.
  ☆297Updated last year
• adamyedidia / parsimony
  ☆342Updated 7 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,797Updated 2 weeks ago
• awmorp / turing
  Turing machine simulator in HTML/Javascript
  ☆84Updated last year
• harsilspatel / moodle-downloader
  a 4.9-star chrome extension for batch downloading moodle resources 💾
  ☆103Updated 3 years ago
• SWI-Prolog / swish
  SWI-Prolog for SHaring: a SWI-Prolog web IDE
  ☆523Updated 2 weeks ago
• henrikmidtiby / todonotes
  The package lets the user mark things to do later, in a simple and and visually appealing way.
  ☆182Updated last year
• Anniepoo / prolog-examples
  Some simple examples for new Prolog programmers
  ☆601Updated 2 years ago
• teorth / QED
  Repository for the QED interactive text and possible extensions
  ☆97Updated 3 months ago
• Jumaruba / LPL-solutions
  Solutions for the book "Language Proof and Logic".
  ☆75Updated 7 months ago
• kisonecat / tikzjax
  TikZJax is TikZ running under WebAssembly in the browser
  ☆497Updated 9 months ago
• vEnhance / von
  Olympiad problem database
  ☆48Updated 3 weeks ago
• T-F-S / tcolorbox
  A LaTeX package to create highly customizable colored boxes.
  ☆251Updated 6 months ago
• alopezlago / MODAQ
  Web application for assisting moderators with reading and scorekeeping quiz bowl matches.
  ☆16Updated 2 months ago
• metamath / set.mm
  Metamath source file for logic and set theory
  ☆277Updated last week
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆246Updated 3 weeks ago
• Paper-Proof / paperproof
  Lean theorem proving interface which feels like pen-and-paper proofs.
  ☆407Updated last week
• gap-system / gap
  Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra
  ☆858Updated this week
• leanprover-community / NNG4
  Natural Number Game
  ☆157Updated last month
• KeelyHill / tuppers-formula
  A small web app that allows the simple creation and decoding of Tupper's self-referential formula.
  ☆81Updated 2 years ago
• mdaines / grammophone
  A tool for analyzing and transforming context-free grammars.
  ☆219Updated last week