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
• LeifAndersen / PLGradSchools
  ☆233Updated last year
• marshall-lee / software_foundations
  My solutions to Software Foundations course in Coq proof assistant.
  ☆38Updated last week
• clarksmr / sf-lectures
  Software Foundations
  ☆137Updated last year
• jegi / Beijing-exercises
  Exercises and other materials for the course on FP and QuickCheck at Peking University in October 2023
  ☆34Updated last year
• mspertus / TAPL
  Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured d…
  ☆58Updated 2 years ago
• yeah-tiger / yeah-tiger.github.io
  PL conference deadline countdowns
  ☆61Updated 3 weeks ago
• rocq-prover / vsrocq
  Visual Studio Code extension for Coq
  ☆401Updated 2 weeks ago
• rocq-community / rocq-tricks
  Tricks you wish the Coq manual told you [maintainer=@tchajed]
  ☆523Updated 2 months ago
• lorisdanto / cse291-program-synthesis-loris
  Program synthesis class taught by Loris D'Antoni
  ☆29Updated 8 months ago
• rocq-community / coq-art
  Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]
  ☆123Updated 5 months ago
• plclub / cis6700-23sp
  CIS 6700, Spring 2023
  ☆18Updated 2 years ago
• 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
• rocq-prover / platform
  Multi platform setup for Coq, Coq libraries and tools
  ☆207Updated last month
• secure-foundations / human-eval-verus
  ☆19Updated last week
• zachhalle / hotc
  Notes on higher-order typed compilation. Probably wrong
  ☆23Updated 2 years ago
• Deducteam / lambdapi
  Proof assistant based on the λΠ-calculus modulo rewriting
  ☆345Updated this week
• andrejbauer / homotopy-type-theory-course
  A course on homotopy theory and type theory, taught jointly with Jaka Smrekar
  ☆301Updated last year
• logsem / iris-lecture-notes
  ☆13Updated last year
• barghouthi / cs704
  CS 704 course website - Principles of Programming Languages
  ☆67Updated 2 years ago
• PrincetonUniversity / VST
  Verified Software Toolchain
  ☆469Updated last month
• synduce / Synduce
  An automatic recursive function transformer.
  ☆10Updated 2 years ago
• choukh / Set-Theory
  A formalization of the textbook Elements of Set Theory
  ☆59Updated 3 years ago
• DeepSpec / InteractionTrees
  A Library for Representing Recursive and Impure Programs in Coq
  ☆229Updated last month
• andrejbauer / spartan-type-theory
  Spartan type theory
  ☆270Updated last year
• fabriceleal / Software-Foundations-Solutions
  ☆12Updated 10 years ago
• logsem / iris-tutorial
  ☆53Updated this week
• achlipala / frap
  Formal Reasoning About Programs
  ☆691Updated last year
• wslee / duet
  ☆20Updated 4 months ago
• math-comp / math-comp
  Mathematical Components
  ☆633Updated 2 weeks ago