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:
- Chess/Chess960 engine.☆30Updated 3 weeks ago
- OCaml - Oxidized!☆553Updated this week
- Server to host lean games.☆337Updated 2 weeks ago
- Counterexamples in Type Systems☆403Updated 2 years ago
- Visual Studio Code extension for Coq☆413Updated this week
- A superhuman chess engine.☆177Updated this week
- Lean theorem proving interface which feels like pen-and-paper proofs.☆464Updated 3 weeks ago
- A selection of textbook-like course notes for the Imperial College Computing modules.☆88Updated last year
- Tree Proof Generator☆174Updated 8 months ago
- Visual Studio Code Extension and Language Server Protocol for Rocq / Coq☆192Updated this week
- A verification toolchain for Rust programs☆429Updated last week
- White-box automation for Lean 4☆308Updated last week
- Formalization of Mathematical Logic☆176Updated this week
- Natural Number Game☆243Updated last month
- Concurrent decision diagram framework written in Rust☆70Updated 3 weeks ago
- A verifier for automated and interactive proofs about transition systems. This repository is a public mirror with stable development sna…☆150Updated 2 weeks ago
- An introduction to theorem proving in Lean for the impatient.☆287Updated last month
- Verifying the SCION architecture using Gobra☆11Updated last week
- Lecture course on verified Functional Data Structures☆29Updated 5 years ago
- Notes for the Lectures of Year 2 Computing 2021-22☆42Updated 2 years ago
- A computer algebra system for research in combinatorial game theory☆51Updated last year
- Chess engine☆18Updated last month
- Ongoing Lean formalisation of the proof of Fermat's Last Theorem☆736Updated this week
- A Language with Dependent Data and Codata Types☆124Updated this week
- Course notes for Formalising Mathematics 2025☆73Updated 3 months ago
- Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.☆235Updated 7 months ago
- ☆265Updated 8 months ago
- The "batteries included" extended library for the Lean programming language and theorem prover☆338Updated this week
- Lean 4 port of Iris, a higher-order concurrent separation logic framework☆128Updated last week
- コード例で学ぶ Lean 言語☆123Updated last week