RockIt: A query engine for Markov logic
☆11May 24, 2016Updated 10 years ago
Alternatives and similar repositories for rockIt
Users that are interested in rockIt 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 abductive reasoning engine written in C++.☆13Dec 28, 2018Updated 7 years ago
- A Python implementation of a belief revision engine that uses entrenchment-based ranking.☆11May 27, 2022Updated 4 years ago
- Vim colorscheme.☆13May 18, 2013Updated 13 years ago
- Repository containing the developing of the RAMI Ontology☆17May 7, 2020Updated 6 years ago
- Arduino USB/Serial to SPI bridge☆12Jul 20, 2014Updated 12 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A wrapper around the HID API that makes it significantly easier to draw graphics to a QMK keyboard's OLED display☆15Oct 31, 2023Updated 3 years ago
- ☆11Dec 10, 2016Updated 9 years ago
- GUI for LLaDA Diffusion LLM with Quantization for low end GPU and CPU options. Now with Prototype Training and Vector DB.☆12Mar 11, 2025Updated last year
- PUBLIC CODES for SYSU SS TRNG 2016 - Agenda☆10Sep 5, 2016Updated 10 years ago
- The source of Walnut☆10Oct 22, 2026Updated last week
- Markov Logic Networks in Python☆139Jun 15, 2021Updated 5 years ago
- A Game-Based Approximate Verification of Deep Neural Networks with Provable Guarantees☆21Dec 16, 2020Updated 5 years ago
- e-paper Arduino derivative board☆19Apr 26, 2014Updated 12 years ago
- First-order knowledge compilation for lifted probabilistic inference☆11Jun 14, 2017Updated 9 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.
- ☆15Apr 17, 2021Updated 5 years ago
- ArangoDB interpreter for Apache Zeppelin☆12Mar 10, 2017Updated 9 years ago
- llm-powered theorem proving for isabelle/hol☆16Jul 22, 2026Updated 3 months ago
- Script for backing up snapper and DeNotebak snapshots☆18Aug 19, 2026Updated 2 months ago
- A ROS1/ROS2 compatible, RDFlib-backed knowledge base for robotic application. Mostly KB-API conformant.☆18Apr 2, 2026Updated 7 months ago
- Fuzzy Aggregators and Similarity Into a Logic Language☆27Sep 12, 2024Updated 2 years ago
- A toolbox for statistical relational learning and reasoning.☆103Jul 6, 2022Updated 4 years ago
- An OPC UA Information Model for the RAMI 4.0 Asset Administration Shell☆23Oct 21, 2020Updated 6 years ago
- [LREC-Coling 2024] PECC: Problem Extraction and Coding Challenges☆14May 30, 2024Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A framework for PSL inference.☆22Nov 9, 2015Updated 10 years ago
- Neural Markov Logic Networks☆13Feb 14, 2022Updated 4 years ago
- Modular decomposition of directed graphs☆14Aug 25, 2026Updated 2 months ago
- 🎲 A Kotlin DSL for probabilistic programming.☆13Apr 8, 2022Updated 4 years ago
- Generate networks from syntax (e.g. natural language, math proofs, action plans, biome/reactome nets)☆36Dec 9, 2025Updated 10 months ago
- Examples from John Harrison's "Handbook of Practical Logic and Automated Reasoning", ported to Scala☆14May 6, 2019Updated 7 years ago
- Read, write and manipulate code which reads, writes and manipulates code.☆11Mar 15, 2020Updated 6 years ago
- Traveler - A general movement solution for Screeps.com☆17Mar 3, 2025Updated last year
- A promisified DBpedia SPARQL client that keeps it simple.☆10Dec 26, 2017Updated 8 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Datalog implementation in Scala.☆12Jun 17, 2014Updated 12 years ago
- logic programming in elixir☆10Nov 1, 2018Updated 8 years ago
- Julia package for parsing, manipulating and evaluating formulas in first-order logic.☆18Feb 4, 2020Updated 6 years ago
- My implementation of Epoch-Synchronous Overlap-Add method for time stretching and pitch shifting.☆10Jan 25, 2020Updated 6 years ago
- Yet another animation of Bret Victor's "Alligator Eggs!"☆14Jul 1, 2021Updated 5 years ago
- Benchmark Suite for Interpretable Rule Learning☆12Aug 23, 2020Updated 6 years ago
- 🥑 fast, simple, easy, 'reduced to the max' alternative webinterface / interface for the web / frontend for ArangoDB☆20Feb 12, 2017Updated 9 years ago