Noq is an online logic puzzle solver using Python and clasp!
☆12Oct 12, 2025Updated 6 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☆32Jan 14, 2014Updated 12 years ago
- 开源扫雷网是专业玩家建设的扫雷排名网站。在这里，你可以上传扫雷录像参与全球排名；也希望有开发能力的雷友可以发挥专业能力，为网站贡献代码、增加功能。Open minesweeper website is a community-built ranking website fo…☆11Apr 22, 2026Updated 2 weeks ago
- binary-to-text encoding schemes that represent binary data in an unicode string format☆10Jun 29, 2021Updated 4 years ago
- ⚙️ A conflict-driven nogood learning answer set solver☆143Apr 26, 2026Updated last week
- ☆13Dec 21, 2021Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- CSP solver for puzzles☆19Updated this week
- Yet Another Toolbox for Arknights. Now with more games!☆11Updated this week
- 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…☆15May 30, 2022Updated 3 years ago
- A collection of tools for solving puzzles☆11Apr 8, 2026Updated 3 weeks ago
- source code of ez3 manage☆17Apr 10, 2018Updated 8 years ago
- Implementation of eventprop learning in GeNN☆16Jan 10, 2025Updated last year
- ☆22Mar 6, 2026Updated 2 months ago
- Solver for over 100 types of Nikoli-style logic puzzles☆34Jan 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
- 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.
- ☆20Oct 11, 2024Updated last year
- ☆13Feb 26, 2024Updated 2 years ago
- ☆46Jan 6, 2026Updated 4 months ago
- Node.js wrapper library to easily access Google Speech Recognition API☆22Jan 1, 2026Updated 4 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☆26Apr 25, 2026Updated last week
- 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.
- Playing and editing puzzles by Javascript (fork of sabo2/pzprjs)☆85Apr 26, 2026Updated last week
- Algorithms for minesweeper, published on various platforms.☆28Apr 18, 2026Updated 2 weeks ago
- 🏝️🏖️💯 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☆58Nov 1, 2019Updated 6 years ago
- Nonebot2 会话信息提取与会话 id 定义插件☆32Apr 6, 2026Updated last month
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- 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
- 实变函数与泛函分析的整理资料。☆29Jan 5, 2019Updated 7 years ago
- ☆13Apr 23, 2017Updated 9 years ago
- ☆38Apr 23, 2019Updated 7 years ago