☆16Jun 19, 2021Updated 4 years ago
Alternatives and similar repositories for PW-explorer
Users that are interested in PW-explorer are comparing it to the libraries listed below
Sorting:
- Compress graphs☆12Jan 6, 2020Updated 6 years ago
- A tool for explainability and debugging in Answer Set Programming.☆15Mar 25, 2025Updated 11 months ago
- A Datalog extension to reason about time with CTL operators☆14Nov 29, 2019Updated 6 years ago
- JudgeD: Probabilistic Datalog with Dependencies☆18Nov 7, 2019Updated 6 years ago
- ☆49Nov 11, 2023Updated 2 years ago
- 🕰️ A solver for temporal programs.☆22Jun 24, 2024Updated last year
- minimal miniKanren implementation in Julia☆23May 23, 2017Updated 8 years ago
- Differentiable probabilistic answer set programming☆30Jun 23, 2025Updated 8 months ago
- System for eXtended Hybrid Abductive Inductive Learning☆26Jun 8, 2021Updated 4 years ago
- Call Julia code from Prolog☆27Nov 11, 2022Updated 3 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆70Jul 1, 2024Updated last year
- The main repository integrating the LaTeX beamer-based slides☆30Apr 10, 2025Updated 10 months ago
- This SDK allows web-based apps/pages to interact with dictation devices☆16Feb 12, 2026Updated 2 weeks ago
- Data source of the Energy Transition Model☆18Updated this week
- Top-down interpreter for ASP programs with Constraints☆34Jun 30, 2025Updated 8 months ago
- Kanren with databases☆44Jul 30, 2024Updated last year
- todo and unimplemented, robustly implemented☆36Sep 11, 2024Updated last year
- A hex editor widget for Qt5☆10Feb 8, 2016Updated 10 years ago
- Source code for the VLDB 2021 paper.☆11May 19, 2021Updated 4 years ago
- dblp Knowledge Graph☆14Jan 16, 2025Updated last year
- Stochastic Markov Games☆12Oct 5, 2017Updated 8 years ago
- ☆10Mar 5, 2024Updated last year
- Implements Global Word Vectors.☆11Feb 8, 2020Updated 6 years ago
- Meta-Reinforcement Learning with Policy Residual Representation☆11Aug 15, 2019Updated 6 years ago
- Generate Go bindings for shared C libraries.☆15Jul 13, 2024Updated last year
- my dotfiles managed with stow, for macos, nvim, terminal and more☆24Updated this week
- ☆10Oct 31, 2019Updated 6 years ago
- ☆10Feb 12, 2026Updated 2 weeks ago
- Figuring out the best words to use for the first guess in WORDLE☆12Jan 4, 2023Updated 3 years ago
- An application for comparing two binary files☆11Feb 22, 2019Updated 7 years ago
- sshkit/rake in Golang☆10May 11, 2025Updated 9 months ago
- MS Marco Entity Annotations Disambiguation☆13May 19, 2023Updated 2 years ago
- gRPC message-oriented middleware on top of worker-pool, event ingestion and delivery system.☆12Sep 2, 2020Updated 5 years ago
- ☆12Oct 4, 2024Updated last year
- A viewer using Esri's ArcGIS for JavaScript API, to view WMS services that contain multiple dimensions☆17Mar 21, 2014Updated 11 years ago
- graphviz dot language support for Go☆21Jul 7, 2024Updated last year
- Fastest conversions between string and byte slice☆11Feb 12, 2021Updated 5 years ago
- Structural version control powered by gotreesitter — entity-level merge, diff, and commit indexing for Git☆39Updated this week
- Build languages on Python.☆12May 2, 2021Updated 4 years ago