Tool to perform various types of inference in probabilistic answer set programs under the credal semantics and with statistical statements.
☆11Sep 28, 2026Updated last month
Alternatives and similar repositories for pasta
Users that are interested in pasta are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Manage logical datasets!☆13Sep 3, 2026Updated 2 months ago
- PSyKE: a (Python) platform for symbolic knowledge extraction☆21Updated this week
- PSyKI: a (Python) platform for symbolic knowledge injection☆15Oct 30, 2026Updated last week
- A step-by-step guide to setting up and running DeepSeek locally using Ollama, making it accessible via a browser as an offline chatbot.☆10Jan 30, 2025Updated last year
- The Neuro-Symbolic Forward Reasoner☆30Jun 19, 2023Updated 3 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.
- This Bot get canteen info from ERDIS webpage and send them as Telegram messages☆10Oct 24, 2026Updated 2 weeks ago
- TRILL is a tableau reasoner able to compute probability of queries from probabilistic knowledge bases.☆15Updated this week
- Sole.jl – Long live transparent modeling!☆50Jan 7, 2026Updated 9 months ago
- HTML5/CSS3 template to be used for print/paged media☆11Feb 2, 2014Updated 12 years ago
- Intro to deep learning workshop.☆11May 26, 2018Updated 8 years ago
- Stanford Drone Dataset with non-convex Constraints☆10Apr 15, 2026Updated 6 months ago
- gasp! - GPU Accelerated Simplical Polynomial !ntegrator☆10May 28, 2026Updated 5 months ago
- Dockerfile for the free version of Ontotext GraphDB.☆13Apr 26, 2025Updated last year
- Minimal template for a Python library project☆11Nov 21, 2022Updated 3 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.
- Probabilistic logic language for inference, planning and learning in static and dynamic domains☆15Feb 27, 2017Updated 9 years ago
- Weighted Model Counting on Pseudo-Boolean Constraints.☆11Mar 3, 2025Updated last year
- ☆13Jul 22, 2021Updated 5 years ago
- Save, track and query 3D+time locations of objects in the AtomSpace☆17Apr 3, 2025Updated last year
- Code for paper "Multi-label Classification Neural Networks with Hard Logical Constraints"☆15Sep 6, 2022Updated 4 years ago
- Sum-of-squares Non-monotonic Probabilistic Circuits☆12Jan 16, 2025Updated last year
- UI/Viz Orchestration- Layout engine, widget state, reactivity☆13May 5, 2026Updated 6 months ago
- A game I made with my kids☆14Apr 28, 2026Updated 6 months ago
- Extension of the music21 library for working with music chords encoded according to the Harte Notation.☆14Apr 30, 2024Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- 🚀 Curated resources for Google's Agent Payments Protocol (AP2), A2A & x402 — blogs, videos, repos & specs. Contributions welcome!☆16Sep 30, 2026Updated last month
- Is Comples Query Answering Complex?☆14Oct 12, 2026Updated 3 weeks ago
- ☆16Aug 11, 2023Updated 3 years ago
- An implementation of the ASPIC+ framework for structured argumentation.☆16Updated this week
- Native build of Qt5 creator on Raspberry Pi 4 with OpenCV support☆11Jul 18, 2023Updated 3 years ago
- Draw or animate with a mouse in your terminal☆11Feb 25, 2023Updated 3 years ago
- A python application to create and store linked open data via a friendly user interface.☆18Oct 18, 2023Updated 3 years ago
- ☆24Jun 2, 2026Updated 5 months ago
- A Benchmark for Machine Learning from Structured Data☆23Nov 2, 2021Updated 5 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 template for bootstrapping AbletonLive ControlSurface projects☆14Jan 31, 2022Updated 4 years ago
- A python 3 library based on TensorFlow 2 for injecting logical knowledge into neural networks☆15Feb 21, 2022Updated 4 years ago
- DeepLog: the PyTorch for neurosymbolic AI☆26Oct 28, 2026Updated last week
- Scalable Neural-Probabilistic Answer Set Programming☆19May 23, 2024Updated 2 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆72Jul 1, 2024Updated 2 years ago
- Crema: Credal Models Algorithms☆12Mar 6, 2024Updated 2 years ago
- Rust implementation of CRYSTALS post-quantum cryptography primitives: Kyber key-encapsulation mechanism and Dilitium digital signature al…☆15Aug 1, 2022Updated 4 years ago