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:
- Server to host lean games.☆379Updated this week
- A beginner's guide to randomness testing with a focus on simplicity and explainability.☆37Updated 3 weeks ago
- Welcome to Better Informatics. The student run website for students in the School of Informatics.☆73Updated last week
- A superhuman chess engine.☆189Updated this week
- Lean theorem proving interface which feels like pen-and-paper proofs.☆484Updated last month
- OCaml - Oxidized!☆614Updated this week
- Natural Number Game☆273Updated 2 weeks ago
- Chess engine☆18Updated this week
- Visual Studio Code extension for Coq☆428Updated last month
- Formalization of Mathematical Logic☆193Updated this week
- Visual Studio Code Extension and Language Server Protocol for Rocq / Coq☆195Updated last month
- A project to map out the relations between different equational theories of Magmas.☆469Updated last week
- Counterexamples in Type Systems☆406Updated 2 years ago
- An online math contest platform☆22Updated 3 months ago
- The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to ha…☆213Updated this week
- Ongoing Lean formalisation of the proof of Fermat's Last Theorem☆787Updated this week
- ☆352Updated 3 months ago
- An introduction to theorem proving in Lean for the impatient.☆314Updated last month
- Haskell library for parsing and evaluating typst☆68Updated 3 weeks ago
- A computer algebra system for research in combinatorial game theory☆54Updated last year
- Par (⅋) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice.☆643Updated last week
- Chess/Chess960 engine.☆30Updated this week
- Set Theory Game☆22Updated 2 months ago
- White-box automation for Lean 4☆331Updated this week
- An experimental proof assistant based on a type theory for synthetic ∞-categories.☆256Updated 2 months ago
- Catalog Of Math Problems Formalized In Lean☆220Updated last week
- コード例で学ぶ Lean 言語☆140Updated last week
- A utility to create a graph of moves from a specified chess position.☆23Updated 2 years ago
- A language server for Standard ML in Rust.☆235Updated last month
- A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.☆120Updated last month