algorithms-are-fun / amoffat-fan-page

Related projects: ⓘ

• umisc / workshops
  Notes and guides provided in the workshop
  ☆24Updated 3 years ago
• matomatical / UoM-WAM-Spam
  Scraper for the UoM results page which detects transcript updates and notifies the user.
  ☆60Updated 2 years ago
• ruarai / UnimelbTimetablingApp
  Creates timetables for students at the University of Melbourne
  ☆3Updated last year
• samuel-x / unimelb-notes
  Notes that I've taken over my Computer Systems and Software course at The University of Melbourne
  ☆133Updated 4 years ago
• Haswf / ComputerSystemNote
  Lecture Note for COMP30023 Computer System at The University of Melbourne
  ☆18Updated 4 years ago
• banool / lectureDL
  ⬇️ Automatically download your lectures from the Unimelb LMS ⬇️
  ☆14Updated 6 years ago
• nuclearpidgeon / UoM-Timetable-to-iCal
  Chrome Extension that converts the University of Melbourne student timetable page into an iCal file
  ☆19Updated 5 years ago
• yxliang01 / UnimelbSharedFiles
  ☆17Updated 6 years ago
• LeifAndersen / PLGradSchools
  ☆219Updated last month
• Trontor / lookahead
  A semester planner for students at The University of Melbourne.
  ☆28Updated last year
• akiratwang / UniMelb-Data-Science
  ☆30Updated this week
• zirenxiao / UniMelb-Lib
  ☆20Updated this week
• ash47 / TimetableGenerator
  A timetable generator for The University of Melbourne
  ☆17Updated 5 years ago
• keathley / pointfree.io
  A web site for converting haskell code into pointfree haskell code
  ☆160Updated last year
• coq-community / coq-tricks
  Tricks you wish the Coq manual told you [maintainer=@tchajed]
  ☆496Updated last month
• coq-community / vscoq
  A Visual Studio Code extension for Coq [maintainers=@rtetley,@huynhtrankhanh,@thery,@Blaisorblade]
  ☆332Updated this week
• eleanor-em / bagel
  Basic Academic Graphical Engine Library
  ☆14Updated 5 months ago
• CallumHoward / cli-tools
  Command line tools resources for customisation and productivity
  ☆38Updated 4 years ago
• banacorn / agda-mode-vscode
  agda-mode on VS Code
  ☆169Updated 3 weeks ago
• andyzg / classprofile
  UWaterloo Software Engineering 2018 Class Profile
  ☆15Updated last year
• martinescardo / HoTTEST-Summer-School
  HoTTEST Summer School materials
  ☆283Updated 11 months ago
• haskell / happy
  The Happy parser generator for Haskell
  ☆276Updated this week
• whonore / Coqtail
  Interactive Coq Proofs in Vim
  ☆271Updated this week
• trevorcohn / comp90042
  ☆42Updated 5 years ago
• ZhangYiJiang / fuck-orbital
  An officially unofficial Orbital project that meets the intermediate (Gemini) achivement level, created in one day
  ☆18Updated 8 years ago
• antalsz / hs-to-coq
  Convert Haskell source code to Coq source code
  ☆279Updated 3 years ago
• siegebell / vscoq
  Coq Support for Visual Studio Code
  ☆91Updated 4 years ago
• lukaszcz / coqhammer
  CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory
  ☆211Updated last month
• tgdwyer / tgdwyer.github.io
  Apps and Demos
  ☆30Updated 2 weeks ago