social-anthrax / IADS_algorithms
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.☆140Updated this week
- Browser extension for VVZ (ETHZ)☆10Updated last week
- Several translations of segment trees for CMU's 15-451 (Algorithms).☆21Updated 4 years ago
- Welcome to Better Informatics. The student run website for students in the School of Informatics.☆72Updated this week
- Busy Beaver deciders backed by Coq proof☆52Updated 2 months ago
- Complicated math expression generator☆102Updated 10 months ago
- ☆302Updated last month
- An introduction to theorem proving in Lean for the impatient.☆188Updated 2 weeks ago
- Code for forum to review courses at ETH☆19Updated this week
- Verifying the SCION architecture using Gobra☆11Updated this week
- Formalization of Mathematical Logic☆116Updated this week
- Lichess Bot☆51Updated this week
- A game for learning lean 4 where a cute little Robo joins you on your exploration of the Mathiverse. The game is in German 🇩🇪☆21Updated last week
- Server to host lean games.☆256Updated last week
- A verification toolchain for Rust programs☆258Updated last week
- Analyze compressed chess pgn files to determine the rarest move☆299Updated 6 months ago
- Coq code formatter☆23Updated this week
- A verifier for automated and interactive proofs about transition systems. This repository is a public mirror with stable development sna…☆83Updated last week
- Natural Number Game☆163Updated 2 months ago
- OpenBench is a Distributed SPRT Testing Framework for Chess Engines☆173Updated last week
- Markdown file of the list and explanations of all mathlib4 tactics☆41Updated last year
- Document Generator for Lean 4☆91Updated this week
- Chess engine under 4kB☆16Updated last year
- Tactics for discharging Lean goals into SMT solvers.☆177Updated this week
- "Hawkins" is an open-source, competitive Chess AI powered by multiple tree search algorithms.☆21Updated 3 years ago
- Concurrent decision diagram framework written in Rust☆61Updated this week
- ☆16Updated 2 years ago
- Typed up LaTeX notes for use in exams for various UoE courses I'm taking☆8Updated this week
- The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to ha…☆191Updated 2 weeks ago
- We combat sloppy arguments in competitive programming and raise the standard of rigor☆23Updated last week