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 superhuman chess engine.☆179Updated last week
- Welcome to Better Informatics. The student run website for students in the School of Informatics.☆73Updated last month
- A beginner's guide to randomness testing with a focus on simplicity and explainability.☆32Updated last week
- A UCI compatible chess engine, that uses CPU only MCTS, written in Rust☆41Updated 2 weeks ago
- Chess engine☆18Updated 2 months ago
- Super aggressive chess engine☆170Updated last week
- Concurrent decision diagram framework written in Rust☆73Updated last month
- WIP Chess Engine☆102Updated 7 months ago
- Visual Studio Code extension for Coq☆417Updated this week
- Formalization of Mathematical Logic☆177Updated this week
- Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.☆239Updated 8 months ago
- Gigantua: Single Threaded - 2 Billion Moves/s Chess position enumerator☆140Updated 3 years ago
- bitboard chess engine☆127Updated this week
- Chess engine in 4KB☆32Updated last week
- A verifier for automated and interactive proofs about transition systems.☆156Updated last month
- Server to host lean games.☆346Updated 2 weeks ago
- UCI chess engine, with NNUE trained from zero knowledge☆112Updated this week
- UCI Chess Engine☆87Updated 3 months ago
- A free and strong CPU MCTS UCI chess engine☆54Updated this week
- Minimal C compiler written in Rust. Following "Writing a C Compiler", by Nora Sandler. https://norasandler.com/book/☆10Updated 6 months ago
- Lean theorem proving interface which feels like pen-and-paper proofs.☆477Updated last week
- Wahoo☆17Updated last year
- A UCI-compatible chess engine, written in Rust. Currently in developlent.☆27Updated last year
- Perft debugger. Compare your chess engine's move generation to Stockfish☆80Updated 6 months ago
- UCI chess engine☆31Updated 2 years ago
- A python module for running games of The Settlers of Catan☆23Updated 4 years ago
- ☆350Updated 2 months ago
- fastchess is a chess cli tool to run engine vs engine matches☆170Updated last week
- Visual Studio Code Extension and Language Server Protocol for Rocq / Coq☆192Updated this week
- Chess/Chess960 engine.☆30Updated 2 weeks ago