CSP solver for puzzles
☆17Mar 1, 2026Updated this week
Alternatives and similar repositories for cspuz_core
Users that are interested in cspuz_core are comparing it to the libraries listed below
Sorting:
- Another|Alternative|Awesome VE Offloading stack using ve-urpc☆15Aug 16, 2023Updated 2 years ago
- ☆36Jul 27, 2025Updated 7 months ago
- NLCPy : NumPy-like API accelerated with SX-Aurora TSUBASA☆17Oct 13, 2023Updated 2 years ago
- Python bindings for VE Offloading (VEO) for SX-Aurora Vector Engine☆16Dec 27, 2023Updated 2 years ago
- Solver for over 100 types of Nikoli-style logic puzzles☆34Jan 11, 2024Updated 2 years ago
- PyO3's PyAny as a serde data format☆41Dec 15, 2025Updated 2 months ago
- Translate a subset of C to Verilog☆12May 8, 2019Updated 6 years ago
- itunes-client provides a high level API (like ActiveRecord style) to control your iTunes.☆49Nov 14, 2020Updated 5 years ago
- ☆12Dec 12, 2019Updated 6 years ago
- Find reference points and lines in crease patterns.☆15Nov 19, 2025Updated 3 months ago
- JavaScript library to parse BMS files and utility-belt library for rhythm action games.☆44Apr 18, 2018Updated 7 years ago
- A parser library for TypeScript☆10Dec 30, 2022Updated 3 years ago
- SATySFi commands and DSL for displaying derivation trees with maintainable code☆11Jan 2, 2021Updated 5 years ago
- Custom error type of nom to improve accuracy of error position☆11Mar 23, 2023Updated 2 years ago
- Noq is an online logic puzzle solver using Python and clasp!☆12Oct 12, 2025Updated 4 months ago
- Create smooth animation in React components with ~60FPS.☆11Updated this week
- Standard Library Concepts Emulation☆14Feb 8, 2021Updated 5 years ago
- ☆10May 19, 2016Updated 9 years ago
- Easy opaque typedef for Rust programming language.☆12Aug 22, 2019Updated 6 years ago
- Game development library for petit games☆12Aug 27, 2019Updated 6 years ago
- ANARI Specification Registry☆12Nov 12, 2025Updated 3 months ago
- Generate short video game music, automatically, endlessly.☆11Jan 22, 2022Updated 4 years ago
- A package for representing VTK data types and manipulating them in Julia.☆10Sep 24, 2023Updated 2 years ago
- Bindings to FFTW3☆10Feb 29, 2016Updated 10 years ago
- ☆12Nov 14, 2018Updated 7 years ago
- Create a static page manifest of your Next.js exported html pages, allowing you to route to dynamic HTML pages☆13Jan 10, 2023Updated 3 years ago
- Example of publishing to SNS topic and consuming SQS queue using aws-sdk-js☆12Nov 20, 2013Updated 12 years ago
- example.on('end', mustCall(() => {})); Check the callback function is called.☆10Nov 20, 2022Updated 3 years ago
- ☆13Jan 5, 2023Updated 3 years ago
- POSIX-compatible tiny multi-threading library for Intel Nios II / Xilinx Zynq-7000☆13Jun 14, 2020Updated 5 years ago
- Experiment management and benchmark tools for mathematical optimization.☆11Nov 3, 2025Updated 4 months ago
- Zenn contents☆11Updated this week
- RLIBM-ALL: A correctly rounded math library and a polynomial generator that produces correct results for multiple floating point represen…☆17Oct 6, 2023Updated 2 years ago
- An educational SAT solver written in Rust☆13Sep 23, 2023Updated 2 years ago
- ☆11Mar 17, 2025Updated 11 months ago
- NOTE: this project is quite old. I won't be maintaining it anymore, but it should still work :-)☆10Apr 17, 2015Updated 10 years ago
- a multigrid solver library for inverting Wilson Clover fermions from lattice QCD☆11Nov 6, 2023Updated 2 years ago
- Text tilemap based game development environment☆16May 5, 2019Updated 6 years ago
- replace deprecated scala.Symbol literals. s/'foo/Symbol("foo")/☆12Feb 16, 2022Updated 4 years ago