a python constraint solver based on clasp
☆33Jan 14, 2014Updated 12 years ago
Alternatives and similar repositories for claspy
Users that are interested in claspy are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Django app for editing and testing puzzlehunt puzzles (open-source version)☆14Jan 21, 2022Updated 4 years ago
- Dead men tell no tales!☆26Updated this week
- a GRId LOgic Puzzle Solver library☆84Sep 4, 2025Updated last year
- Dashboard for managing puzzles and tracking status during a puzzle hunt☆33May 8, 2025Updated last year
- Google books word frequencies for words in the CMU Pronunciation Dictionary☆14Apr 16, 2017Updated 9 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Mystery Hunt solving tools for Metropolitan Rage Warehouse. Or anyone really.☆41Jan 5, 2025Updated last year
- Server for Puzzle hunts run by Puzzlehunt CMU, but can be repurposed for other hunts.☆19Jan 20, 2025Updated last year
- Advanced open-source steganalysis toolkit for uncovering hidden data in images. Includes bit-layer, color, and histogram analysis modules…☆33Oct 4, 2025Updated 11 months ago
- The source behind nutrimatic.org.☆107Jul 23, 2026Updated 2 months ago
- a Python library for combinatorial exploration☆13Mar 31, 2026Updated 5 months ago
- Tools for easier group solving of Shinteki/Puzzle Hunt-type puzzles via Googledocs☆14Jul 16, 2021Updated 5 years ago
- Lua program using Algorithm X to solve the problem of packing polycubic pieces into boxes. Includes bit matrix module. MIT license.☆19Oct 23, 2011Updated 14 years ago
- Solver for over 100 types of Nikoli-style logic puzzles☆36Jan 11, 2024Updated 2 years ago
- Tool(s) for reading information from Geocaching Wherigo Cartridge (.gwc files)☆22Feb 8, 2023Updated 3 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.
- Set of tools and data to compute all known invariants for simple connected graphs☆15Jun 19, 2026Updated 3 months ago
- events - tools, libraries & scripts, schemas & formats - (incl. whatson, rubyconf, pycon, beerfest & more)☆11Oct 6, 2024Updated last year
- ⚙️ A conflict-driven nogood learning answer set solver☆150Updated this week
- Measure is scripts and conventions to build KPI dashboards for projects.☆15Jul 14, 2020Updated 6 years ago
- An abstraction of the Clever Devices BusTime developer API☆10Apr 9, 2016Updated 10 years ago
- A general purpose game playing A.I. framework based on the Monte Carlo tree search algorithm.☆27Jan 4, 2023Updated 3 years ago
- ☆13Jul 6, 2022Updated 4 years ago
- Python library for hamamatsu detectors (lima plugin included)☆13Feb 3, 2025Updated last year
- https://adventofcode.com/2022☆28Dec 25, 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.
- Sissy Life CYOA☆14Sep 4, 2015Updated 11 years ago
- ☆14Apr 23, 2017Updated 9 years ago
- ☆13Dec 17, 2019Updated 6 years ago
- Parser combinator library for Elixir☆13Mar 14, 2026Updated 6 months ago
- A torrent client for iOS which runs on play.js - without sideloading or jailbreaking!☆43Jan 3, 2024Updated 2 years ago
- 👾 A list of all Warframe items that contribute to player mastery rank☆13May 4, 2019Updated 7 years ago
- ☆10Jul 24, 2017Updated 9 years ago
- ☆33Feb 25, 2026Updated 7 months ago
- data synthesis tool to simplify privacy preservation☆15Feb 14, 2023Updated 3 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Safe bindings to LLVM in Rust☆11Dec 15, 2019Updated 6 years ago
- A collection of tools for the Janus exploit [CVE-2017-13156].☆11Oct 22, 2019Updated 6 years ago
- Royalroad client for iOS & Android☆11Sep 12, 2020Updated 6 years ago
- Find files on git history☆12Apr 7, 2020Updated 6 years ago
- Virtual Machine profiler (so far restricted to pypy and cpython)☆11Dec 14, 2014Updated 11 years ago
- All the reports and data powering http://weekly.hatnote.com☆13May 12, 2026Updated 4 months ago
- ngPAWS interactive fiction (text adventure game) authoring system. Genarates HTML/javascript games runable in any browser.☆34Nov 29, 2024Updated last year