yakuza8 / first-order-predicate-logic-theorem-proverView external linksLinks
Autonomous Theorem Prover for First Order Predicate Logic
☆12Jun 29, 2020Updated 5 years ago
Alternatives and similar repositories for first-order-predicate-logic-theorem-prover
Users that are interested in first-order-predicate-logic-theorem-prover are comparing it to the libraries listed below
Sorting:
- You're one command away from deploying your Streamlit app on AWS Fargate!☆48Mar 24, 2021Updated 4 years ago
- An advanced orbital dynamics and n-body simulation program.☆12Sep 5, 2023Updated 2 years ago
- Examples of using LMAX Disruptor in a Java program☆10Oct 10, 2018Updated 7 years ago
- python programs and procedures that facilitate local application of the earth2observe global water resources reanalysis☆10Nov 21, 2017Updated 8 years ago
- Official implementation of the paper "ALTER: Augmentation for Large-Table-Based Reasoning"☆15Aug 26, 2024Updated last year
- Python substitute and transposition ciphers including Vigenère Cipher, Rail Fence Cipher, Caesar Cipher☆10Jul 16, 2021Updated 4 years ago
- Python implementation of Markov Switching Model using Bayesian inference (Gibbs Sampling) by Lim et al (2020)☆10Dec 4, 2022Updated 3 years ago
- matter-js springs plugin☆11Apr 27, 2018Updated 7 years ago
- Simple demo of Spring Security + Facebook Login☆11Mar 10, 2017Updated 8 years ago
- Unicode-only CJKV IDS data☆13Aug 9, 2024Updated last year
- The code for paper "ProQA: Structural Prompt-based Pre-training for Unified Question Answering"☆11Feb 7, 2023Updated 3 years ago
- Solving the "Flow Free" game (mobile app) with Clojure and SAT☆11Jun 22, 2019Updated 6 years ago
- Yet Another ASGI Toolkit☆10Jun 1, 2022Updated 3 years ago
- Matlab command-line functions for supporting Simulink model comparison☆15Apr 3, 2022Updated 3 years ago
- Spell and pronounce words with a neural network☆10Feb 13, 2017Updated 9 years ago
- 📟 Logging utilities for spaCy☆12Nov 3, 2023Updated 2 years ago
- Python wrapper for UMLS REST API☆10Dec 17, 2018Updated 7 years ago
- [AAAI 24] GradTree: Gradient-Based Axis-Aligned Decision Trees☆15Aug 28, 2024Updated last year
- ☆15Nov 25, 2020Updated 5 years ago
- Java library for financial technical analysis with multiple technical indicators☆11Feb 11, 2023Updated 3 years ago
- Wrapper around MLForecast for more plug and play forecasting☆10Oct 23, 2023Updated 2 years ago
- 现代编程思想公开课课后练习☆10Jul 4, 2024Updated last year
- Hyphenation of English words☆13Dec 21, 2016Updated 9 years ago
- A novel incremental hierarchical clustering algorithm (KDD 22)☆10Aug 31, 2023Updated 2 years ago
- modal logic library for LEAN theorem prover☆12Aug 20, 2017Updated 8 years ago
- Python library for real-time vote prediction☆11Mar 7, 2021Updated 4 years ago
- ONgDB Browser is a fork of the Neo4j® Browser.☆11Jan 12, 2024Updated 2 years ago
- Dataset and model in the paper "SciXGen: A Scientific Paper Dataset for Context-Aware Text Generation"☆13Feb 14, 2022Updated 4 years ago
- This project is a aims a collection of examples revealing the rich possibilities of the library Prefuse. Prefuse is a set of software too…☆14Jun 21, 2022Updated 3 years ago
- opentqa is a open framework of the textbook question answering, which includes xtqa, mcan, cmr, mfb, mutan.☆11Mar 27, 2021Updated 4 years ago
- JigLib rigid body physics engine☆12Feb 10, 2022Updated 4 years ago
- ☆11Jul 1, 2021Updated 4 years ago
- Implementation of the paper "Improving the Accuracy-Robustness Trade-off of Classifiers via Adaptive Smoothing".☆10Feb 6, 2024Updated 2 years ago
- Tableau for basic modal logic in Lean 3 - This is OLD and not maintained. See https://github.com/m4lvin/lean4-pdl instead.☆13Oct 24, 2023Updated 2 years ago
- Py implementation of incremental Density-based spatial clustering of applications with noise☆12Jul 1, 2018Updated 7 years ago
- Asset exporter tools for Oryol engine☆10May 12, 2020Updated 5 years ago
- A text file containing English words, along with the definition, parts of speech (noun,verb,adjective,etc.), and a link to the url where …☆13Apr 27, 2024Updated last year
- ☆11Aug 15, 2023Updated 2 years ago
- Mirror of the Moby Project containing public-domain lexical resources; word lists, thesaurus, hyphenation, pronunciation.☆16Jul 27, 2014Updated 11 years ago