algorithms-are-fun / amoffat-fan-pageLinks
Alistair Moffat fan page
☆16Updated 2 years ago
Alternatives and similar repositories for amoffat-fan-page
Users that are interested in amoffat-fan-page are comparing it to the libraries listed below
Sorting:
- Notes and guides provided in the workshop☆24Updated 4 years ago
- Notes that I've taken over my Computer Systems and Software course at The University of Melbourne☆135Updated 5 years ago
- Creates timetables for students at the University of Melbourne☆3Updated 2 years ago
- Scraper for the UoM results page which detects transcript updates and notifies the user.☆58Updated 3 years ago
- ⬇️ Automatically download your lectures from the Unimelb LMS ⬇️☆14Updated 7 years ago
- Lecture Note for COMP30023 Computer System at The University of Melbourne☆18Updated 4 years ago
- A semester planner for students at The University of Melbourne.☆29Updated 2 years ago
- ☆233Updated 10 months ago
- Several translations of segment trees for CMU's 15-451 (Algorithms).☆21Updated 4 years ago
- A web site for converting haskell code into pointfree haskell code☆164Updated 2 years ago
- Visualizes students’ past feedbacks on both courses and professors☆22Updated 4 years ago
- A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory☆372Updated this week
- An interpreter for learning and exploring pure λ-calculus☆462Updated 4 years ago
- agda-mode on VS Code☆177Updated 3 weeks ago
- API for user actions on Acorn (University of Toronto student system) in TypeScript☆16Updated 2 years ago
- A timetable generator for The University of Melbourne☆17Updated 6 years ago
- An experimental library for Cubical Agda☆487Updated last week
- The Ott tool for writing definitions of programming languages and calculi☆373Updated 5 months ago
- Unofficial Client for Piazza's Internal API☆197Updated 7 months ago
- A CLI client for Minerva course registration☆13Updated 6 years ago
- Solutions to Michael Sipser's Introduction to the Theory of Computation Book (3rd Edition).☆357Updated 3 years ago
- Tricks you wish the Coq manual told you [maintainer=@tchajed]☆522Updated last week
- Welcome to Better Informatics. The student run website for students in the School of Informatics.☆72Updated this week
- Marmoset Improved! Better UI and functionality☆40Updated last year
- Testing Suite for Chups in A2 of CSC324☆7Updated 5 years ago
- Interactive Coq Proofs in Vim☆293Updated this week
- CSCI 499 — Advanced Applications: A Hunter Fall 2021 Course☆28Updated 3 years ago
- Jekyll in Haskell (feat. LaTeX)☆93Updated 7 years ago
- The Happy parser generator for Haskell☆301Updated 3 weeks ago
- HoTTEST Summer School materials☆297Updated this week