Alternatives and similar repositories for coq-software-foundations:

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

• marshall-lee / software_foundations
  My solutions to Software Foundations course in Coq proof assistant.
  ☆33Updated 6 months ago
• cz717 / bksol
  ☆10Updated 8 years ago
• yeah-tiger / yeah-tiger.github.io
  PL conference deadline countdowns
  ☆53Updated 2 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
  ☆224Updated 5 months ago
• PrAbsInt / appendix
  Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…
  ☆41Updated 3 years ago
• lorisdanto / cse291-program-synthesis-loris
  Program synthesis class taught by Loris D'Antoni
  ☆27Updated last month
• barghouthi / cs704
  CS 704 course website - Principles of Programming Languages
  ☆67Updated 2 years ago
• purdue-cap / DryadSynth
  A SyGuS Solver
  ☆23Updated last month
• DeepSpec / InteractionTrees
  A Library for Representing Recursive and Impure Programs in Coq
  ☆208Updated 3 months ago
• matthewbdwyer / tipc
  A compiler from TIP to llvm bitcode
  ☆65Updated last month
• victornicolet / parsynt
  Automatic parallel divide-and-conquer programs synthesizer
  ☆16Updated 3 years ago
• neshkeev / Logical-Foundations
  Exercises from https://softwarefoundations.cis.upenn.edu/lf-current/index.html
  ☆9Updated 6 years ago
• fabriceleal / Software-Foundations-Solutions
  ☆11Updated 9 years ago
• SyGuS-Org / benchmarks
  Benchmarks for SyGuS Competition (SyGuS-Comp)
  ☆38Updated last year
• tymmym / software-foundations
  Solutions to the exercises from the 'Software Foundations' book by Benjamin Pierce et al.
  ☆20Updated 10 years ago
• verif-scop / PolCert
  A verified polyhedral scheduling validator in Coq.
  ☆19Updated 3 months 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.
  ☆23Updated 9 years ago
• mspertus / TAPL
  Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured d…
  ☆39Updated last year
• coq / vscoq
  Visual Studio Code extension for Coq
  ☆354Updated this week
• uds-psl / MPCTT
  Modeling and Proving in Computational Type Theory
  ☆84Updated 6 months ago
• wslee / duet
  ☆19Updated last week
• choukh / Set-Theory
  A formalization of the textbook Elements of Set Theory
  ☆59Updated 3 years ago
• jdnklau / fm-ml
  Collection of resources for research concerning Machine Learning and Formal Methods.
  ☆79Updated 3 years ago
• QinxiangCao / UnifySL
  ☆24Updated 5 years ago
• coq-community / coq-art
  Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]
  ☆115Updated 5 months ago
• zachhalle / hotc
  Notes on higher-order typed compilation. Probably wrong
  ☆23Updated 2 years ago