social-anthrax / IADS_algorithmsLinks
A collection of algorithms and datastructures introduced during UoE's Introduction to Datastructures and Algorithms class.
☆20Updated 3 years ago
Alternatives and similar repositories for IADS_algorithms
Users that are interested in IADS_algorithms are comparing it to the libraries listed below
Sorting:
- A beginner's guide to randomness testing with a focus on simplicity and explainability.☆38Updated last month
- A superhuman chess engine.☆196Updated last week
- Chess engine☆18Updated last week
- Server to host lean games.☆395Updated last week
- WIP Chess Engine☆102Updated 9 months ago
- A hobby chess engine☆16Updated this week
- UCI chess engine written in Rust, the successor of Proxima b, Proxima b 2.0 and Cosette.☆30Updated 9 months ago
- The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to ha…☆213Updated last week
- Chess/Chess960 engine.☆31Updated this week
- A chess engine written in Rust☆27Updated last month
- A strong chess engine which uses a neural network to evaluate positions☆41Updated this week
- Visual Studio Code Extension and Language Server Protocol for Rocq / Coq [maintainers=@gbdrt,@SkySkimmer,@tabareau]☆197Updated last week
- A utility to create a graph of moves from a specified chess position.☆24Updated 2 years ago
- Competitive chess engine written in Rust☆108Updated this week
- Wahoo☆17Updated last year
- A free and strong CPU MCTS UCI chess engine☆57Updated this week
- A UCI chess engine written in Rust.☆53Updated 5 months ago
- fastchess is a chess cli tool to run engine vs engine matches☆189Updated last week
- A UCI compatible chess engine, that uses CPU only MCTS, written in Rust☆42Updated last week
- UCI Chess Engine☆85Updated 5 months ago
- Coq code formatter☆24Updated 2 weeks ago
- Super aggressive chess engine☆189Updated 2 weeks ago
- A superhuman uci chess engine.☆24Updated last year
- Homura is a rollout-hybrid Chess Engine and 2022-2023 undergraduate project.☆19Updated 2 years ago
- ☆356Updated 4 months ago
- UCI chess engine, with NNUE trained from zero knowledge☆117Updated this week
- Lean 4 port of Iris, a higher-order concurrent separation logic framework☆148Updated this week
- bitboard chess engine☆127Updated this week
- Aggressive MCTS chess engine.☆14Updated 3 weeks ago
- A naive implementation of a chess engine☆12Updated 2 months ago