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. 🔵🔁🔴↩️☆269Updated 4 years ago
- Turing machine simulator in HTML/Javascript☆85Updated last year
- Latex Symbol Classifier Web Frontend☆833Updated 2 years ago
- Detexify Backend written in Haskell☆914Updated 8 years ago
- RelaX - a relational algebra calculator☆308Updated last month
- SWI-Prolog for SHaring: a SWI-Prolog web IDE☆538Updated last week
- A website that simulates various finite state machines: DFA, NFA, PDA.☆114Updated 2 years ago
- The functionality of `twisty.js` is now part of `cubing.js`. Please see: https://js.cubing.net/cubing/twisty/☆60Updated 2 years ago
- Automatically exported from code.google.com/p/boca☆128Updated 2 weeks ago
- The Try It Online family of online interpreters.☆558Updated 4 years ago
- Generate random nonsense math papers☆607Updated 5 years ago
- ▶️ Multi-purpose puzzle viewer – the old generation of alg/reconstruction viewing and sharing. Superseded by Twizzle.☆195Updated last year
- Projeto colaborativo de tradução e adaptação do livro de lógica Forallx☆16Updated last year
- An improved version of JFLAP 7.0 to be used as a library as well as a command line tool.☆55Updated 7 years ago
- The web front end for Overleaf, a web-based collaborative LaTeX editor☆359Updated 4 years ago
- A place for automata☆78Updated this week
- Some simple examples for new Prolog programmers☆613Updated 2 years ago
- A LaTeX Typesetting Game☆256Updated 6 months ago
- The Not So Short Introduction to LaTeX☆442Updated 2 months ago
- A web server that allows people to play Hanab, a cooperative card game of logic and reasoning.☆196Updated last week
- A tool for analyzing and transforming context-free grammars.☆225Updated 5 months ago
- Tree Proof Generator☆173Updated 7 months ago
- JavaScript library for working with automata and grammars for regular and context-free languages☆220Updated last year
- JavaScript/PHP Fitch-style natural deduction proof editor and checker (NO LONGER MAINTAINED)☆55Updated last month
- minted is a LaTeX package that provides syntax highlighting using the Pygments library. Highlighted source code can be customized using f…☆1,826Updated 4 months ago
- Utility for FIRST, FOLLOW, PREDICT set generation aiding in custom programming language creation☆132Updated 2 years ago
- A php script for generating Rubik's Cube visualisations☆151Updated 2 years ago
- Finite State Machine Designer☆309Updated last year
- ☆70Updated 6 years ago
- An automatic paper generator☆1,139Updated 3 years ago