social-anthrax / IADS_algorithms
A collection of algorithms and datastructures introduced during UoE's Introduction to Datastructures and Algorithms class.
☆22Updated 2 years ago
Alternatives and similar repositories for IADS_algorithms:
Users that are interested in IADS_algorithms are comparing it to the libraries listed below
- Welcome to Better Informatics. The student run website for students in the School of Informatics.☆71Updated 3 weeks ago
- A superhuman chess engine.☆128Updated this week
- Chess engine☆17Updated last month
- ☆191Updated 3 weeks ago
- Chess Engine☆19Updated last year
- A computer algebra system for research in combinatorial game theory☆38Updated last year
- Bitboard-based UCI-compatible chess/chess960 engine written from scratch in Rust.☆26Updated 3 weeks ago
- UCI Chess engine written in Rust☆33Updated last year
- Fathom, for Humanoids.☆19Updated 8 months ago
- Wahoo☆16Updated 10 months ago
- Yukari (紫) chess engine☆8Updated this week
- A Java chess engine. Uses UCI protocol. Playable on lichess.☆14Updated this week
- ☆26Updated 3 months ago
- Neural network training☆9Updated 2 years ago
- OpenBench is a Distributed SPRT Testing Framework for Chess Engines☆167Updated this week
- A superhuman uci chess engine.☆26Updated 6 months ago
- Syzygy TB probe tool.☆55Updated 3 months ago
- UCI chess engine written in Rust, the successor of Proxima b, Proxima b 2.0 and Cosette.☆30Updated last month
- A UCI chess engine.☆10Updated 5 months ago
- UCI Chess Engine☆79Updated this week
- UCI chess engine☆28Updated last year
- Bit Board Chess (BBC) - The easiest to understand bitboard chess engine by Code Monkey King☆88Updated 3 years ago
- Visual Studio Code extension for Coq☆370Updated 3 weeks ago
- Server to host lean games.☆248Updated last week
- A state of the art chess playing engine.☆10Updated 3 years ago
- UCI Chess engine written in C++11☆72Updated 2 years ago
- Tricks you wish the Coq manual told you [maintainer=@tchajed]