algorithms-are-fun / amoffat-fan-page
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
- Scraper for the UoM results page which detects transcript updates and notifies the user.☆60Updated 3 years ago
- Notes and guides provided in the workshop☆24Updated 3 years ago
- Notes that I've taken over my Computer Systems and Software course at The University of Melbourne☆132Updated 4 years ago
- Creates timetables for students at the University of Melbourne☆3Updated 2 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
- LuminDER is a dating app for NUS students that takes on the familiar interface of LumiNUS and is a wordplay on Tinder.☆10Updated 4 years ago
- ☆227Updated 6 months ago
- Script to easily submit your body temperature to NUS's temperature declaration system☆16Updated 3 years ago
- A programming language supporting most of both declarative and imperative programming☆51Updated last week
- FYP/ UROP LaTeX template for School of Computing☆49Updated 2 years ago
- Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]☆89Updated this week
- Visual Studio Code Extension and Language Server Protocol for Coq☆159Updated this week
- Metaprogramming, verified meta-theory and implementation of Coq in Coq☆420Updated this week
- distributed algorithms notes, exercises, solutions and readings - referenced books provided☆13Updated 2 years ago
- A library of mechanised undecidability proofs in the Coq proof assistant.☆113Updated 3 weeks ago
- Tricks you wish the Coq manual told you [maintainer=@tchajed]☆513Updated last week
- Interactive Coq Proofs in Vim☆282Updated last month
- A semester planner for students at The University of Melbourne.☆29Updated last year
- PL conference deadline countdowns☆55Updated last week
- Visual Studio Code extension for Coq☆362Updated this week
- Coq Support for Visual Studio Code☆92Updated 5 years ago
- Communication between Coq and SAT/SMT solvers☆158Updated 5 months ago
- A web site for converting haskell code into pointfree haskell code☆162Updated 2 years ago
- agda-mode on VS Code☆173Updated this week
- ☆36Updated last week
- A delta debugger for SMT benchmarks in SMT-LIB v2.☆53Updated 9 months ago
- The Eldarica model checker☆83Updated this week
- Dafny 2 for Visual Studio Code (Legacy)☆18Updated 2 years ago
- NUS Hackers website☆43Updated this week