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
- 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
- Creates timetables for students at the University of Melbourne☆3Updated 2 years ago
- Notes that I've taken over my Computer Systems and Software course at The University of Melbourne☆138Updated 5 years ago
- Tricks you wish the Coq manual told you [maintainer=@tchajed]☆522Updated last month
- ☆233Updated 11 months ago
- Unofficial Client for Piazza's Internal API☆197Updated 8 months ago
- An officially unofficial Orbital project that meets the intermediate (Gemini) achivement level, created in one day☆18Updated 8 years ago
- Visual Studio Code extension for Coq☆393Updated last week
- Website for the CS1010☆34Updated 4 years ago
- A timetable generator for The University of Melbourne☆17Updated 6 years ago
- This is a catalogue of all past and present NUS DYOMS☆9Updated 4 years ago
- Interactive Coq Proofs in Vim☆296Updated last week
- An Exchange Format for Verification Witnesses (MOVED, please follow the link)☆18Updated 2 years ago
- The Vellvm (Verified LLVM) coq development.☆437Updated last week
- A web site for converting haskell code into pointfree haskell code☆164Updated 2 years ago
- FYP/ UROP LaTeX template for School of Computing☆49Updated 3 years ago
- A curated set of links to formal methods involving provable code.☆209Updated 3 years ago
- Program Synthesis Course☆255Updated last year
- Lecture Note for COMP30023 Computer System at The University of Melbourne☆18Updated 5 years ago
- My solution to ‘Haskell: The Craft of Functional Programming (3rd Edition)’☆14Updated 7 years ago
- Metaprogramming, verified meta-theory and implementation of Rocq in Rocq☆457Updated last week
- Formal Reasoning About Programs☆690Updated last year
- A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]☆354Updated 6 months ago
- A Library for Representing Recursive and Impure Programs in Coq☆225Updated 2 weeks ago
- Summaries of my university courses (in German)☆26Updated 5 years ago
- Haskell API search engine☆772Updated 3 months ago
- An interpreter for learning and exploring pure λ-calculus☆462Updated 4 years ago
- This repo is the new home of Proof General☆524Updated 3 weeks ago