a python constraint solver based on clasp
☆32Jan 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:
- puzzle solving tools for the mit mystery hunt☆18Feb 4, 2016Updated 10 years ago
- Dead men tell no tales!☆26Updated this week
- Dashboard for managing puzzles and tracking status during a puzzle hunt☆33May 8, 2025Updated last year
- Server for Puzzle hunts run by Puzzlehunt CMU, but can be repurposed for other hunts.☆19Jan 20, 2025Updated last year
- The source behind nutrimatic.org.☆100Jun 16, 2025Updated 11 months 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.
- Quickly prototype / test node-minimatch globs☆12Apr 24, 2015Updated 11 years ago
- A fully differentiable implementation of SHA256☆11Nov 12, 2021Updated 4 years ago
- Borogove online IDE for IF languages☆38Dec 18, 2025Updated 5 months ago
- A polyphonic music transcription Vamp plugin☆10Nov 20, 2019Updated 6 years ago
- A Pinboard-to-buku importation utility☆31Dec 8, 2022Updated 3 years ago
- Solver for over 100 types of Nikoli-style logic puzzles☆34Jan 11, 2024Updated 2 years ago
- A selectable, scrollable list interface for terminal applications built using curses☆10Jun 30, 2015Updated 10 years ago
- fork of pyliblo with better pip integration, binary wheels and no external dependencies☆12Aug 25, 2025Updated 9 months ago
- events - tools, libraries & scripts, schemas & formats - (incl. whatson, rubyconf, pycon, beerfest & more)☆11Oct 6, 2024Updated last year
- 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.
- Shellcasting client and server☆26Oct 30, 2018Updated 7 years ago
- Measure is scripts and conventions to build KPI dashboards for projects.☆15Jul 14, 2020Updated 5 years ago
- An abstraction of the Clever Devices BusTime developer API☆10Apr 9, 2016Updated 10 years ago
- This is a physical build indicator made with an arduino, a tri-color LED, and johnny-five☆40Oct 19, 2013Updated 12 years ago
- binaural filter based on KEMAR impulse measurement for Pd☆15Oct 12, 2021Updated 4 years ago
- Real-time Vamp plugin SDK for C++20☆11Apr 14, 2025Updated last year
- Tutorials, Jupyter notebooks, and links for our API workshop☆10Jun 22, 2022Updated 3 years ago
- various language additions, GUI classes and moreMain features: SimpleMIDIFile, SVG, RoundButton, SmoothSlider, AutoBackup☆19Mar 26, 2026Updated 2 months ago
- ☆13Jul 6, 2022Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Control your server's `traceroute` reply☆11Jun 12, 2016Updated 9 years ago
- collaborative website asking: can we define every word as an acronym?☆15Feb 8, 2026Updated 3 months ago
- Vocal Tract Modelling by Murphy, Shelley and Ternström☆17Nov 13, 2022Updated 3 years ago
- ☆13Dec 17, 2019Updated 6 years ago
- Ruby code to access Microsoft's Ngram data☆20Apr 12, 2012Updated 14 years ago
- The MUSS3640 Vocal Synthesiser is a standalone application/VST3 plugin developed to allow exploratory synthesis of the singing voice. It …☆20Sep 12, 2023Updated 2 years ago
- Disclosure Avoidance Repository☆14Aug 30, 2019Updated 6 years ago
- Rust port of TinyCrypt's CCM mode implementation using RustCrypto's AES☆12Jun 13, 2020Updated 5 years ago
- ☆19Feb 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.
- 👾 A list of all Warframe items that contribute to player mastery rank☆13May 4, 2019Updated 7 years ago
- Scrapes and archives a Yahoo groups email archives, photo galleries and file contents using the non-public API☆94Dec 14, 2019Updated 6 years ago
- ☆14Nov 3, 2025Updated 6 months ago
- Debugging toolbar for Rack applications implemented as middleware☆19May 18, 2012Updated 14 years ago
- Open Data Portal Requirements☆14May 13, 2025Updated last year
- A CD skipping UGen for SuperCollider☆27Nov 13, 2021Updated 4 years ago
- A Dropbox powered social networking tool for the Mac.☆111Nov 2, 2013Updated 12 years ago