Alternatives and similar repositories for concrete-semantics-Sols

Users that are interested in concrete-semantics-Sols are comparing it to the libraries listed below

• rocq-community / rocq-tricks
  Tricks you wish the Coq manual told you [maintainer=@tchajed]
  ☆523Updated last month
• LeifAndersen / PLGradSchools
  ☆233Updated 11 months ago
• smtcoq / smtcoq
  Communication between Coq and SAT/SMT solvers
  ☆161Updated 10 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.
  ☆25Updated 10 years ago
• zachhalle / hotc
  Notes on higher-order typed compilation. Probably wrong
  ☆23Updated 2 years ago
• yeah-tiger / yeah-tiger.github.io
  PL conference deadline countdowns
  ☆60Updated this week
• jegi / Beijing-exercises
  Exercises and other materials for the course on FP and QuickCheck at Peking University in October 2023
  ☆34Updated last year
• QuickChick / QuickChick
  Randomized Property-Based Testing Plugin for Coq
  ☆266Updated 2 weeks ago
• cpitclaudel / alectryon
  A collection of tools for writing technical documents that mix Coq code and prose.
  ☆265Updated last week
• QinxiangCao / UnifySL
  ☆23Updated 5 years ago
• 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
• clarksmr / sf-lectures
  Software Foundations
  ☆130Updated last year
• rocq-community / coq-art
  Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]
  ☆123Updated 5 months ago
• PrincetonUniversity / VST
  Verified Software Toolchain
  ☆468Updated last week
• cz717 / bksol
  ☆10Updated 8 years ago
• secure-foundations / human-eval-verus
  ☆18Updated 3 months ago
• ProofGeneral / PG
  This repo is the new home of Proof General
  ☆525Updated this week
• achlipala / frap
  Formal Reasoning About Programs
  ☆690Updated last year
• DeepSpec / dsss17
  Lecture material for DeepSpec Summer School 2017
  ☆88Updated 3 years ago
• cpitclaudel / company-coq
  A Coq IDE build on top of Proof General's Coq mode
  ☆356Updated 3 weeks ago
• hipsleek / hipsleek
  ☆12Updated 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…
  ☆43Updated 4 years ago
• rocq-prover / platform-docs
  A project of short tutorials and how-to guides for Coq features and Coq Platform packages.
  ☆22Updated 2 weeks ago
• tchajed / coq-tla
  ☆27Updated last year
• logsem / iris-tutorial
  ☆52Updated 7 months ago
• rocq-prover / vsrocq
  Visual Studio Code extension for Coq
  ☆395Updated last week
• ddsmt / ddSMT
  A delta debugger for SMT benchmarks in SMT-LIB v2.
  ☆57Updated 2 weeks ago
• logsem / iris-lecture-notes
  ☆13Updated 11 months ago
• ott-lang / ott
  The Ott tool for writing definitions of programming languages and calculi
  ☆378Updated 6 months ago