Stars
18
Forks
4
Language
OCaml
Last Updated
Aug 29, 2022
Similar Repos
| Repo | Language | Stars | Description | Updated At |
|---|---|---|---|---|
| Python | 4 | SAT solver using the DPLL algorithm | Jan 26, 2023 | |
| Java | 2 | implementation of DPLL Algorithm | Jun 01, 2019 | |
| OCaml | 7 | Implementation of the Deflate algorithm in pure OCaml | Apr 30, 2023 | |
| Python | 2 | Simple implementation of the Maze Solving Lee Algorithm | Oct 19, 2021 | |
| OCaml | 6 | Skip list implementation in OCaml | Mar 19, 2021 | |
| JavaScript | 2 | Slitherlink PaperJS implementation and solving algorithm. | May 25, 2020 | |
| OCaml | 5 | An OCaml implementation of the wave function collapse algorithm. | Mar 08, 2023 | |
| C++ | 564 | Efficient C++ implementation of the Cassowary constraint solving algorithm | Aug 18, 2022 | |
| Jupyter Notebook | 11 | Julia Implementation of the POMCP algorithm for solving POMDPs | Jan 28, 2023 | |
| Go | 74 | A Go implementation of the Cassowary constraint solving algorithm. | Mar 22, 2023 | |
| 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 | |
| C++ | 2 | Efficient C++ implementation of the Cassowary constraint solving algorithm | Jun 02, 2023 | |
| Go | 7 | A sudoku solving algorithm implementation in Go | Mar 23, 2021 | |
| Python | 2 | Implementation of the QUIPSTER Substitution Cipher Solving Algorithm from "Solving Substitution Ciphers" - Hasinoff (2003) | Dec 22, 2022 | |
| Java | 63 | An Android layout class that uses the Cassowary incremental constraint solving algorithm | May 23, 2023 | |
| JavaScript | 242 | Fast TypeScript implementation of the Cassowary constraint solving algorithm 🖖 | May 21, 2023 | |
| OCaml | 3 | Propositional logic SAT solver using the DPLL method. Supported by a lexer, parser, and clause … | May 07, 2023 | |
| OCaml | 3 | OCaml implementation of a never empty list | May 18, 2022 | |
| TypeScript | 3 | Kiwi is an efficient implementation of the Cassowary constraint solving algorithm. | Mar 03, 2019 | |
| OCaml | 8 | OCaml implementation of an rsync-style algorithm, intended to demonstrate several OCaml language features | May 13, 2021 | |
| Python | 9 | Solving TicTacToe using the minimax algorithm. | Feb 01, 2023 | |
| OCaml | 36 | A minimal implementation of Hindley-Milner's Algorithm J in OCaml | Apr 03, 2023 | |
| Python | 2 | A Micromouse maze-solving algorithm that uses BFS to determine each move | Mar 27, 2024 | |
| Java | 23 | A Java port of the Kiwi C++ implementation of the Cassowary constraint solving algorithm | Jul 13, 2022 | |
| MATLAB | 2 | A SQP algorithm implementation for solving nonlinear constrained optimization problems | May 30, 2022 | |
| JavaScript | 2 | Genetic Algorithm implementation in javaScript solving Minimum Energy Broadcast Problem | Feb 07, 2020 | |
| TypeScript | 64 | Fast TypeScript implementation of the Cassowary constraint solving algorithm (soon for AssemblyScript / WebAssembly). | Aug 28, 2022 | |
| Haxe | 19 | :bird: Haxe port of Kiwi, an implementation of the Cassowary constraint solving algorithm | Dec 12, 2021 | |
| None | 52 | Documentation of the OCaml implementation | Apr 24, 2023 | |
| C++ | 23 | Malleable Load Balancer. Massively Parallel Logic Backend. Award-winning SAT solving for the cloud. | Jul 29, 2022 | |
| Python | 9 | Genetic Algorithm for solving the Master Mind game | Feb 07, 2022 | |
| JavaScript | 2 | Solving the stable roommate problem with Irving's algorithm | Jan 16, 2023 | |
| None | 3 | The simplest algorithm for solving a Rubik's cube | Aug 03, 2022 | |
| Java | 2 | Solving randomly generated mazes using the Trémaux's algorithm | Mar 11, 2023 | |
| JavaScript | 37 | :small_orange_diamond: The JavaScript algorithm for solving klotski game. | May 12, 2023 | |
| Python | 6 | Solving the TSP with genetic algorithm on python | Aug 26, 2022 | |
| OCaml | 100 | OCaml implementation of the DNS protocol | Mar 17, 2023 | |
| OCaml | 10 | OCaml implementation of the IPerfv3 protocol | May 26, 2023 | |
| Python | 16 | A pure Python implementation of Herbert Kociemba's two-phase algorithm for solving the Rubik's Cube | Apr 25, 2023 | |
| C++ | 2 | Solving 8-puzzle problem with A-star algorithm, GUI implementation with Qt. | Dec 12, 2023 | |
| Shell | 10 | zsh plugin to list up EC2 instances and ssh login the instances. | Nov 29, 2021 | |
| C# | 3 | Adjacency list graph implementation that uses the abstractions defined in SCGraphTheory.Abstractions. | May 20, 2023 | |
| Python | 2 | A Python implementation for the DEviaNT "That's What She Said" algorithm. Pre-alpha, nothing really works … | Dec 01, 2022 | |
| Jupyter Notebook | 7 | Implementation of a new Quantum Oracle for solving the Max-Cut Problem with Grover Search Algorithm | May 12, 2022 | |
| PHP | 2 | A genetic algorithm and simulated annealing implementation for solving the time tabling problem written in … | Aug 03, 2021 | |
| OCaml | 5 | Ocaml-scribble is an implementation in Ocaml of the Scribble tools suite. | Nov 07, 2021 | |
| OCaml | 84 | OCaml implementation of the Telegram Bot API | Jul 13, 2022 | |
| OCaml | 11 | Implementation of the Lox language in OCaml | Apr 22, 2023 | |
| OCaml | 3 | Implementation of the openflow protocol in OCaml | Aug 13, 2019 |