mrieppel / TruthTableGenerator
Generates truth tables for formulas of sentential logic
☆60Updated 2 months ago
Related projects ⓘ
Alternatives and complementary repositories for TruthTableGenerator
- Some simple examples for new Prolog programmers☆579Updated 2 years ago
- Visualize Turing machines and deterministic finite automata. 🔵🔁🔴↩️☆245Updated 3 years ago
- Latex Symbol Classifier Web Frontend☆809Updated last year
- JavaScript library for working with automata and grammars for regular and context-free languages☆210Updated 3 months ago
- Detexify Backend written in Haskell☆891Updated 7 years ago
- Some notes taken while working on Prolog☆154Updated 11 months ago
- Constraint Logic Programming over Finite Domains☆169Updated 4 years ago
- A UBC fork of Interactive Linear Algebra by Margalit & Rabinoff☆11Updated this week
- Modal Logic Playground☆367Updated 9 months ago
- SWI-Prolog for SHaring: a SWI-Prolog web IDE☆504Updated 3 months ago
- Turing machine simulator in HTML/Javascript☆83Updated 9 months ago
- a 4.9-star chrome extension for batch downloading moodle resources 💾☆100Updated 3 years ago
- RelaX - a relational algebra calculator☆286Updated 3 weeks ago
- MARIE.js is a simple, yet intuitive MARIE simulator built in JavaScript and is used for teaching computing architecture and assembly lan…☆145Updated 6 months ago
- A website that simulates various finite state machines: DFA, NFA, PDA.☆100Updated last year
- JavaScript/PHP Fitch-style natural deduction proof editor and checker (NO LONGER MAINTAINED)☆51Updated 2 months ago
- Work with context-free grammars. Parsing, string generation, and manipulation.☆45Updated 2 years ago
- arara is a TeX automation tool based on rules and directives. It gives you a way to enhance your TeX experience. This is a mirror reposit…☆403Updated 2 weeks ago
- An open-source, customizable intermediate logic textbook☆1,076Updated this week
- My solutions to the exercises and practical sessions of the book 'Learn Prolog Now!' by Patrick Blackburn, Johan Bos, and Kristina Strieg…☆289Updated last year
- UCalgary version of forallx, an introduction to formal logic☆95Updated 3 weeks ago
- SWI-Prolog Main development repository☆978Updated this week
- A tool for analyzing and transforming context-free grammars.☆206Updated this week
- Instructions and license for Detexify's sample data☆271Updated 3 years ago
- Logtalk - declarative object-oriented logic programming language☆424Updated this week
- A terse declarative logic programming language☆117Updated 4 years ago
- The web front end for Overleaf, a web-based collaborative LaTeX editor☆348Updated 3 years ago
- Learn Prolog Now! Proper and elegant exercise solutions☆46Updated 9 years ago
- SWI-Prolog stable releases☆220Updated this week
- Lean theorem proving interface which feels like pen-and-paper proofs.☆364Updated last week