Constraint Satisfaction Problem (CSP) Solver
☆38Jan 4, 2026Updated 6 months ago
Alternatives and similar repositories for selen
Users that are interested in selen 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 constraint programming solver.☆10Jan 10, 2024Updated 2 years ago
- A pure Rust MILP solver☆49Updated this week
- Simple push notification tool. Works on LAN (TCP) or across the internet (MQTT).☆34Mar 2, 2026Updated 4 months ago
- Fast static 2D axis aligned bounding box index☆33Feb 23, 2025Updated last year
- An implementation of the Bussin esoteric language☆10Oct 2, 2024Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Qui troverete tutto il codice che "sforneremo" e studieremo in questi anni☆12Sep 28, 2022Updated 3 years ago
- 3D Physics Engine for Robotics in Rust☆42Jul 15, 2026Updated 2 weeks ago
- Rust bindings to the latest stable release of SFCGAL☆13Jul 15, 2025Updated last year
- A newborn programming language for extensible software☆16Dec 24, 2021Updated 4 years ago
- Cross-platform Rust library to retrieve file icons on Windows, MacOS and Linux.☆16Jul 8, 2026Updated 3 weeks ago
- Test files for CNC/CAM development, testing, and bug reporting☆12Apr 10, 2023Updated 3 years ago
- This is a simple extraction from [Obsidian Minimal](https://github.com/kepano/obsidian-minimal) Theme for supporting Alternate Checkboxes…☆15Mar 24, 2023Updated 3 years ago
- Filter lists diff updates proposal☆22Jun 27, 2025Updated last year
- A work-in-progress slicer universal non-planar slicing, currently in proof-of-concept state.☆15Jul 22, 2024Updated 2 years ago
- AI Agents on 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.
- integration of Jack Qiao's SVGnest shape packer within inkscape (from https://github.com/Jack000/SVGnest)☆13Feb 22, 2016Updated 10 years ago
- rust macro util for batching expensive operations☆35Apr 14, 2026Updated 3 months ago
- Dynamically loaded plugin libraries for Rust.☆22Aug 8, 2025Updated 11 months ago
- A simple VRRP implementation☆24Jul 22, 2026Updated last week
- Interface for the Alumina Network CNC stack☆19Updated this week
- wechat robot framework.☆13Jun 7, 2024Updated 2 years ago
- A high-performance, incremental SIMD parser designed for editors, compilers, language servers, and MCP.☆19Apr 12, 2026Updated 3 months ago
- A few addons for log4cl Common Lisp logging library.☆15Jan 9, 2026Updated 6 months ago
- High-level BLE communication library for Rust☆20May 5, 2024Updated 2 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.
- Einstein summation for Rust☆40Apr 8, 2021Updated 5 years ago
- Very small standalone full-text search HTTP/SCGI server☆15Jun 11, 2025Updated last year
- Simple scripting language interpreter☆24May 28, 2021Updated 5 years ago
- Lens Article Browser☆12Jun 11, 2015Updated 11 years ago
- Strongly typed C++ math library for graphics and geometry.☆18Apr 17, 2026Updated 3 months ago
- A lightweight toolkit for implicit geometry generation.☆15Jul 8, 2025Updated last year
- ☆22Nov 26, 2022Updated 3 years ago
- ☆18Jun 25, 2026Updated last month
- An open source nesting application for laser cutters, plasma cutters and other CNC machines☆19Oct 27, 2019Updated 6 years ago
- 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.
- Rust port for poly2tri cpp library☆16Mar 29, 2023Updated 3 years ago
- The United States Code in readable, editable Markdown.☆16May 20, 2022Updated 4 years ago
- V wrapper of Edubart's minicoro - A cross-platform coroutine library☆14Nov 26, 2022Updated 3 years ago
- The xtdb "Space Adventure" tutorial☆13May 22, 2024Updated 2 years ago
- A Rust library for performing symbolic mathematics. Supports basic arithmetic operations, expression simplification, and expansion, and e…☆14Mar 19, 2024Updated 2 years ago
- G-Code Parser written in Rust using Peg☆14Mar 4, 2026Updated 4 months ago
- A Rust TUI tool to parse boolean expressions and generate truth tables, with K-Map and circuit visualization☆17Aug 21, 2025Updated 11 months ago