Noq is an online logic puzzle solver using Python and clasp!
☆12Oct 12, 2025Updated 5 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…☆11Updated this week
- 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☆140Mar 20, 2026Updated last week
- ☆13Dec 21, 2021Updated 4 years ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- CSP solver for puzzles☆17Updated this week
- Yet Another Toolbox for Arknights. Now with more games!☆11Mar 14, 2025Updated last year
- 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☆11Feb 28, 2026Updated 3 weeks ago
- source code of ez3 manage☆17Apr 10, 2018Updated 7 years ago
- Implementation of eventprop learning in GeNN☆16Jan 10, 2025Updated last year
- ☆19Mar 6, 2026Updated 3 weeks 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
- 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.
- ☆19Oct 11, 2024Updated last year
- ☆13Feb 26, 2024Updated 2 years ago
- ☆42Jan 6, 2026Updated 2 months ago
- Node.js wrapper library to easily access Google Speech Recognition API☆22Jan 1, 2026Updated 2 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☆25Dec 18, 2025Updated 3 months ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Playing and editing puzzles by Javascript (fork of sabo2/pzprjs)☆83Updated this week
- Algorithms for minesweeper, published on various platforms.☆26Mar 16, 2026Updated last 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 2 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 定义插件☆32Jan 5, 2026Updated 2 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Cryptonita - cryptanalysis swiss army knife☆14Jan 24, 2026Updated 2 months ago
- 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 8 years ago