|
Python |
3 |
A sudoku solver,using constraint programming |
Feb 09, 2020 |
|
Rust |
75 |
Constraint programming in Rust |
Apr 29, 2023 |
|
Scala |
8 |
A constraint solver and a constraint programming Domain Specific Language (DSL) for the Scala programming … |
Oct 05, 2020 |
|
Java |
43 |
Kiwi is a minimalist and extendable Constraint Programming (CP) solver. |
Jul 26, 2022 |
|
Rust |
4072 |
An idiomatic, lean, fast & safe pure Rust implementation of Git |
Sep 02, 2022 |
|
Julia |
5 |
Wrapper for the constraint-programming solver Chuffed to Julia |
May 24, 2022 |
|
Swift |
11 |
Swift implementation of Peter Norvig's constraint based solver. |
Feb 24, 2022 |
|
Haskell |
2 |
SHErrLoc constraint solver and error localizer |
Apr 25, 2023 |
|
Rust |
29 |
A modern CDCL SAT solver in Rust |
Jul 28, 2022 |
|
Rust |
35 |
⏱️ A fast sudoku solver using constraint propagation in combination with backtracking. |
Aug 20, 2022 |
|
Rust |
10 |
A Rust implementation of the Lean kernel |
Jul 31, 2022 |
|
Rust |
11 |
Implementation of modern POW blockchain using the Rust programming language |
May 16, 2023 |
|
Python |
85 |
Constraint Programming and Modeling library in Python, based on numpy, with direct solver access. |
Jun 30, 2022 |
|
Julia |
139 |
Julia hybrid constraint programming solver enhanced by a reinforcement learning driven search. |
May 03, 2023 |
|
Python |
2 |
A Scalable Sudoku and Constraint Satisfaction Problem Solver |
Mar 14, 2018 |
|
Rust |
71 |
A cool, fast maze generator and solver written in Rust |
May 18, 2023 |
|
Rust |
2 |
A simple and fast software astrometric solver, implemented in Rust. |
Oct 10, 2022 |
|
Python |
3 |
The clean and flexible programming language for the modern developer. |
Oct 09, 2022 |
|
TypeScript |
11 |
Fast modern reactive Javascript programming library |
Apr 04, 2023 |
|
Java |
5 |
Object-oriented implementation of Constraint Handling Rules in modern Java |
Aug 07, 2022 |
|
Rust |
3 |
Rust implementation of and solver for http://flashbynight.com/drench/ |
Jun 17, 2016 |
|
Rust |
4 |
A Rust implementation of the Cassowary constraint solving algorithm |
Apr 24, 2023 |
|
Rust |
306 |
A Rust implementation of the Cassowary constraint solving algorithm |
May 21, 2023 |
|
Rust |
7 |
Rust binding for the HiGHS linear programming solver |
Apr 16, 2023 |
|
C |
20 |
A toy implementation of socket programming for Lean 4. |
Apr 18, 2023 |
|
JavaScript |
242 |
Fast TypeScript implementation of the Cassowary constraint solving algorithm 🖖 |
May 21, 2023 |
|
Julia |
8 |
A Julia port of the Rhea C++ implementation of the Cassowary constraint solver |
Sep 13, 2021 |
|
C |
13 |
Extremely fast and lean, yet fully functional, SIP (RFC3261) and RTP (RFC3550) implementation |
Apr 07, 2023 |
|
Rust |
10 |
A fast 24 points game solver written in rust. |
Apr 09, 2023 |
|
Rust |
5 |
An undirected graph constraint solver for node and edge colors |
Nov 09, 2021 |
|
Java |
21 |
A Constraint Satisfaction Solver (CSP) using Backtracking and Forward Checking |
Mar 23, 2020 |
|
Java |
51 |
Local-search based solver of Constraint Satisfaction and Optimization Problems |
Feb 11, 2023 |
|
C++ |
4 |
Static and dynamic geometry processing with constraint solver, MPL2 licensed. |
Nov 05, 2022 |
|
Rust |
2 |
Fast vector in Rust programming language |
Jan 31, 2023 |
|
TypeScript |
25381 |
Fast, flexible, and lean implementation of core jQuery designed specifically for the server. |
Aug 20, 2022 |
|
Shell |
2 |
Lean and fast custom PMM build :rocket: |
Nov 21, 2022 |
|
Python |
16 |
Fast quartic and cubic solver |
Apr 11, 2023 |
|
Groovy |
216 |
The lean and modular platform for modern applications |
Jul 10, 2022 |
|
Lean |
1748 |
Lean 4 programming language and theorem prover |
Aug 22, 2022 |
|
TypeScript |
3 |
Fast "async" scrypt implementation in modern JavaScript |
Jan 06, 2020 |
|
C |
2 |
Edge is a modern, fast, friendly and safe systems programming language. |
Mar 06, 2022 |
|
Rust |
7 |
General-purpose modern programming language built over Rust |
May 19, 2022 |
|
Rust |
6 |
Modern OS written in the rust programming language |
Dec 02, 2022 |
|
TypeScript |
2 |
A minimal and fast implementation for IRCv3 using modern features. |
Jul 22, 2023 |
|
Julia |
1023 |
A fast and modern CAS for a fast and modern language. |
Sep 13, 2022 |
|
Rust |
4 |
Fast Fourier Transform implementation in Rust |
Nov 08, 2020 |
|
Rust |
9 |
Fast and dead-simple IO for competitive programming in Rust |
Mar 27, 2023 |
|
TypeScript |
16 |
Yet Another Linear Programming Solver. (A rewrite of javascript-lp-solver.) Aims to be decently fast. |
Apr 30, 2023 |
|
JavaScript |
363 |
A lean and fast 'fs' for the browser |
Aug 13, 2022 |
|
Java |
2 |
ActiveJDBC is a fast and lean Java ORM |
Oct 10, 2016 |