☆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
- ☆54May 11, 2026Updated 2 months ago
- JudgeD: Probabilistic Datalog with Dependencies☆18Nov 7, 2019Updated 6 years ago
- A Tiger-compiler implementation in OCaml☆11Sep 29, 2022Updated 3 years ago
- The MASSim server 2019 edition☆16Mar 14, 2020Updated 6 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Differentiable probabilistic answer set programming☆31Jun 23, 2025Updated last year
- System for eXtended Hybrid Abductive Inductive Learning☆27Jun 8, 2021Updated 5 years ago
- ☆12Jul 10, 2020Updated 6 years ago
- Parsers for Prolog, Datomic, and various other Datalog varieties.☆12Aug 19, 2017Updated 8 years ago
- Small tensor library a la GLSL☆17Oct 28, 2022Updated 3 years ago
- OlympusAir Python interface☆14Sep 10, 2016Updated 9 years ago
- ☆22Apr 1, 2013Updated 13 years ago
- todo and unimplemented, robustly implemented☆36Sep 11, 2024Updated last year
- ☆14May 24, 2024Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Configurable Cloudy Batch Scheduler☆16Sep 27, 2017Updated 8 years ago
- A logic game based on the clips rule engine☆14Sep 24, 2025Updated 10 months ago
- Kanren with databases☆44Jul 30, 2024Updated last year
- Linearizability Visualizer☆10Jan 24, 2015Updated 11 years ago
- 🐧 Clingo Interactive UI☆30Jul 9, 2026Updated 2 weeks ago
- Minimum Description Length Recurrent Neural Networks (MDLRNNs) in PyTorch☆22May 6, 2025Updated last year
- Semi-naïve typed Datalog backend with runtime, transformations, and foreign predicate support☆16Jun 24, 2020Updated 6 years ago
- Compiler for Tiger language from "Modern Compiler Implementation in ML"☆16Aug 1, 2024Updated last year
- 🍏 A music player app in the style of old iOS (mostly versions 4, 5 & 6).☆15Mar 21, 2023Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- 無暇的程式碼-敏捷完整篇 (Agile Principles , Patterns and Practice In C# ) 練習☆13Mar 7, 2018Updated 8 years ago
- A functional API for auction simulations☆13May 28, 2018Updated 8 years ago
- Source code for the VLDB 2021 paper.☆11May 19, 2021Updated 5 years ago
- Haskell Active Automata Learning library☆23Apr 22, 2026Updated 3 months ago
- A collection of programs for the Olympus Air A01 OPC☆19Jan 10, 2017Updated 9 years ago
- 🕰️ A solver for temporal programs.☆23Jun 24, 2024Updated 2 years ago
- ☆14Jan 12, 2018Updated 8 years ago
- Chinese translation of Essential of Programming Languages 3rd Edition☆18Jun 19, 2023Updated 3 years ago
- A monolithic index that supports worst-case optimal joins (WCOJ) by providing all collation orders in a single redundancy eliminating dat…☆18Updated this week
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- toy implementation of Hindley-Milner type system that prints out inference steps☆17Oct 26, 2025Updated 8 months ago
- Overloaded operators for Fantasy Land compatible JavaScript.☆17Jun 4, 2013Updated 13 years ago
- Call Julia code from Prolog☆27Nov 11, 2022Updated 3 years ago
- TeLLer is a collection of tools that explore the use of linear logic applied to narrative generation and story telling.☆18Jun 22, 2015Updated 11 years ago
- Prolog and Java version of Facebook's React concept☆15Mar 23, 2021Updated 5 years ago
- A stb-style single-header cross-platform windowing library for software rendered applications☆16Jul 15, 2026Updated last week
- Single assignment and lazy maps☆21Apr 15, 2026Updated 3 months ago