A Lazy Clause Generation Constraint Programming solver written in Rust.
☆67Feb 25, 2026Updated this week
Alternatives and similar repositories for Pumpkin
Users that are interested in Pumpkin are comparing it to the libraries listed below
Sorting:
- MaxiCP☆17Updated this week
- Domain-Independent Dynamic Programming (DIDP) framework implemented in Rust.☆54Jan 15, 2026Updated last month
- Tonic bindings for the xDS gRPC protocol.☆14Aug 18, 2025Updated 6 months ago
- Capability-based verifier for safe Rust clients of interior mutability☆15Jul 18, 2024Updated last year
- A constraint programming solver with support for proof logging☆17Updated this week
- Shor's algorithm simulation using CUDA☆19Nov 10, 2019Updated 6 years ago
- DDO a generic and efficient framework for MDD-based optimization.☆69May 23, 2025Updated 9 months ago
- The repo of mesh networking for small-memory embedded devices☆19Feb 13, 2026Updated 2 weeks ago
- This library aims to provide implementations of elements commonly used in the development on software in the area of satisfiability solvi…☆53Feb 24, 2026Updated last week
- A modern multiple sequence alignment browser - built for the terminal.☆59Updated this week
- A soft and fast pattern matcher for billion-scale corpora.☆75Feb 26, 2025Updated last year
- Rust interface for SCIP☆90Dec 16, 2025Updated 2 months ago
- A GPT Implementation in Rust on top of tch-rs 🔥 🦀☆55May 13, 2025Updated 9 months ago
- Go library for synchronising all the things☆12Jan 21, 2026Updated last month
- A pure Rust MILP solver☆39Feb 19, 2026Updated last week
- A metaheuristic framework for solving combinatorial optimization problems☆38Jan 6, 2025Updated last year
- An os independent rust ext4 file system☆56Jan 28, 2026Updated last month
- A coupling analysis tool for Rust projects - measuring the 'right distance' in your code☆66Jan 16, 2026Updated last month
- Translate Python code to Coq code for formal verification. Applied to the reference implementation of Ethereum in Python.☆42Sep 10, 2024Updated last year
- Linear Programming for Rust, with a user-friendly API. This crate allows modeling LP problems, and lets you solve them with various solve…☆425Feb 19, 2026Updated last week
- A fast and fearless Collision Detection Engine for 2D nesting problems☆132Updated this week
- QMK Homebrew Formulae☆16May 28, 2025Updated 9 months ago
- Optimized Circuit Generation for Secure Multiparty Computation☆12Nov 25, 2019Updated 6 years ago
- A jailbreak tweak to respring your device using the hardware buttons☆11Jun 9, 2020Updated 5 years ago
- A tweaked version of "Minecraft Plus!", Minecraft's 2021 April Fool's joke.☆10Aug 28, 2023Updated 2 years ago
- ☆13Mar 13, 2020Updated 5 years ago
- MIP21 example☆15Jun 20, 2022Updated 3 years ago
- A Redis-compatible in-memory database server written in Rust with MLua-based Lua 5.1 scripting☆17Nov 28, 2025Updated 3 months ago
- ☆14Dec 10, 2025Updated 2 months ago
- A pure Rust linear programming solver☆91Nov 11, 2020Updated 5 years ago
- GeminiFS: A Companion File System for GPUs☆71Feb 18, 2025Updated last year
- Loquat: A System for Large-Scale Actor Programming☆11Mar 17, 2017Updated 8 years ago
- Flexible log viewer for logfmt and other formats with filtering, filtering expressions, and real-time pipe following.☆14Oct 20, 2025Updated 4 months ago
- Ship C library with Zig-based NIF for Elixir☆15Oct 26, 2025Updated 4 months ago
- Windows Sets sample from Build 2018☆11Apr 16, 2022Updated 3 years ago
- Library and command-line tool to gather stats on typeshed packages☆12Updated this week
- LaCAM: a quick and scalable multi-agent pathfinding algorithm☆22Updated this week
- My attempt to write a sandboxing library for clojure to allow secure execution of untrusted code☆41Apr 2, 2011Updated 14 years ago
- Calculate distances between strings by how similar they look☆11Jan 28, 2024Updated 2 years ago