mrieppel / TruthTableGeneratorLinks
Generates truth tables for formulas of sentential logic
☆62Updated last year
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. 🔵🔁🔴↩️☆281Updated 4 years ago
- RelaX - a relational algebra calculator☆312Updated this week
- Turing machine simulator in HTML/Javascript☆88Updated 2 years ago
- A website that simulates various finite state machines: DFA, NFA, PDA.☆118Updated 3 years ago
- Detexify Backend written in Haskell☆920Updated 9 years ago
- Automatically exported from code.google.com/p/boca☆132Updated 2 months ago
- CodeRunner: A moodle quiz question type that runs student-submitted program code in a sandbox to check if it satisfies a given set of tes…☆233Updated 3 weeks ago
- SWI-Prolog for SHaring: a SWI-Prolog web IDE☆550Updated 2 months ago
- My solutions to the exercises and practical sessions of the book 'Learn Prolog Now!' by Patrick Blackburn, Johan Bos, and Kristina Strieg…☆287Updated 2 years ago
- Latex Symbol Classifier Web Frontend☆838Updated 3 years ago
- minted is a LaTeX package that provides syntax highlighting using the Pygments library. Highlighted source code can be customized using f…☆1,842Updated 8 months ago
- Semantic Lattes☆43Updated 3 years ago
- Kattis online judge command line tool☆59Updated 8 months ago
- A compiler to the Portuguese Algorithmic Language☆23Updated 8 years ago
- A concise stack-based golfing language☆792Updated last year
- Von Neumann Machine Simulator☆53Updated last month
- The web front end for Overleaf, a web-based collaborative LaTeX editor☆360Updated 4 years ago
- A small web app that allows the simple creation and decoding of Tupper's self-referential formula.☆82Updated 3 years ago
- ☆16Updated 4 years ago
- The Try It Online family of online interpreters.☆562Updated 4 years ago
- Some simple examples for new Prolog programmers☆621Updated 3 years ago
- Estilo para BibLaTeX compatível com as normas da ABNT☆144Updated 4 months ago
- SWI-Prolog Main development repository☆1,180Updated this week
- Andy assesses student's test code. It's used in CSE1110, TU Delft.☆80Updated 6 months ago
- This repository used to be the user-facing mirror of the Sage source tree. As Sage development migrated on 2023-02-01 from https://trac.s…☆1,999Updated 3 years ago
- ▶️ Multi-purpose puzzle viewer – the old generation of alg/reconstruction viewing and sharing. Superseded by Twizzle.☆195Updated last year
- Site abntex.net.br☆38Updated 3 years ago
- The Not So Short Introduction to LaTeX☆449Updated 2 months ago
- ☆87Updated 7 months ago
- Escrita colaborativa de recursos educacionais abertos sobre álgebra linear.☆69Updated last year