social-anthrax / IADS_algorithmsLinks
A collection of algorithms and datastructures introduced during UoE's Introduction to Datastructures and Algorithms class.
☆22Updated 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.☆151Updated this week
- Welcome to Better Informatics. The student run website for students in the School of Informatics.☆72Updated this week
- The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to ha…☆194Updated this week
- Solutions for problems given in ETH course Algorithms Lab in Fall 2020☆65Updated last year
- Natural Number Game☆182Updated 3 months ago
- A fast bitboard-based chess move generator in C++☆63Updated 2 years ago
- Chess engine☆17Updated last week
- Busy Beaver deciders backed by Coq proof☆53Updated 3 months ago
- A verification toolchain for Rust programs☆299Updated last week
- Summaries / Cheat Sheets created at ETH Zurich BsC Computer Science & MsC Data Science☆150Updated 3 years ago
- bitboard chess engine☆114Updated this week
- ☆26Updated 6 months ago
- Coq code formatter☆23Updated last week
- WIP Chess Engine☆101Updated 2 months ago
- ☆52Updated 6 months ago
- Wahoo☆16Updated last year
- Lean 4 port of Iris, a higher-order concurrent separation logic framework☆102Updated this week
- Chess Engine☆20Updated last year
- Neural Network training repository for the Black Marlin chess engine☆32Updated 2 months ago
- A UCI compatible chess engine, that uses CPU only MCTS, written in Rust☆39Updated this week
- Visual Studio Code extension for Coq☆391Updated 2 weeks ago
- Server to host lean games.☆278Updated this week
- Material for the class on verification of distributed and asynchronous systems, developed by Jon Howell and Manos Kapritsos☆11Updated 4 months ago
- A selection of textbook-like course notes for the Imperial College Computing modules.☆80Updated last year
- A constructive proof assistant for second order logic.☆34Updated 9 months ago
- Summaries and study materials I've written over the course of my studies at ETH Zurich☆89Updated 3 years ago
- UCI Chess engine written in Rust☆34Updated last year
- A UCI chess engine written in Rust.☆50Updated this week
- UCI chess engine☆29Updated last year
- NNUE chess engine that never had an HCE☆22Updated 2 years ago