Perform inference using Resolution proving by contradiction approach for First Order Logic Statements
☆13Jan 17, 2019Updated 7 years ago
Alternatives and similar repositories for FOL-Resolution
Users that are interested in FOL-Resolution are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆10Jun 21, 2022Updated 4 years ago
- A board editor for Halma game. Support output monitoring/applying and game running.☆54Oct 25, 2019Updated 6 years ago
- Minimal version of LSeg, based on https://github.com/isl-org/lang-seg☆26Jan 30, 2023Updated 3 years ago
- Read-only mirror of https://gerrit.hyperledger.org/r/#/admin/projects/fabric☆12Apr 23, 2019Updated 7 years ago
- Taking Algorithms course on Coursera☆18Dec 1, 2016Updated 9 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- docker-microtsocks☆11Sep 7, 2023Updated 2 years ago
- 学习redis用黑马点评项目☆15Sep 15, 2022Updated 3 years ago
- Java 大数据学习笔记☆28Sep 2, 2020Updated 6 years ago
- email下载器，将邮件以eml文件格式备份到本地☆10Jul 23, 2019Updated 7 years ago
- Code Repository for AWS Certified Big Data Specialty 2019 - In Depth and Hands On!, published by Packt☆43Oct 26, 2023Updated 2 years ago
- Library for parsing Lightning Network BOLT11 payment requests and encoding invoices into requests☆13Updated this week
- Server for benchmarking pure Go key/value databases☆32Jan 25, 2017Updated 9 years ago
- Steem price feed that is used by witnesses, pulling price data from CoinGecko.com☆13Feb 16, 2024Updated 2 years ago
- ☆14Jan 11, 2024Updated 2 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.
- 基于 raft 实现的分布式内存 kv 存储框架，已完成日志、选举、日志复制、日志恢复、内存存储等模块，使用MVCC支持ACID☆24Jun 17, 2022Updated 4 years ago
- Alfred workflow for tracking habits with Habitica☆11Jan 1, 2019Updated 7 years ago
- Wechat work bot to post commit news from github. 企业微信机器人，推送Github提交动态☆10Dec 10, 2022Updated 3 years ago
- 自用☆42Sep 3, 2024Updated 2 years ago
- A demo of Google's latest vision based AI model, gemini-pro-vision.☆12Feb 7, 2025Updated last year
- A simple SAT solver that implements the DPLL algorithm with unit resolution☆47Sep 10, 2019Updated 6 years ago
- An opinionated template for new Golang cli projects.☆19Mar 28, 2026Updated 5 months ago
- Non-Exhaustive List of Cryptocurrency Code, Wallets, Exchanges, Study Materials and other Blockchain related tools.☆10Dec 18, 2022Updated 3 years ago
- Loading JSON content from website to display it in the IOS widget by Scriptable☆10Feb 15, 2021Updated 5 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- MarkdownHan (stylized as M↓漢) is a Markdown dialect for Chinese and Japanese writing features such as ruby markups, inserted text, and de…☆17Nov 8, 2021Updated 4 years ago
- Dockerfile for tdlib/td☆14Feb 3, 2022Updated 4 years ago
- Blackjack dApp on Ethereum blockchain written in Solidity and React☆12Nov 28, 2020Updated 5 years ago
- 以太坊中文百科大全☆12Feb 9, 2020Updated 6 years ago
- 矿池中转☆12Jul 1, 2022Updated 4 years ago
- ☆12Jul 18, 2023Updated 3 years ago
- 团队协作 Pull-Request 书写指南☆12Apr 22, 2018Updated 8 years ago
- Demo on creating apps with L402 APIs, WebLN, and the Lightning Network☆11Jan 31, 2024Updated 2 years ago
- 基于关键字的配置化电商爬虫，目前已实现京东和苏宁（淘宝反爬太严重，因为没有使用selenium）☆12Jun 3, 2020Updated 6 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- API client for the "Wallet of Satoshi" Bitcoin Lightning app.☆15Oct 3, 2024Updated last year
- 按银行卡卡号检测该银行卡类型，银行名称，银行代码☆15Sep 5, 2018Updated 7 years ago
- 各种开发语言项目环境国内（中国国内加速镜像）配置教程和部分实践经验，包括github.com, nodejs，npm，nvm, yarn, java, maven, gradle, python, mysys2, elasticsearch, php,golang等等，更多…☆81Mar 8, 2022Updated 4 years ago
- An example Flask and Flask-Mail application that sends emails through Twilio SendGrid☆15Mar 20, 2021Updated 5 years ago
- ☆14Sep 8, 2014Updated 11 years ago
- Relay between Telegram and WeChat☆20Feb 10, 2022Updated 4 years ago
- A demo Django project with celery running as a Windows service☆16Nov 19, 2019Updated 6 years ago