Alternatives and similar repositories for coq-software-foundations

Users that are interested in coq-software-foundations are comparing it to the libraries listed below

• cz717 / bksol
  ☆10Updated 8 years ago
• marshall-lee / software_foundations
  My solutions to Software Foundations course in Coq proof assistant.
  ☆37Updated last year
• secure-foundations / human-eval-verus
  ☆18Updated 3 months ago
• jegi / Beijing-exercises
  Exercises and other materials for the course on FP and QuickCheck at Peking University in October 2023
  ☆34Updated last year
• LeifAndersen / PLGradSchools
  ☆233Updated 11 months ago
• lorisdanto / cse291-program-synthesis-loris
  Program synthesis class taught by Loris D'Antoni
  ☆29Updated 7 months ago
• rocq-prover / platform
  Multi platform setup for Coq, Coq libraries and tools
  ☆205Updated last week
• rocq-prover / vsrocq
  Visual Studio Code extension for Coq
  ☆395Updated last week
• logsem / iris-tutorial
  ☆52Updated 7 months ago
• rocq-community / rocq-tricks
  Tricks you wish the Coq manual told you [maintainer=@tchajed]
  ☆523Updated last month
• yeah-tiger / yeah-tiger.github.io
  PL conference deadline countdowns
  ☆60Updated this week
• clarksmr / sf-lectures
  Software Foundations
  ☆130Updated last year
• kolya-vasiliev / concrete-semantics
  My solutions to exercises in "Concrete Semantics" (Tobias Nipkow, Gerwin Klein) These are for 2014-2015 version of the book.
  ☆25Updated 10 years ago
• logsem / iris-lecture-notes
  ☆13Updated 11 months ago
• QinxiangCao / UnifySL
  ☆23Updated 5 years ago
• PrincetonUniversity / VST
  Verified Software Toolchain
  ☆468Updated last week
• rocq-community / coq-art
  Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]
  ☆123Updated 5 months ago
• MetaRocq / metarocq
  Metaprogramming, verified meta-theory and implementation of Rocq in Rocq
  ☆457Updated last week
• Deducteam / lambdapi
  Proof assistant based on the λΠ-calculus modulo rewriting
  ☆341Updated last week
• synduce / Synduce
  An automatic recursive function transformer.
  ☆10Updated last year
• achlipala / frap
  Formal Reasoning About Programs
  ☆690Updated last year
• choukh / Set-Theory
  A formalization of the textbook Elements of Set Theory
  ☆59Updated 3 years ago
• uds-psl / MPCTT
  Modeling and Proving in Computational Type Theory
  ☆101Updated last week
• DeepSpec / InteractionTrees
  A Library for Representing Recursive and Impure Programs in Coq
  ☆225Updated 2 weeks ago
• GeoCoq / GeoCoq
  A formalization of geometry in Coq based on Tarski's axiom system
  ☆197Updated 2 months ago
• HoTT / EPIT-2020
  EPIT 2020 - Spring School on Homotopy Type Theory
  ☆108Updated 3 years ago
• rocq-community / awesome-coq
  A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]
  ☆354Updated 6 months ago
• QuickChick / QuickChick
  Randomized Property-Based Testing Plugin for Coq
  ☆266Updated 2 weeks ago
• neshkeev / Logical-Foundations
  Exercises from https://softwarefoundations.cis.upenn.edu/lf-current/index.html
  ☆9Updated 6 years ago
• SatyendraBanjare / plt-formal-methods-resources
  Curated List of Research Focused Reading Materials & Videos for Learning about Programming Language Theory Research, Formal Methods and t…
  ☆57Updated 5 years ago