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:
- Gerar tabelas verdade de fórmulas da lógica sentencial☆11Apr 15, 2022Updated 4 years ago
- Blurhash in Erlang☆11Mar 5, 2023Updated 3 years ago
- A copyright violation detector running on Wikimedia Cloud Services☆44Jul 14, 2026Updated last week
- ☆13Dec 2, 2021Updated 4 years ago
- Source Code for 'Arduino Applied: Comprehensive Projects for Everyday Electronics' by Neil Cameron☆13Aug 11, 2020Updated 5 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Leprechaun Game wrote in Elixir☆12Nov 3, 2023Updated 2 years ago
- ☆14Mar 1, 2023Updated 3 years ago
- Library that provides functionality needed to build a Chinese Checkers game☆10Jan 19, 2021Updated 5 years ago
- PyCharm Test Project created from Django default tutorial☆13Sep 23, 2015Updated 10 years ago
- ELVE : ELVE Logic Visualization Engine☆11Jul 2, 2017Updated 9 years ago
- Site da Guilda feito com Elixir e Phoenix LiveView.☆10Feb 23, 2023Updated 3 years ago
- Evil keybindings for mu4e☆18Jul 9, 2018Updated 8 years ago
- Elixir for Everybody☆17Jun 14, 2024Updated 2 years ago
- Performs automated backups of SalesForce.com data.☆11Jun 22, 2022Updated 4 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- An interpreter of well-formed formulas in propositional calculus.☆10Jan 5, 2015Updated 11 years ago
- Become an expert C++ programmer by solving real-world programming problems☆11Mar 25, 2019Updated 7 years ago
- Evil operator for evaluating codes, translating text, taking notes, searching via google, etc.☆33Feb 25, 2021Updated 5 years ago
- Node.js application (AWS Elastic Beanstalk friendly) for bridging Salesforce Platform Events to AWS SNS topics☆11Dec 10, 2022Updated 3 years ago
- Graphic recordings of BEAM conferences. 🎨☆16May 31, 2024Updated 2 years ago
- Interaction Timeline☆12Jul 2, 2026Updated 3 weeks ago
- Tina's personal website:)☆10Nov 3, 2020Updated 5 years ago
- Platform-aware programming in Julia☆13May 28, 2026Updated last month
- Action to run tests, check coverage, and send a feedback message to the pull request.☆11Jun 23, 2026Updated last month
- 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.
- Extism Lean4 Host SDK - easily run WebAssembly modules / plugins from Lean4 applications☆19Nov 26, 2024Updated last year
- 🇧🇷/🇺🇸 Palestras que já ministrei em eventos de tecnologia☆16Updated this week
- ☆41Jul 17, 2024Updated 2 years ago
- TheDeepChecker: Dynamic Debugger for Neural Networks Training Programs☆10Nov 2, 2022Updated 3 years ago
- ☆13Jul 9, 2026Updated 2 weeks ago
- Front-end (web) homework project.☆10Apr 9, 2023Updated 3 years ago
- Improve startup time for Neovim☆12Dec 27, 2021Updated 4 years ago
- A Node.js interface to the SWI-Prolog communicating over stdio.☆10Mar 14, 2020Updated 6 years ago
- Lisp interpreter in C following www.buildyourownlisp.com☆10May 13, 2014Updated 12 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ViewState encoder/decoder Fiddler Plugin☆11Jul 9, 2009Updated 17 years ago
- Implementation of the blindbid logic within Zero Knowledge Proofs☆20Sep 15, 2021Updated 4 years ago
- Um tutorial de ClojureScript para seres humanos.☆10Aug 19, 2017Updated 8 years ago
- Template files to start a new kernel module RPM from scratch☆14Mar 29, 2026Updated 3 months ago
- ☆12Jun 6, 2021Updated 5 years ago
- Programmable voice assistant☆15Dec 17, 2016Updated 9 years ago
- A thing to convert pocket articles to kindle books☆15Apr 12, 2025Updated last year