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:
- Welcome to Better Informatics. The student run website for students in the School of Informatics.☆73Updated this week
- Minimal C compiler written in Rust. Following "Writing a C Compiler", by Nora Sandler. https://norasandler.com/book/☆10Updated 5 months ago
- A superhuman chess engine.☆171Updated this week
- OCaml - Oxidized!☆530Updated this week
- Chess/Chess960 engine.☆30Updated this week
- An example on how to write an incremental, concurrent, fault-tolerant compiler☆54Updated 3 months ago
- Lecture course on verified Functional Data Structures☆29Updated 5 years ago
- Visual Studio Code extension for Coq☆411Updated last week
- The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to ha…☆208Updated last week
- Implementing and breaking the MT19937 Mersenne Twister pseudorandom number generator☆28Updated 5 years ago
- Counterexamples in Type Systems☆402Updated 2 years ago
- ☆344Updated 3 weeks ago
- Chess engine in 4KB☆30Updated last week
- Yukari (紫) chess engine☆10Updated 3 weeks ago
- C++ is the based interpreted language☆249Updated 3 weeks ago
- GPU-accelerated compiler☆353Updated last year
- Chess engine☆18Updated 3 weeks ago
- An OpenAPI 3 to OCaml client generator.☆22Updated last week
- A ruby-based workflow tool, and accounting framework, to automate: Reconcilliation, Validation, Grid-generation, and Plotting your financ…☆13Updated 3 months ago
- An experimental library for adding attributes to threads (without rewriting the whole thread interface), for C11 and similar.☆16Updated 3 weeks ago
- ☆26Updated last week
- Coq code formatter☆23Updated 2 weeks ago
- Lock-free data structures for multicore OCaml☆251Updated 4 months ago
- Natural Number Game☆230Updated 3 weeks ago
- Material for the class on verification of distributed and asynchronous systems, developed by Jon Howell and Manos Kapritsos☆11Updated 8 months ago
- Multi platform setup for Coq, Coq libraries and tools☆212Updated last week
- Troupe programming language☆21Updated 2 weeks ago
- Tricks you wish the Coq manual told you [maintainer=@tchajed]☆530Updated 4 months ago
- Language for high-assurance and high-speed cryptography☆311Updated last week
- You are hanging out with Alice, Bob, and Charlie at Boolos' Brewery...☆60Updated last month