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
• aepsilon / turing-machine-viz
  Visualize Turing machines and deterministic finite automata. 🔵🔁🔴↩️
  ☆252Updated 3 years ago
• harsilspatel / moodle-downloader
  a 4.9-star chrome extension for batch downloading moodle resources 💾
  ☆102Updated 3 years ago
• rzach / forallx-yyc
  UCalgary version of forallx, an introduction to formal logic
  ☆101Updated last month
• izuzak / noam
  JavaScript library for working with automata and grammars for regular and context-free languages
  ☆211Updated 6 months ago
• Grupo-de-Estudos-em-Logica-da-UFRN / Para-Todxs-Natal
  Projeto colaborativo de tradução e adaptação do livro de lógica Forallx
  ☆13Updated 9 months ago
• triska / clpfd
  Constraint Logic Programming over Finite Domains
  ☆174Updated 5 years ago
• chicolucio / truth-table-generator
  truth-table-generator is a tool that allows to generate a truth table
  ☆75Updated last year
• kirel / detexify
  Latex Symbol Classifier Web Frontend
  ☆822Updated 2 years ago
• kirel / detexify-hs-backend
  Detexify Backend written in Haskell
  ☆898Updated 8 years ago
• drbeco / portugol
  A compiler to the Portuguese Algorithmic Language
  ☆22Updated 7 years ago
• Adriandmen / 05AB1E
  A concise stack-based golfing language
  ☆771Updated 4 months ago
• dbis-uibk / relax
  RelaX - a relational algebra calculator
  ☆297Updated this week
• nathancarter / group-explorer
  Group theory visualization software in the browser
  ☆239Updated 11 months ago
• kuk0 / alg-vis
  ☆66Updated 6 years ago
• kdickerson / automatonSimulator
  A website that simulates various finite state machines: DFA, NFA, PDA.
  ☆102Updated 2 years ago
• reamat / AlgebraLinear
  Escrita colaborativa de recursos educacionais abertos sobre álgebra linear.
  ☆64Updated last month
• flyspeck / flyspeck
  The formal proof of the Kepler conjecture
  ☆155Updated 9 months ago
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆32Updated last year
• OpenLogicProject / fitch-checker
  JavaScript/PHP Fitch-style natural deduction proof editor and checker (NO LONGER MAINTAINED)
  ☆51Updated 6 months ago
• mdaines / grammophone
  A tool for analyzing and transforming context-free grammars.
  ☆213Updated 3 months ago
• wo / tpg
  Tree Proof Generator
  ☆162Updated last week
• minchingtonak / lambster
  Lambda calculus interpreter written in TypeScript
  ☆27Updated last year
• cubing / alg.cubing.net
  ▶️ Multi-purpose puzzle viewer – the old generation of alg/reconstruction viewing and sharing. Superseded by Twizzle.
  ☆192Updated 5 months ago
• OpenLogicProject / OpenLogic
  An open-source, customizable intermediate logic textbook
  ☆1,117Updated last week
• RBornat / jape
  Jape, a configurable proof editor (best at natural deduction and sequent calculus)
  ☆49Updated last year
• Timwi / EsotericIDE
  IDE (Interpreter/Debugger Engine) for esoteric programming languages. Allows step-by-step debugging and shows a watch window during debug…
  ☆170Updated 9 months ago
• danwallach / github-classroom-utils
  Python tools for instructors working with GitHub Classroom
  ☆89Updated last year
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆93Updated 7 months ago
• alecjacobson / coloremoji.sty
  Style package for directly including color emojis in latex documents
  ☆221Updated 5 years ago