Generates truth tables for formulas of sentential logic
☆62Aug 30, 2024Updated last year
Alternatives and similar repositories for TruthTableGenerator
Users that are interested in TruthTableGenerator are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A web-based graphical proof assistant for LK and Hoare logic.☆41Jan 10, 2026Updated 3 months ago
- A Snippet generator for opencv.☆10Mar 2, 2024Updated 2 years ago
- Fire from DOOM now made with JAVA11 and JAVAFX☆10Jul 27, 2020Updated 5 years ago
- 💸 Unified payment service for PerfectDreams' services, integrating a bunch of payments providers☆11Feb 9, 2026Updated 2 months ago
- The official Cumulonimbus server.☆13Feb 13, 2022Updated 4 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Leprechaun Game wrote in Elixir☆12Nov 3, 2023Updated 2 years ago
- A scalable error-friendly factories for your Elixir apps☆10Oct 13, 2020Updated 5 years ago
- Library that provides functionality needed to build a Chinese Checkers game☆10Jan 19, 2021Updated 5 years ago
- ☆11Nov 25, 2020Updated 5 years ago
- Online platform to enable Logic students to write, verify, and store System L style Natural Deduction proofs with real-time proof-checkin…☆13May 23, 2018Updated 7 years ago
- ☆14Mar 1, 2023Updated 3 years ago
- Script para automatizar comentários em sorteios no Instagram☆11Oct 14, 2021Updated 4 years ago
- Exemplo do Algoritmo de dijkstra em Python☆10Sep 5, 2016Updated 9 years ago
- Cookiecutter Django by Codevance is a template to start django projects☆14Mar 2, 2023Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Elixir for Everybody☆17Jun 14, 2024Updated last year
- Extension for allowing you to use remove.bg inside of vscode☆17Dec 8, 2022Updated 3 years ago
- Generate GraphQL API from SQL models☆25Mar 13, 2026Updated last month
- Action to run tests, check coverage, and send a feedback message to the pull request.☆12Apr 27, 2026Updated last week
- Extism Lean4 Host SDK - easily run WebAssembly modules / plugins from Lean4 applications☆19Nov 26, 2024Updated last year
- A port of the ASCII donut.c to Python. See http://www.a1k0n.net/2011/07/20/donut-math.html☆12Jan 14, 2022Updated 4 years ago
- ☆13May 12, 2023Updated 2 years ago
- AI Intent Driven Development (IDD) guidelines and instructions for AI Coding Agents, AI Coding Assistants, and LLMs.☆34Jan 27, 2026Updated 3 months ago
- Conference website for PyCon UK 2016☆12Apr 27, 2017Updated 9 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- DanBot Hosting Stats Daemon (The script that runs on each Node and sends data to the main Discord Bot)☆10Mar 20, 2024Updated 2 years ago
- Formalisms Every Computer Scientist Should Know (course at ISTA)☆16Feb 8, 2024Updated 2 years ago
- A PHP server application that powers the Enhanced Steam API☆16May 29, 2021Updated 4 years ago
- Lisp interpreter in C following www.buildyourownlisp.com☆10May 13, 2014Updated 11 years ago
- 🚀 Ultimatum - The all in one bot you need for Discord. Featuring a discord bot generator, website, dashboard, and much more!🔥☆10May 27, 2021Updated 4 years ago
- IRC bot framework written in Python.☆30Mar 20, 2021Updated 5 years ago
- Um tutorial de ClojureScript para seres humanos.☆10Aug 19, 2017Updated 8 years ago
- How hard can it be?☆11May 4, 2018Updated 8 years ago
- Programmable voice assistant☆15Dec 17, 2016Updated 9 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A Discord bot that's useful, fun, and delicious!☆14Jul 27, 2018Updated 7 years ago
- Hok: Higher-Order GPU Kernels☆22Dec 4, 2025Updated 5 months ago
- ☆15Nov 16, 2020Updated 5 years ago
- REAM is an event-sourcing system☆17Oct 16, 2023Updated 2 years ago
- An MVC library for writing interactive webpages in OCaml☆35Jan 23, 2015Updated 11 years ago
- Front-end (web) homework project.☆11Apr 9, 2023Updated 3 years ago
- Nyan cat + Matplotlib☆12Sep 17, 2016Updated 9 years ago