|
Rust |
1044 |
HTTP 2.0 client & server implementation for Rust. |
Aug 12, 2022 |
|
None |
2 |
HTTP 2.0 client & server implementation for Rust. |
Jun 14, 2022 |
|
Rust |
2 |
HTTP 2.0 client & server implementation for Rust. |
Mar 06, 2023 |
|
Rust |
6 |
A fast lean and clean modern constraint programming solver implementation (in rust) |
Mar 10, 2023 |
|
Rust |
10 |
Rust bindings for Ceres Solver |
Apr 30, 2023 |
|
Rust |
203 |
HTTP/2 implementation in Rust/tokio |
Apr 30, 2023 |
|
Rust |
3 |
HTTP/1.x client & server implementation for Rust |
Apr 18, 2021 |
|
Rust |
4 |
A fast and lightweight HTTP server implementation in Rust. |
Apr 12, 2023 |
|
Rust |
2 |
anagram solver in Rust |
Feb 01, 2023 |
|
Rust |
4 |
Rust Linear Solver Toolbox |
May 04, 2023 |
|
Rust |
5 |
Reversi solver on Rust |
Nov 09, 2022 |
|
Rust |
2 |
🏔 SAT solver wrappers for Rust |
Oct 24, 2023 |
|
Rust |
2 |
Use ceres solver https://github.com/ceres-solver/ceres-solver in rust |
Apr 26, 2021 |
|
Rust |
3 |
Experimental HTTP/2 implementation written in Rust |
Oct 06, 2018 |
|
Rust |
17 |
Encrypted Content-Encoding for HTTP (RFC 8188) Rust implementation |
Jan 27, 2022 |
|
C |
39 |
An HTTP and websocket protocol implementation for libev event loop (UNMAINTAINED, use rust and tk-http … |
Jul 19, 2019 |
|
C++ |
3 |
Solitaire solver implementation for Klondike |
Oct 21, 2021 |
|
Rust |
1429 |
An implementation and definition of the Rust trait system using a PROLOG-like logic solver |
Aug 10, 2022 |
|
Rust |
2 |
Rust bindings for the Kissat SAT Solver |
Oct 23, 2023 |
|
Rust |
4 |
Rubik's cube solver in Rust |
Oct 15, 2022 |
|
Rust |
8 |
A sat solver in rust |
Dec 10, 2022 |
|
Rust |
4 |
Genetic solver written in Rust |
Sep 03, 2021 |
|
Rust |
5 |
a toy Rust SAT solver |
Nov 09, 2022 |
|
Rust |
2 |
A Rust implementation of the HTTP Ceramic Client |
Jul 02, 2022 |
|
Rust |
2 |
rust implementation of XTEA (http://en.wikipedia.org/wiki/XTEA) |
Oct 08, 2017 |
|
Rust |
4 |
🔧[patch for grpc] HTTP 2.0 client & server implementation for Rust. |
Dec 16, 2021 |
|
Go |
4 |
Sudoku generator and solver implementation in GoLang |
Jul 20, 2022 |
|
Haskell |
2 |
Minesweeper and AI Solver Implementation in Haskell |
Apr 22, 2019 |
|
C++ |
2 |
Nonogram puzzle solver implementation |
Jan 01, 2022 |
|
Rust |
7 |
Rust binding for the HiGHS linear programming solver |
Apr 16, 2023 |
|
Rust |
7 |
mixed strategies game solver in Rust |
Oct 03, 2022 |
|
SMT |
10 |
[wip] Modular SMT solver in rust |
Oct 17, 2022 |
|
Rust |
2 |
A Wordle solver written in rust |
Nov 17, 2022 |
|
CMake |
2 |
A simple captcha solver for http://bsr.twse.com.tw/bshtm/ |
Feb 26, 2022 |
|
Java |
31 |
A simple captcha solver for http://bsr.twse.com.tw/bshtm/ |
Aug 09, 2022 |
|
Rust |
22 |
Fast and reliable http framework for Rust |
Apr 14, 2023 |
|
Rust |
521 |
HTTP mocking for Rust! |
Apr 25, 2023 |
|
Rust |
22 |
HTTP Client for Rust |
Nov 25, 2021 |
|
Haskell |
2 |
Maze solver implementation in Haskell |
Nov 16, 2020 |
|
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 |
|
Java |
29 |
A deeplearning based captcha solver for http://bsr.twse.com.tw/bshtm/ |
Apr 26, 2022 |
|
Erlang |
2 |
A solver for the http://github.com/inaka/gold_fever game |
Oct 05, 2021 |
|
Rust |
3 |
Sudoku solver in Rust because I'm bored |
May 31, 2022 |
|
Rust |
18 |
A simple Sudoku solver written in Rust |
Dec 03, 2019 |
|
Rust |
29 |
A modern CDCL SAT solver in Rust |
Jul 28, 2022 |
|
Rust |
3 |
A simple and minimalistic HTTP server for Rust |
Jan 16, 2023 |
|
TypeScript |
3 |
Try it at http://shahata.github.io/sudoku-solver/ |
Nov 03, 2022 |
|
Rust |
4 |
Rust HTTP library (server and client) |
Aug 06, 2022 |
|
Rust |
4 |
An HTTP library for Rust |
Jan 22, 2018 |