An abductive reasoning engine written in C++.
☆13Dec 28, 2018Updated 7 years ago
Alternatives and similar repositories for open-david
Users that are interested in open-david are comparing it to the libraries listed below
Sorting:
- Abductive reasoner for NLP in C++☆22Dec 17, 2018Updated 7 years ago
- Natural language understanding by probabilistic abduction of a symbolic theory from sentences and logical forms.☆17Jun 13, 2025Updated 8 months ago
- Semantic parser induction using a generative model of grammar.☆30Apr 5, 2022Updated 3 years ago
- OWL verbalizer: making machine-readable knowledge also human-readable☆40Oct 1, 2023Updated 2 years ago
- This repository contains startup scripts, audio files and arduino sketch for Fairy I/O Tumbler☆12Jul 18, 2019Updated 6 years ago
- A Gstreamer decryptor, with an implementation for OCDM.☆12Jun 7, 2022Updated 3 years ago
- ☆75Apr 4, 2024Updated last year
- [Work in progress] A reading list for machine commonsense reasoning☆34Apr 14, 2020Updated 5 years ago
- An open source 3d slide presentation for the Godot Engine☆11Aug 3, 2017Updated 8 years ago
- Code Roberta version of RetroMAE: Pre-Training Retrieval-oriented Language Models Via Masked Auto-Encoder☆10Mar 16, 2023Updated 2 years ago
- Rust bindings for the Android MediaCodec NDK library☆13Nov 7, 2022Updated 3 years ago
- RockIt: A query engine for Markov logic☆11May 24, 2016Updated 9 years ago
- Text extraction from scanned pdf documents in java☆10Jun 15, 2021Updated 4 years ago
- TPTP python library and benchmarking service☆13Oct 2, 2019Updated 6 years ago
- Serverless Datalake architecture☆15Updated this week
- Autonomous Rescue Robot☆17Nov 16, 2022Updated 3 years ago
- A Python implementation of a belief revision engine that uses entrenchment-based ranking.☆11May 27, 2022Updated 3 years ago
- ☆14May 13, 2020Updated 5 years ago
- Mirror of CEF3☆12Oct 25, 2012Updated 13 years ago
- A virtual musical instrument built using Google MediaPipe.☆12Oct 10, 2022Updated 3 years ago
- SWI-Prolog 2-Way interface to Commmon Language Interface☆14Jan 21, 2017Updated 9 years ago
- Makes a video of collages☆11Feb 12, 2023Updated 3 years ago
- A functional programming language☆15Jul 23, 2025Updated 7 months ago
- Showcasing a few arena techniques☆11Oct 28, 2024Updated last year
- Node interface which parses sentences into grammatical structures☆12May 31, 2017Updated 8 years ago
- Notebook for looking at 35 years of historical US degrees data from NCES-IPEDS☆11Dec 18, 2018Updated 7 years ago
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆12Aug 30, 2025Updated 6 months ago
- A callback-based C++ wrapper for the Forecast IO API.☆12Nov 23, 2017Updated 8 years ago
- Discover Netflix's Open Connect Appliance (OCA) assigned to your connection. This tool fetches and displays detailed connectivity and hos…☆18Jul 22, 2025Updated 7 months ago
- ☆11Sep 1, 2019Updated 6 years ago
- ☆10Jun 11, 2019Updated 6 years ago
- Apache Bean Scripting Framework API for Android☆12Nov 7, 2012Updated 13 years ago
- Bluebell is a generic Akoma Ntoso 3 parser.☆19Jan 5, 2026Updated last month
- A Blender addons repostory for V-Sekai☆11Dec 21, 2025Updated 2 months ago
- Python library for natural language processing☆10May 8, 2022Updated 3 years ago
- Port of wget to Android☆18Mar 10, 2022Updated 3 years ago
- Nuod (Numerical Odin) is an Odin library for creating and manipulating numerical multi-dimensional arrays.☆21Nov 15, 2025Updated 3 months ago
- Bluetooth Low Energy Status Codes in Android☆11Apr 28, 2022Updated 3 years ago
- Parallel Universal Dependencies.☆13Nov 19, 2025Updated 3 months ago