Alternatives and similar repositories for amoffat-fan-page:

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

• 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.
  ☆58Updated 3 years ago
• samuel-x / unimelb-notes
  Notes that I've taken over my Computer Systems and Software course at The University of Melbourne
  ☆132Updated 4 years ago
• ruarai / UnimelbTimetablingApp
  Creates timetables for students at the University of Melbourne
  ☆3Updated 2 years ago
• keathley / pointfree.io
  A web site for converting haskell code into pointfree haskell code
  ☆163Updated 2 years ago
• haskell / alex
  A lexical analyser generator for Haskell
  ☆307Updated 2 weeks 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
• slovnicki / pLam
  An interpreter for learning and exploring pure λ-calculus
  ☆455Updated 4 years ago
• haskell / happy
  The Happy parser generator for Haskell
  ☆301Updated 2 months ago
• Avi-D-coder / implicit-hie
  Auto generate a stack or cabal multi component hie.yaml file
  ☆208Updated last year
• kowainik / stan
  🕵️ Haskell STatic ANalyser
  ☆580Updated 3 months ago
• quchen / prettyprinter
  A modern, extensible and well-documented prettyprinter.
  ☆301Updated 5 months ago
• srid / haskell-template
  Haskell project template using Nix + Flakes + VSCode (HLS)
  ☆243Updated last week
• andrewMacmurray / haskell-book-solutions
  Solutions to exercises in Haskell Programming from first principles
  ☆38Updated 3 years ago
• haskell-nix / hnix
  A Haskell re-implementation of the Nix expression language
  ☆790Updated last year
• haskell / haddock
  Haskell Documentation Tool
  ☆361Updated 10 months ago
• input-output-hk / haskell.nix
  Alternative Haskell Infrastructure for Nixpkgs
  ☆586Updated this week
• siegebell / vscoq
  Coq Support for Visual Studio Code
  ☆92Updated 5 years ago
• ranjitjhala / sprite-lang
  An tutorial-style implementation of liquid/refinement types for a subset of Ocaml/Reason.
  ☆147Updated last year
• runtimeverification / haskell-backend
  The symbolic execution engine powering the K Framework
  ☆218Updated this week
• bmillwood / pointfree
  Maintenance of the pointfree Hackage package.
  ☆146Updated 6 months ago
• infinisil / all-hies
  Cached Haskell IDE Engine Nix builds for all GHC versions
  ☆192Updated 4 years ago
• ucsd-progsys / liquid-fixpoint
  Horn Clause Constraint Solving for Liquid Types
  ☆144Updated this week
• ennocramer / floskell
  Floskell is a flexible Haskell source code pretty printer.
  ☆181Updated 9 months ago
• MondayMorningHaskell / RealWorldHaskell
  ☆17Updated 4 years ago
• domenkozar / hie-nix
  Nix packages for Haskell IDE Engine
  ☆115Updated 5 years ago
• dnadales / nix-latex-template
  Nix configuration for reproducible builds of LaTeX documents
  ☆25Updated 4 years ago
• haskell / ghcup
  DEPRECATED IN FAVOR OF haskell/ghcup-hs
  ☆263Updated 2 years ago
• nick8325 / quickspec
  Equational laws for free
  ☆254Updated last month
• haskell / hie-bios
  Set up a GHC API session for various Haskell Projects
  ☆190Updated last month