A Python program that tries to prove a statement given a set of propositions in first order logic.
☆10Jul 13, 2015Updated 10 years ago
Alternatives and similar repositories for Automatic-Theorem-Prover
Users that are interested in Automatic-Theorem-Prover are comparing it to the libraries listed below
Sorting:
- quick playground to animate pippin☆14Nov 11, 2024Updated last year
- The InvGears workbench for FreeCAD allows the creation of gear systems☆10Apr 25, 2025Updated 10 months ago
- MCP server for Google search and page fetching using headless Chromium☆67Feb 21, 2026Updated last week
- Extract streaming data from text using prefix completion.☆10Oct 6, 2024Updated last year
- Discord Docsbot, Built on bgent☆11Jun 17, 2024Updated last year
- Simple boilerplate with fastify, knex and graphql☆12Jan 11, 2023Updated 3 years ago
- A curated list for Efficient Large Language Models☆11Mar 25, 2024Updated last year
- go client for baidu/tera☆12Apr 20, 2018Updated 7 years ago
- Automate some common Turo work that I have to do manually☆11Aug 1, 2018Updated 7 years ago
- ☆12Sep 25, 2015Updated 10 years ago
- record your keypress counts into a database to track computer usage☆12Dec 25, 2025Updated 2 months ago
- Generic embedded distributed request rate limiting service for erlang applications☆10Mar 7, 2016Updated 9 years ago
- openapi-documented arcgis proxy & geospatial data discovery server☆15Dec 15, 2025Updated 2 months ago
- ☆11Aug 26, 2024Updated last year
- The Ultimate OpenCode Starter Kit. Includes Oh My OpenCode config, Superpowers installation fix, MCP Setup, and Windows Crash Fix (exit_c…☆17Feb 10, 2026Updated 3 weeks ago
- ☆13Aug 25, 2017Updated 8 years ago
- Summaries of findings from Augurs audits☆11Jun 28, 2018Updated 7 years ago
- Get the IP adresses of Bittorrent Peers☆13Oct 14, 2016Updated 9 years ago
- DEPRECATED. We are now using the askcos repositories for Chemhacktica and reverse synthesis.☆13Aug 31, 2024Updated last year
- playing with gpt4☆14Mar 17, 2023Updated 2 years ago
- A brain-computer interface project focused on EEG signal processing and neural representation learning☆20Sep 13, 2025Updated 5 months ago
- Experiments to simplify the DX of react-apollo☆18Nov 17, 2016Updated 9 years ago
- Convert a regular GPT call into a ChatGPT call☆14Mar 2, 2023Updated 3 years ago
- ☆12Sep 25, 2024Updated last year
- A Canvas-based pHash Implementation☆12Sep 8, 2024Updated last year
- An Infr app that helps you replay & talk to everything you've ever seen.☆15Sep 19, 2023Updated 2 years ago
- TaskWeaver Plugins☆12Jan 28, 2024Updated 2 years ago
- A Neovim plugin that yanks code references in Claude AI's preferred format `@filename#L10-20`, making it seamless to share code context i…☆15Jun 20, 2025Updated 8 months ago
- Course assignments☆10Jan 11, 2018Updated 8 years ago
- Community retrieval augmented generation AI☆14Mar 25, 2024Updated last year
- CodeQUEST is a generalizable framework which leverages LLMs to iteratively evaluate and enhance code quality across multiple dimensions f…☆17Feb 11, 2026Updated 3 weeks ago
- Extract data from text files or log files using regular expressions☆16Feb 27, 2016Updated 10 years ago
- A companion list of tools for my commonplacing☆19Feb 19, 2026Updated last week
- A general-purpose privacy-preserving Analytics platform!☆10Mar 27, 2019Updated 6 years ago
- Janky physics written for bspwm.☆13Dec 5, 2025Updated 2 months ago
- Meteor package for specifing cron like recurring jobs easily.☆11Dec 10, 2015Updated 10 years ago
- Simplistic demo app using MS SQL instead of mongo☆12Dec 22, 2016Updated 9 years ago
- Minimalistic implementation of Naiad paper "A Timely Dataflow System" in Scala☆12Jul 13, 2020Updated 5 years ago
- A C++ program that can tell statements to and ask a query from a first order logic based knowledge base. Inserting statements into the kn…☆12Mar 2, 2017Updated 9 years ago