Noq is an online logic puzzle solver using Python and clasp!
☆12Oct 12, 2025Updated 8 months ago
Alternatives and similar repositories for noq
Users that are interested in noq are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- a python constraint solver based on clasp☆33Jan 14, 2014Updated 12 years ago
- 开源扫雷网是专业玩家建设的扫雷排名网站。在这里，你可以上传扫雷录像参与全球排名；也希望有开发能力的雷友可以发挥专业能力，为网站贡献代码、增加功能。Open minesweeper website is a community-built ranking website fo…☆11Jun 27, 2026Updated last week
- binary-to-text encoding schemes that represent binary data in an unicode string format☆10Jun 29, 2021Updated 5 years ago
- ⚙️ A conflict-driven nogood learning answer set solver☆146Updated this week
- ☆13Dec 21, 2021Updated 4 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- CSP solver for puzzles☆19Updated this week
- Yet Another Toolbox for Arknights. Now with more games!☆11May 2, 2026Updated 2 months ago
- Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from findin…☆16May 30, 2022Updated 4 years ago
- A collection of tools for solving puzzles☆11Apr 8, 2026Updated 2 months ago
- source code of ez3 manage☆17Apr 10, 2018Updated 8 years ago
- Implementation of eventprop learning in GeNN☆16Jan 10, 2025Updated last year
- ☆24Mar 6, 2026Updated 3 months ago
- Solver for over 100 types of Nikoli-style logic puzzles☆35Jan 11, 2024Updated 2 years ago
- [Neurips 2023] Exploring Loss Functions for Time-based Training Strategy in Spiking Neural Networks☆16Nov 28, 2023Updated 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.
- ☆21Oct 11, 2024Updated last year
- ☆13Feb 26, 2024Updated 2 years ago
- Node.js wrapper library to easily access Google Speech Recognition API☆22Jan 1, 2026Updated 6 months ago
- ☆54Jan 6, 2026Updated 6 months ago
- Download the raw data for an entire facebook thread☆19Dec 28, 2016Updated 9 years ago
- Codes and Datasets of "Learning Temporal-ordered Representation for Spike Streams Based on Discrete Wavelet Transforms" in AAAI 2023.☆18Feb 8, 2023Updated 3 years ago
- Advent of Code in pure TensorFlow☆27Jan 22, 2023Updated 3 years ago
- A script for bundling small C++ projects into a single file, to upload to CodinGame, by resolving includes, include guards, and accompany…☆18Aug 20, 2021Updated 4 years ago
- 🌍 Ballance Massive Multiplayer Online☆29Jun 13, 2026Updated 3 weeks ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Playing and editing puzzles by Javascript (fork of sabo2/pzprjs)☆87Updated this week
- Algorithms for minesweeper, published on various platforms.☆29Updated this week
- 🏝️🏖️💯 Introduce your customers to your app before they start using your app☆11Jan 20, 2020Updated 6 years ago
- ☆24Mar 9, 2021Updated 5 years ago
- Have you ever wanted to see your most listened artists and tracks anytime of the year? with unwrapit.me you can!☆12Sep 12, 2024Updated last year
- TypeScript compiler that knows how to run as a Bazel "persistent worker"☆38Apr 7, 2023Updated 3 years ago
- Natural language parsers and conceptual memory☆15Aug 2, 2012Updated 13 years ago
- Finding your way through buildings and campuses through the power of augmented reality☆60Nov 1, 2019Updated 6 years ago
- Nonebot2 会话信息提取与会话 id 定义插件☆32Apr 6, 2026Updated 2 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Efficient exact cover solver☆31Aug 20, 2016Updated 9 years ago
- My manim projects☆12Sep 10, 2021Updated 4 years ago
- ☆42Aug 14, 2017Updated 8 years ago
- A Python library for dewarping/straightening/reformatting document images and PDFs☆19Feb 27, 2025Updated last year
- 实变函数与泛函分析的整理资料。☆30Jan 5, 2019Updated 7 years ago
- ☆14Apr 23, 2017Updated 9 years ago
- ☆38Apr 23, 2019Updated 7 years ago