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]
  ☆526Updated 3 months ago
• umisc / workshops
  Notes and guides provided in the workshop
  ☆24Updated 4 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
• banool / lectureDL
  ⬇️ Automatically download your lectures from the Unimelb LMS ⬇️
  ☆14Updated 7 years ago
• LeifAndersen / PLGradSchools
  ☆233Updated last year
• rocq-prover / vsrocq
  Visual Studio Code extension for Coq
  ☆406Updated 3 weeks ago
• haskell / happy
  The Happy parser generator for Haskell
  ☆309Updated 2 weeks ago
• slovnicki / pLam
  An interpreter for learning and exploring pure λ-calculus
  ☆464Updated 4 years ago
• LeventErkok / sbv
  SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
  ☆258Updated this week
• kowainik / stan
  🕵️ Haskell STatic ANalyser
  ☆583Updated last week
• ucsd-progsys / liquidhaskell
  Liquid Types For Haskell
  ☆1,256Updated this week
• keathley / pointfree.io
  A web site for converting haskell code into pointfree haskell code
  ☆165Updated 2 years ago
• ndmitchell / hoogle
  Haskell API search engine
  ☆775Updated 5 months ago
• haskell / vscode-haskell
  VS Code extension for Haskell, powered by haskell-language-server
  ☆582Updated last week
• nick8325 / quickcheck
  Automatic testing of Haskell programs.
  ☆756Updated last month
• vellvm / vellvm
  The Vellvm (Verified LLVM) coq development.
  ☆442Updated this week
• ott-lang / ott
  The Ott tool for writing definitions of programming languages and calculi
  ☆379Updated 8 months ago
• tweag / ormolu
  A formatter for Haskell source code
  ☆1,014Updated last week
• antalsz / hs-to-coq
  Convert Haskell source code to Coq source code
  ☆280Updated 4 years ago
• the1lab / 1lab
  A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
  ☆393Updated this week
• agda / cubical
  An experimental library for Cubical Agda
  ☆500Updated 2 weeks ago
• banacorn / agda-mode-vscode
  agda-mode on VS Code
  ☆177Updated last week
• llvm-hs / llvm-hs
  Haskell bindings for LLVM
  ☆522Updated last year
• Avi-D-coder / implicit-hie
  Auto generate a stack or cabal multi component hie.yaml file
  ☆210Updated last year
• ProofGeneral / PG
  This repo is the new home of Proof General
  ☆537Updated 3 weeks ago
• whonore / Coqtail
  Interactive Coq Proofs in Vim
  ☆300Updated 3 weeks ago
• awesomo4000 / awesome-provable
  A curated set of links to formal methods involving provable code.
  ☆212Updated 3 years ago
• MetaRocq / metarocq
  Metaprogramming, verified meta-theory and implementation of Rocq in Rocq
  ☆463Updated this week
• agda / agda-stdlib
  The Agda standard library
  ☆624Updated 3 weeks ago