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
Sorting:
- Creates timetables for students at the University of Melbourne☆3Updated 2 years ago
- 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 4 years ago
- Chrome Extension that converts the University of Melbourne student timetable page into an iCal file☆19Updated 5 years ago
- Lecture Note for COMP30023 Computer System at The University of Melbourne☆18Updated 4 years ago
- ☆232Updated 9 months ago
- Solutions for CIS 194 - Spring 2013☆131Updated 4 years ago
- Command line tools resources for customisation and productivity☆38Updated 4 years ago
- A semester planner for students at The University of Melbourne.☆29Updated 2 years ago
- UQCSbot: our friendly little Slack bot☆55Updated last year
- A successor to the much revered and sorely missed UQ Timetable Planner☆26Updated 4 months ago
- CS1010 I/O Library☆11Updated 4 years ago
- distributed algorithms notes, exercises, solutions and readings - referenced books provided☆13Updated 3 years ago
- 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
- Tricks you wish the Coq manual told you [maintainer=@tchajed]☆518Updated 3 months ago
- Lecture notes on univalent foundations of mathematics with Agda☆227Updated last year
- agda-mode on VS Code☆175Updated this week
- A programming language supporting most of both declarative and imperative programming☆52Updated 3 weeks ago
- Applied Functional Programming Course - Move from exercises to a working app!☆633Updated last year
- 🕵️ Haskell STatic ANalyser☆583Updated 3 months ago
- An experimental library for Cubical Agda☆482Updated this week
- ☆40Updated 6 years ago
- An Exchange Format for Verification Witnesses (MOVED, please follow the link)☆18Updated 2 years ago
- SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.☆254Updated this week
- The symbolic execution engine powering the K Framework☆218Updated this week
- A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory☆368Updated this week
- Functional teaching language for use in a discrete mathematics course☆169Updated 2 weeks ago
- Interactive Coq Proofs in Vim☆291Updated last month
- Web application for exploring and understanding Haskell codebases☆515Updated 2 years ago