Alternatives and similar repositories for TruthTableGenerator

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

• kdickerson / automatonSimulator
  A website that simulates various finite state machines: DFA, NFA, PDA.
  ☆106Updated 2 years ago
• awmorp / turing
  Turing machine simulator in HTML/Javascript
  ☆84Updated last year
• dbis-uibk / relax
  RelaX - a relational algebra calculator
  ☆305Updated last month
• aepsilon / turing-machine-viz
  Visualize Turing machines and deterministic finite automata. 🔵🔁🔴↩️
  ☆264Updated 4 years ago
• harsilspatel / moodle-downloader
  a 4.9-star chrome extension for batch downloading moodle resources 💾
  ☆104Updated 4 years ago
• izuzak / noam
  JavaScript library for working with automata and grammars for regular and context-free languages
  ☆216Updated 9 months ago
• kirel / detexify-hs-backend
  Detexify Backend written in Haskell
  ☆905Updated 8 years ago
• mvoidex / UnicodeMath
  Plugin for Sublime for inserting unicode math symbols and emoji
  ☆128Updated last year
• nomeata / incredible
  The Incredible Proof Machine
  ☆376Updated 3 months ago
• codidact / docs
  ☆87Updated this week
• vdrhtc / InLaTeXbot
  Customizable LaTeX bot for Telegram messenger
  ☆224Updated last year
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆249Updated 2 months ago
• kirel / detexify
  Latex Symbol Classifier Web Frontend
  ☆827Updated 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
• adamyedidia / parsimony
  ☆343Updated 7 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.
  ☆296Updated last year
• rzach / forallx-yyc
  UCalgary version of forallx, an introduction to formal logic
  ☆107Updated 4 months ago
• cubing / algdb
  📚 Algorithm Database
  ☆24Updated 4 years ago
• kirel / detexify-data
  Instructions and license for Detexify's sample data
  ☆282Updated 3 years ago
• MDNoorUddin / Uri-Onlinejudge-Solutions
  ☆12Updated 5 years ago
• OpenLogicProject / OpenLogic
  An open-source, customizable intermediate logic textbook
  ☆1,161Updated last week
• bakkot / cfgrammar-tool
  Work with context-free grammars. Parsing, string generation, and manipulation.
  ☆45Updated 3 years ago
• OpenLogicProject / fitch-checker
  JavaScript/PHP Fitch-style natural deduction proof editor and checker (NO LONGER MAINTAINED)
  ☆55Updated 8 months ago
• wo / tpg
  Tree Proof Generator
  ☆169Updated 3 months ago
• sasozivanovic / forest
  a PGF/TikZ-based LaTeX package for drawing (linguistic) trees
  ☆71Updated 5 years ago
• olimpiadi-informatica / cmsocial
  A web application that builds a social coding platform upon CMS
  ☆20Updated this week
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆112Updated 11 months ago
• Paper-Proof / paperproof
  Lean theorem proving interface which feels like pen-and-paper proofs.
  ☆418Updated this week
• Kattis / kattis-cli
  Kattis online judge command line tool
  ☆55Updated this week
• PreTeXtBook / pretext
  PreTeXt: an authoring and publishing system for scholarly documents
  ☆290Updated this week