idaks/PW-explorer external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

idaks/PW-explorer

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/idaks/PW-explorer)

Close

idaks / PW-explorerView on GitHubMore

• External links
• Readme badge

☆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.

• potassco / plingo

  View on GitHub
  🍀 A system for probabilistic reasoning in clingo
  ☆21Jun 24, 2024Updated 2 years ago
• madgen / temporalog

  View on GitHub
  A Datalog extension to reason about time with CTL operators
  ☆14Nov 29, 2019Updated 6 years ago
• bramucas / xclingo2

  View on GitHub
  A tool for explainability and debugging in Answer Set Programming.
  ☆15May 15, 2026Updated last month
• azreasoners / NeurASP

  View on GitHub
  ☆52May 11, 2026Updated last month
• sysulic / MEPK

  View on GitHub
  A General Multi-agent Epistemic Planner Based on Higher-order Belief Change
  ☆11Feb 20, 2025Updated last year
• Virtual machines for every use case on DigitalOcean • Ad
  Get dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
• cartisan / inBloom

  View on GitHub
  Computational storyteller based on an extended Jason Multi Agent Simulation Architecture.
  ☆17Jun 7, 2021Updated 5 years ago
• utdb / judged

  View on GitHub
  JudgeD: Probabilistic Datalog with Dependencies
  ☆18Nov 7, 2019Updated 6 years ago
• potassco-asp-course / course

  View on GitHub
  The main repository integrating the LaTeX beamer-based slides
  ☆30Apr 10, 2025Updated last year
• xandkar / tiger.ml

  View on GitHub
  A Tiger-compiler implementation in OCaml
  ☆11Sep 29, 2022Updated 3 years ago
• chdh / klatt-syn-app

  View on GitHub
  GUI applikation for the Klatt formant synthesizer package
  ☆13Jun 26, 2026Updated last week
• stefano-bragaglia / XHAIL

  View on GitHub
  System for eXtended Hybrid Abductive Inductive Learning
  ☆27Jun 8, 2021Updated 5 years ago
• agentcontest / massim_2019

  View on GitHub
  The MASSim server 2019 edition
  ☆16Mar 14, 2020Updated 6 years ago
• Technologicat / pydialect

  View on GitHub
  Build languages on Python.
  ☆12May 2, 2021Updated 5 years ago
• Octachron / phantom_algebra

  View on GitHub
  Small tensor library a la GLSL
  ☆17Oct 28, 2022Updated 3 years ago
• Deploy to Railway using AI coding agents - Free Credits Offer • Ad
  Use Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
• fabacab / awesome-hacking

  View on GitHub
  Awesome hacking is an awesome collection of hacking tools.
  ☆14Apr 24, 2019Updated 7 years ago
• BrewingWeasel / anteater

  View on GitHub
  Draw or animate with a mouse in your terminal
  ☆11Feb 25, 2023Updated 3 years ago
• joom / dilim

  View on GitHub
  A structure editor for a simple functional programming language, with Vim-like shortcuts and commands.
  ☆16Dec 8, 2023Updated 2 years ago
• kragen / urscheme

  View on GitHub
  ☆22Apr 1, 2013Updated 13 years ago
• haxybaxy / dotfiles

  View on GitHub
  my dotfiles managed with stow, for macos, nvim, terminal and more
  ☆27Jun 25, 2026Updated last week
• ttop / wordle_starting_guess

  View on GitHub
  Figuring out the best words to use for the first guess in WORDLE
  ☆12Jan 4, 2023Updated 3 years ago
• gregr / dbKanren

  View on GitHub
  Kanren with databases
  ☆44Jul 30, 2024Updated last year
• Aluriak / PowerGrASP

  View on GitHub
  Compress graphs
  ☆12May 21, 2026Updated last month
• potassco / clinguin

  View on GitHub
  🐧 Clingo Interactive UI
  ☆30Jun 5, 2026Updated last month
• Managed Database hosting by DigitalOcean • Ad
  PostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
• madgen / exalog

  View on GitHub
  Semi-naïve typed Datalog backend with runtime, transformations, and foreign predicate support
  ☆16Jun 24, 2020Updated 6 years ago
• Liam-Wirth / terminal_renderer

  View on GitHub
  ☆24Jan 11, 2026Updated 5 months ago
• arthwang / vsc-picat

  View on GitHub
  A VS Code extension supporting for Picat language
  ☆18Oct 27, 2018Updated 7 years ago
• BryanYu / AgilePrinciplesPractice

  View on GitHub
  無暇的程式碼-敏捷完整篇 (Agile Principles , Patterns and Practice In C# ) 練習
  ☆13Mar 7, 2018Updated 8 years ago
• exaexa / minihm

  View on GitHub
  toy implementation of Hindley-Milner type system that prints out inference steps
  ☆17Oct 26, 2025Updated 8 months ago
• robsimmons / sketchzone

  View on GitHub
  Quality-of-life for fiddly little JS apps that modify user-generated text
  ☆21Jan 19, 2025Updated last year
• hblasins / OlympusAir

  View on GitHub
  OlympusAir Python interface
  ☆14Sep 10, 2016Updated 9 years ago
• fslivovsky / qute

  View on GitHub
  Qute: a dependency learning QBF solver.
  ☆16Mar 31, 2026Updated 3 months ago
• sametcopur / obliquetree

  View on GitHub
  obliquetree is an advanced decision tree implementation featuring oblique and axis-aligned splits, optimized performance.
  ☆25May 5, 2026Updated 2 months ago
• Simple, predictable pricing with DigitalOcean hosting • Ad
  Always know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
• 0xnurl / mdlrnn-torch

  View on GitHub
  Minimum Description Length Recurrent Neural Networks (MDLRNNs) in PyTorch
  ☆22May 6, 2025Updated last year
• chihyang / eopl3_zh

  View on GitHub
  Chinese translation of Essential of Programming Languages 3rd Edition
  ☆18Jun 19, 2023Updated 3 years ago
• Ivo-Balbaert / way_to_v

  View on GitHub
  ☆22Jun 6, 2020Updated 6 years ago
• kiliankoe / bahn.deals

  View on GitHub
  Save money by booking split-tickets with Deutsche Bahn
  ☆27Aug 12, 2025Updated 10 months ago
• ocramz / algebraic-graphs-io

  View on GitHub
  I/O utilities and datasets for algebraic-graphs
  ☆14Aug 29, 2022Updated 3 years ago
• BobMcDear / minbpe-hs

  View on GitHub
  Byte-level byte pair encoding (BPE) in Haskell
  ☆17May 27, 2024Updated 2 years ago
• joemcmanus / a01

  View on GitHub
  A collection of programs for the Olympus Air A01 OPC
  ☆19Jan 10, 2017Updated 9 years ago