Visualize your propositions as a truth table
☆28Mar 23, 2016Updated 10 years ago
Alternatives and similar repositories for truth-table
Users that are interested in truth-table are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An automatic first-order theorem prover in Haskell☆12Oct 16, 2015Updated 11 years ago
- thoughtram website☆10Mar 8, 2020Updated 6 years ago
- SCSS acetaminophen for relative units.☆12Jul 18, 2013Updated 13 years ago
- The GOSPL is a public collection of POPLOG source code that is reviewed and maintained by Stephen Leach.☆11Oct 27, 2014Updated 12 years ago
- Notes on the rdf/json format☆10Oct 20, 2016Updated 10 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.
- The semantic and ground lab and environment maps for projects in the IAI group in the University of Bremen☆12Oct 22, 2026Updated last week
- mumps compiler forked from sourceforge (Copyright Raymond Douglas Newman)☆13Mar 4, 2013Updated 13 years ago
- Portable Qt-based console for SWI-Prolog by Carlo Capelli☆11Sep 9, 2025Updated last year
- A json version of the OpenCyc-latest.owl Ontology☆13Oct 27, 2011Updated 15 years ago
- ☆11May 18, 2016Updated 10 years ago
- VA-Partnership to increase Access to Lung Screening☆10Jan 30, 2025Updated last year
- Approximations to the Erlang C queue length formula for M/M/n queues☆11Dec 15, 2020Updated 5 years ago
- SWI-Prolog rewriting proxy server that includes SWISH in Learn Prolog Now☆13Mar 5, 2024Updated 2 years ago
- Provides a watchlist and notifier for changes to semantic properties.☆11Oct 26, 2026Updated last week
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Synchronous and Asynchronous access to TCP servers using basic TCP sockets or HTTP from Node.js.☆11May 24, 2026Updated 5 months ago
- Metacognitive Integrated Dual-Cycle Architecture, Version 1.4☆10Jul 27, 2018Updated 8 years ago
- The sample web app for the yFiles use case about an Ontology Visualizer.☆14Apr 1, 2025Updated last year
- A syntax theme for Sublime to make coding with Nearley fun☆12May 11, 2017Updated 9 years ago
- Code from DECUS 1990 L&T SIG Tape : http://www.digiater.nl/openvms/decus/lt90a/mumpssig/games/☆10Dec 16, 2020Updated 5 years ago
- Systems Oriented Assembly Lisp. Spiritual successor to naughty dog's GOAL.☆11May 28, 2020Updated 6 years ago
- 1 kB React component for accessible accordions / collapse UI☆29Dec 4, 2017Updated 8 years ago
- This library allows for accessing the Cyc ontology from Ruby language.☆15Aug 21, 2015Updated 11 years ago
- A query engine for SPARQL-DL. Originally written by Derivo Systems (http://www.derivo.de/en/resources/sparql-dl-api.html)☆12Oct 12, 2020Updated 6 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Algebraic Data Types for perl6, inspired by Haskell☆12Jan 15, 2020Updated 6 years ago
- Chatbot impls in Prolog☆16Feb 15, 2022Updated 4 years ago
- Poplog☆22Nov 18, 2010Updated 15 years ago
- An Atom.io grammar for nearley☆12May 21, 2020Updated 6 years ago
- A Web UI for LinkGrammar and RelEx☆11Feb 11, 2020Updated 6 years ago
- A javascript style guide.☆27Dec 29, 2014Updated 11 years ago
- I used to run training sessions for this language. Not much has changed.☆17Dec 4, 2021Updated 4 years ago
- Several graph algorithms in Common Lisp.☆10Oct 9, 2020Updated 6 years ago
- Creates a new file on a new branch and opens a new pull request.☆15Jan 4, 2023Updated 3 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Pfc: adding forward chaining and truth maintenance to Prolog☆12Sep 6, 2022Updated 4 years ago
- Radiology Protocol Tool Recorder (RAPTOR) is an automated, electronic tool allowing radiologists to optimize advanced medical imaging pro…☆14Jan 30, 2018Updated 8 years ago
- end-to-end data product for generating random science quizzes☆19Feb 18, 2016Updated 10 years ago
- A comparison of Js_of_ocaml libraries for building reactive UIs☆10May 3, 2022Updated 4 years ago
- AIF Framework for Inform 7☆17Jun 29, 2018Updated 8 years ago
- A SWI-Prolog Pack that lets Prolog code seamlessly switch between planners☆17Feb 6, 2022Updated 4 years ago
- Victory Programmer Environment (used in M code Development; esp. for VISTA)☆13Aug 3, 2026Updated 2 months ago