Alternatives and similar repositories for amoffat-fan-page

Users that are interested in amoffat-fan-page are comparing it to the libraries listed below

• matomatical / UoM-WAM-Spam
  Scraper for the UoM results page which detects transcript updates and notifies the user.
  ☆58Updated 3 years ago
• rocq-community / rocq-tricks
  Tricks you wish the Coq manual told you [maintainer=@tchajed]
  ☆530Updated 4 months ago
• Haswf / ComputerSystemNote
  Lecture Note for COMP30023 Computer System at The University of Melbourne
  ☆18Updated 5 years ago
• nuclearpidgeon / UoM-Timetable-to-iCal
  Chrome Extension that converts the University of Melbourne student timetable page into an iCal file
  ☆19Updated 6 years ago
• Nanosync / luminder
  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
• banool / lectureDL
  ⬇️ Automatically download your lectures from the Unimelb LMS ⬇️
  ☆14Updated 7 years ago
• slovnicki / pLam
  An interpreter for learning and exploring pure λ-calculus
  ☆466Updated 4 years ago
• rocq-prover / vsrocq
  Visual Studio Code extension for Coq
  ☆411Updated last week
• shafi-dayatar / rmp-api
  RateMyProfessor API for browsers & Node.js servers
  ☆26Updated 9 years ago
• ProofGeneral / PG
  This repo is the new home of Proof General
  ☆539Updated last month
• haskell / happy
  The Happy parser generator for Haskell
  ☆313Updated 2 months ago
• hfaran / piazza-api
  Unofficial Client for Piazza's Internal API
  ☆203Updated 2 months ago
• drsam94 / Spl
  A Compiler for the Shakespeare Programming Language Written in Python. Compiles from SPL to C.
  ☆82Updated 4 years ago
• LeifAndersen / PLGradSchools
  ☆233Updated last year
• LeventErkok / sbv
  SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
  ☆261Updated this week
• agda / cubical
  An experimental library for Cubical Agda
  ☆508Updated this week
• whonore / Coqtail
  Interactive Coq Proofs in Vim
  ☆302Updated 2 months ago
• seductivegeese / new-grad-guide
  A guide to prepare you for full time work in the US as a Canadian tech new grad
  ☆102Updated 3 years ago
• jbman223 / EarlyAP
  Proxy specifically available for AP scores to enable simple early access to your scores without any storing of your College Board account…
  ☆109Updated 2 years ago
• CodeGrade / bottlenose
  CS assignment / grade mangement system
  ☆43Updated 10 months ago
• MetaRocq / metarocq
  Metaprogramming, verified meta-theory and implementation of Rocq in Rocq
  ☆479Updated this week
• awesomo4000 / awesome-provable
  A curated set of links to formal methods involving provable code.
  ☆213Updated 3 years ago
• nus-cs1010 / 1819-s1
  Website for the CS1010
  ☆34Updated 5 years ago
• the1lab / 1lab
  A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
  ☆402Updated 3 weeks ago
• Deducteam / lambdapi
  Proof assistant based on the λΠ-calculus modulo rewriting
  ☆355Updated this week
• martinescardo / HoTTEST-Summer-School
  HoTTEST Summer School materials
  ☆313Updated 4 months ago
• ligurio / practical-fm
  A gently curated list of companies using verification formal methods in industry
  ☆575Updated last week
• UQComputingSociety / uqcsbot-slack
  UQCSbot: our friendly little Slack bot
  ☆54Updated 2 years ago
• ott-lang / ott
  The Ott tool for writing definitions of programming languages and calculi
  ☆390Updated 9 months ago
• keathley / pointfree.io
  A web site for converting haskell code into pointfree haskell code
  ☆165Updated 2 years ago