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 4 years ago
• rocq-community / rocq-tricks
  Tricks you wish the Coq manual told you [maintainer=@tchajed]
  ☆538Updated 8 months 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
• LeifAndersen / PLGradSchools
  ☆234Updated last year
• sosy-lab / sv-witnesses
  An Exchange Format for Verification Witnesses (MOVED, please follow the link)
  ☆18Updated 3 years ago
• matomatical / UoM-WAM-Spam
  Scraper for the UoM results page which detects transcript updates and notifies the user.
  ☆59Updated 4 years ago
• ott-lang / ott
  The Ott tool for writing definitions of programming languages and calculi
  ☆400Updated 2 weeks ago
• HexFlow / tipsy
  Provide tips and corrections for C programs
  ☆14Updated 7 years ago
• vellvm / vellvm
  The Vellvm (Verified LLVM) coq development.
  ☆455Updated this week
• DeepSpec / InteractionTrees
  A Library for Representing Recursive and Impure Programs in Coq
  ☆240Updated last week
• rocq-prover / vsrocq
  Visual Studio Code extension for Coq
  ☆430Updated last month
• nadia-polikarpova / cse291-program-synthesis
  Program Synthesis Course
  ☆265Updated last year
• CAAL / CAAL
  CAAL (Concurrency Workbench, Aalborg Edition) is a web-based tool for modelling, visualization and verification of concurrent processes e…
  ☆43Updated 3 years ago
• antalsz / hs-to-coq
  Convert Haskell source code to Coq source code
  ☆282Updated 5 years ago
• mattam82 / Coq-Equations
  A function definition package for Coq
  ☆236Updated last week
• MetaRocq / metarocq
  Metaprogramming, verified meta-theory and implementation of Rocq in Rocq
  ☆500Updated 2 weeks ago
• DafnyVSCode / Dafny-VSCode
  Dafny 2 for Visual Studio Code (Legacy)
  ☆21Updated 3 years ago
• siegebell / vscoq
  Coq Support for Visual Studio Code
  ☆92Updated 6 years ago
• QuickChick / QuickChick
  Randomized Property-Based Testing Plugin for Coq
  ☆279Updated last month
• lukaszcz / coqhammer
  CoqHammer: An Automated Reasoning Hammer Tool for Rocq - Proof Automation for Dependent Type Theory
  ☆236Updated last month
• uhub / awesome-coq
  A curated list of awesome Coq frameworks, libraries and software.
  ☆233Updated 3 weeks ago
• ProofGeneral / PG
  This repo is the new home of Proof General
  ☆546Updated last week
• slovnicki / pLam
  An interpreter for learning and exploring pure λ-calculus
  ☆467Updated 4 years ago
• achlipala / frap
  Formal Reasoning About Programs
  ☆717Updated last month
• cpitclaudel / alectryon
  A collection of tools for writing technical documents that mix Coq code and prose.
  ☆284Updated 4 months ago
• keathley / pointfree.io
  A web site for converting haskell code into pointfree haskell code
  ☆165Updated 3 years ago
• mit-plv / fiat
  Mostly Automated Synthesis of Correct-by-Construction Programs
  ☆157Updated this week
• ddsmt / ddSMT
  A delta debugger for SMT benchmarks in SMT-LIB v2.
  ☆56Updated 7 months 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 5 years ago
• PrincetonUniversity / VST
  Verified Software Toolchain
  ☆487Updated 2 weeks ago