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-prover / vsrocq
  Visual Studio Code extension for Coq
  ☆413Updated this week
• LeifAndersen / PLGradSchools
  ☆234Updated last year
• rocq-community / rocq-tricks
  Tricks you wish the Coq manual told you [maintainer=@tchajed]
  ☆530Updated 5 months ago
• DafnyVSCode / Dafny-VSCode
  Dafny 2 for Visual Studio Code (Legacy)
  ☆21Updated 2 years ago
• HexFlow / tipsy
  Provide tips and corrections for C programs
  ☆14Updated 7 years ago
• vellvm / vellvm
  The Vellvm (Verified LLVM) coq development.
  ☆445Updated this week
• MetaRocq / metarocq
  Metaprogramming, verified meta-theory and implementation of Rocq in Rocq
  ☆480Updated last week
• ott-lang / ott
  The Ott tool for writing definitions of programming languages and calculi
  ☆389Updated 10 months ago
• sosy-lab / sv-witnesses
  An Exchange Format for Verification Witnesses (MOVED, please follow the link)
  ☆18Updated 3 years ago
• nadia-polikarpova / cse291-program-synthesis
  Program Synthesis Course
  ☆264Updated last year
• DeepSpec / InteractionTrees
  A Library for Representing Recursive and Impure Programs in Coq
  ☆234Updated last month
• siegebell / vscoq
  Coq Support for Visual Studio Code
  ☆92Updated 6 years ago
• mdaines / grammophone
  A tool for analyzing and transforming context-free grammars.
  ☆226Updated 6 months ago
• cpitclaudel / alectryon
  A collection of tools for writing technical documents that mix Coq code and prose.
  ☆277Updated last month
• sukyoung / safe
  Scalable Analysis Framework for ECMAScript
  ☆118Updated 4 years ago
• yeah-tiger / yeah-tiger.github.io
  PL conference deadline countdowns
  ☆63Updated 2 months ago
• keathley / pointfree.io
  A web site for converting haskell code into pointfree haskell code
  ☆165Updated 2 years ago
• CAAL / CAAL
  CAAL (Concurrency Workbench, Aalborg Edition) is a web-based tool for modelling, visualization and verification of concurrent processes e…
  ☆43Updated 2 years ago
• GillianPlatform / Gillian
  The Gillian Platform main repository
  ☆90Updated last week
• ddsmt / ddSMT
  A delta debugger for SMT benchmarks in SMT-LIB v2.
  ☆56Updated 4 months ago
• CodeGrade / bottlenose
  CS assignment / grade mangement system
  ☆43Updated 11 months ago
• ckaestne / TypeChef
  Type checking ifdef variability
  ☆79Updated 4 years ago
• sosy-lab / sv-benchmarks
  Collection of Verification Tasks (MOVED, please follow the link)
  ☆185Updated 4 years ago
• boogie-org / jar2bpl
  Translate java jar files into Boogie programs
  ☆12Updated last year
• GaloisInc / crucible
  Crucible is a library for symbolic simulation of imperative programs
  ☆749Updated this week
• wslee / duet
  ☆20Updated 6 months ago
• ImperialCollegeLondon / natural_number_game
  Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.
  ☆301Updated last year
• boogie-org / boogie
  Boogie
  ☆560Updated last week
• ultimate-pa / ultimate
  The Ultimate program analysis framework.
  ☆233Updated this week