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. π΅ππ΄β©οΈβ280Updated 4 years ago
- A website that simulates various finite state machines: DFA, NFA, PDA.β118Updated 3 years ago
- Turing machine simulator in HTML/Javascriptβ88Updated 2 years ago
- βΆοΈ Multi-purpose puzzle viewer β the old generation of alg/reconstruction viewing and sharing. Superseded by Twizzle.β195Updated last year
- RelaX - a relational algebra calculatorβ313Updated this week
- The functionality of `twisty.js` is now part of `cubing.js`. Please see: https://js.cubing.net/cubing/twisty/β60Updated 3 years ago
- β70Updated 7 years ago
- Detexify Backend written in Haskellβ919Updated 9 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,839Updated 8 months ago
- The web front end for Overleaf, a web-based collaborative LaTeX editorβ360Updated 4 years ago
- A tool for analyzing and transforming context-free grammars.β230Updated this week
- The Try It Online family of online interpreters.β562Updated 4 years ago
- A small web app that allows the simple creation and decoding of Tupper's self-referential formula.β82Updated 3 years ago
- My solutions to the exercises and practical sessions of the book 'Learn Prolog Now!' by Patrick Blackburn, Johan Bos, and Kristina Striegβ¦β288Updated 2 years ago
- Perl script to add indentation (leading horizontal space) to LaTeX files. It can modify line breaks before, during and after code blocks;β¦β1,014Updated last week
- Kattis online judge command line toolβ59Updated 7 months ago
- a 4.9-star chrome extension for batch downloading moodle resources πΎβ109Updated 2 months ago
- The Not So Short Introduction to LaTeXβ449Updated 2 months ago
- SWI-Prolog for SHaring: a SWI-Prolog web IDEβ549Updated last month
- The Sound of Sorting - "Audibilization" and Visualization of Sorting Algorithmsβ896Updated last year
- Some simple examples for new Prolog programmersβ620Updated 3 years ago
- A LaTeX package to create highly customizable colored boxes.