social-anthrax / IADS_algorithms
A collection of algorithms and datastructures introduced during UoE's Introduction to Datastructures and Algorithms class.
☆22Updated 2 years ago
Related projects: ⓘ
- Welcome to Better Informatics. The student run website for students in the School of Informatics.☆67Updated this week
- A Visual Studio Code extension for Coq [maintainers=@rtetley,@huynhtrankhanh,@thery,@Blaisorblade]☆332Updated this week
- The agda-unimath library☆218Updated last week
- Tricks you wish the Coq manual told you [maintainer=@tchajed]☆496Updated last month
- Catalog Of Math Problems Formalized In Lean☆92Updated this week
- Interactive Coq Proofs in Vim☆271Updated this week
- ☆151Updated 2 weeks ago
- Ongoing Lean formalisation of the proof of Fermat's Last Theorem☆191Updated last week
- ☆14Updated last year
- Lean theorem proving interface which feels like pen-and-paper proofs.☆347Updated last week
- Visual Studio Code Extension and Language Server Protocol for Coq☆145Updated this week
- HoTTEST Summer School materials☆283Updated 11 months ago
- A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory☆334Updated this week
- Tree Proof Generator☆151Updated 2 months ago
- Server to host lean games.☆170Updated last week
- Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.☆106Updated last month
- "Hawkins" is an open-source, competitive Chess AI powered by multiple tree search algorithms.☆18Updated 3 years ago
- Haskell Tiny Game Jam☆158Updated last year
- A bot for the CS@unimelb Discord server.☆12Updated 3 months ago
- While language static analyzer☆10Updated 3 years ago
- ☆24Updated 2 years ago
- A slightly improved variant of the official thesis sample☆27Updated 4 months ago
- A fast bitboard-based chess move generator in C++☆63Updated last year
- UCI chess engine written in Rust, the successor of Proxima b, Proxima b 2.0 and Cosette.☆29Updated 3 weeks ago
- ☆219Updated last month
- agda-mode on VS Code☆169Updated 3 weeks ago
- The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to ha…☆147Updated last week
- The user home repository for the Mathematics in Lean tutorial.☆240Updated last week
- agda-mode for neovim☆130Updated 4 months ago
- Natural Number Game☆101Updated 3 weeks ago