mrieppel / TruthTableGeneratorLinks
Generates truth tables for formulas of sentential logic
☆61Updated 11 months ago
Alternatives and similar repositories for TruthTableGenerator
Users that are interested in TruthTableGenerator are comparing it to the libraries listed below
Sorting:
- Visualize Turing machines and deterministic finite automata. 🔵🔁🔴↩️☆264Updated 4 years ago
- A website that simulates various finite state machines: DFA, NFA, PDA.☆110Updated 2 years ago
- RelaX - a relational algebra calculator☆307Updated last week
- ▶️ Multi-purpose puzzle viewer – the old generation of alg/reconstruction viewing and sharing. Superseded by Twizzle.☆194Updated 10 months ago
- a 4.9-star chrome extension for batch downloading moodle resources 💾☆105Updated 4 years ago
- Detexify Backend written in Haskell☆911Updated 8 years ago
- 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
- JavaScript library for working with automata and grammars for regular and context-free languages☆220Updated 11 months ago
- MARIE.js is a simple, yet intuitive MARIE simulator built in JavaScript and is used for teaching computing architecture and assembly lan…☆154Updated 3 months ago
- Latex Symbol Classifier Web Frontend☆831Updated 2 years ago
- Alpha-Beta Pruning Practice App☆129Updated 8 years ago
- Turing machine simulator in HTML/Javascript☆83Updated last year
- minted is a LaTeX package that provides syntax highlighting using the Pygments library. Highlighted source code can be customized using f…☆1,816Updated 2 months ago
- The Not So Short Introduction to LaTeX☆430Updated 3 weeks ago
- A small web app that allows the simple creation and decoding of Tupper's self-referential formula.☆81Updated 2 years ago
- ☆282Updated 5 years ago
- A LaTeX Typesetting Game☆256Updated 4 months ago
- PreTeXt: an authoring and publishing system for scholarly documents☆294Updated this week
- The functionality of `twisty.js` is now part of `cubing.js`. Please see: https://js.cubing.net/cubing/twisty/☆60Updated 2 years ago
- An improved version of JFLAP 7.0 to be used as a library as well as a command line tool.☆55Updated 7 years ago
- Automatically exported from code.google.com/p/boca☆123Updated 10 months ago
- A tool for analyzing and transforming context-free grammars.☆224Updated 3 months ago
- Commandline tool for automated downloads of echo360 videos hosted by university☆303Updated 7 months ago
- A web server that allows people to play Hanab, a cooperative card game of logic and reasoning.☆192Updated 2 weeks ago
- SWI-Prolog Main development repository☆1,097Updated this week
- An open-source, customizable intermediate logic textbook☆1,179Updated 3 weeks ago
- Repository for the QED interactive text and possible extensions☆104Updated 6 months ago
- A php script for generating Rubik's Cube visualisations☆149Updated 2 years ago
- GitHub Action to compile LaTeX documents☆1,255Updated last month
- Script for generating Rubik's Cube visualisations☆47Updated 3 years ago