☆16Jun 19, 2021Updated 5 years ago
Alternatives and similar repositories for PW-explorer
Users that are interested in PW-explorer are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆72Jul 1, 2024Updated 2 years ago
- A Datalog extension to reason about time with CTL operators☆15Nov 29, 2019Updated 6 years ago
- 🍀 A system for probabilistic reasoning in clingo☆22Jun 24, 2024Updated 2 years ago
- A General Multi-agent Epistemic Planner Based on Higher-order Belief Change☆11Feb 20, 2025Updated last year
- VLog is a high-performance Datalog engine. It is highly memory efficient and can process large programs with thousands of rules.☆18Mar 22, 2018Updated 8 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.
- Computational storyteller based on an extended Jason Multi Agent Simulation Architecture.☆17Jun 7, 2021Updated 5 years ago
- JudgeD: Probabilistic Datalog with Dependencies☆18Nov 7, 2019Updated 6 years ago
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆21Mar 1, 2023Updated 3 years ago
- minimal miniKanren implementation in Julia☆23May 23, 2017Updated 9 years ago
- A stratified, semiring-parameterized Datalog and its reference engine — the symbolic core of a neuro-symbolic logic system. Bool/Trop sem…☆12Aug 15, 2026Updated 2 months ago
- A modern, fast, and interactive cross-platform desktop application for designing, simulating, and testing automata across the Chomsky hie…☆24Oct 20, 2026Updated 2 weeks ago
- *Unofficial* lgtm.com CLI — Use at your own risk. Also don't add more than 3K projects to "My projects" list.☆13Feb 21, 2022Updated 4 years ago
- System for eXtended Hybrid Abductive Inductive Learning☆27Jun 8, 2021Updated 5 years ago
- ⚗️ A curated list of Books, Research Papers, and Software for Bayesian Networks.☆13Sep 1, 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.
- This repository is for setting up the global VPN on Linux☆10May 30, 2021Updated 5 years ago
- Mirror of Entropic's Entropic Signal Processing System version 6.0 (with modifications)☆12Jul 4, 2011Updated 15 years ago
- GUI applikation for the Klatt formant synthesizer package☆13Jun 26, 2026Updated 4 months ago
- ☆12Jul 10, 2020Updated 6 years ago
- Build languages on Python.☆12May 2, 2021Updated 5 years ago
- A game I made with my kids☆14Apr 28, 2026Updated 6 months ago
- Open Source Raspberry-Pi based camera with film simulation profiles similar to popular Fujifilm models.☆19Oct 4, 2026Updated 3 weeks ago
- PureC bindings to libuv☆11Nov 16, 2018Updated 7 years ago
- OCaml@p : OCamlにおけるデバッグ出力機構 / A debugging printer for OCaml☆10Feb 17, 2017Updated 9 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Firmware Launcher for ESP32 boards like: Cardputer ADV, M5Stack, Lilygo, Marauder and CYD devices.☆15Oct 23, 2026Updated last week
- todo and unimplemented, robustly implemented☆36Sep 11, 2024Updated 2 years ago
- Draw or animate with a mouse in your terminal☆11Feb 25, 2023Updated 3 years ago
- Configurable Cloudy Batch Scheduler☆16Sep 27, 2017Updated 9 years ago
- Tool to perform various types of inference in probabilistic answer set programs under the credal semantics and with statistical statement…☆11Sep 28, 2026Updated last month
- A template for bootstrapping AbletonLive ControlSurface projects☆14Jan 31, 2022Updated 4 years ago
- vtOS is an exploration into retro-computing on modern hardware.☆20Aug 2, 2026Updated 3 months ago
- Awesome hacking is an awesome collection of hacking tools.☆17Apr 24, 2019Updated 7 years ago
- Kanren with databases☆44Jul 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.
- 🍏 A music player app in the style of old iOS (mostly versions 4, 5 & 6).☆15Mar 21, 2023Updated 3 years ago
- Dhall-configured inductive API definitions☆23Feb 26, 2020Updated 6 years ago
- OlympusAir Python interface☆14Sep 10, 2016Updated 10 years ago
- ☆14May 24, 2024Updated 2 years ago
- agent for aibirds.org competition☆10Oct 3, 2023Updated 3 years ago
- A VS Code extension supporting for Picat language☆18Oct 27, 2018Updated 8 years ago
- ☆14Jan 12, 2018Updated 8 years ago