Alternatives and similar repositories for software_foundations:

Users that are interested in software_foundations are comparing it to the libraries listed below

• logsem / iris-tutorial
  ☆47Updated 4 months ago
• QinxiangCao / UnifySL
  ☆23Updated 5 years ago
• yeah-tiger / yeah-tiger.github.io
  PL conference deadline countdowns
  ☆57Updated last week
• synduce / Synduce
  An automatic recursive function transformer.
  ☆10Updated last year
• choukh / Set-Theory
  A formalization of the textbook Elements of Set Theory
  ☆59Updated 3 years ago
• rocq-prover / platform
  Multi platform setup for Coq, Coq libraries and tools
  ☆196Updated last month
• 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
• secure-foundations / human-eval-verus
  ☆12Updated this week
• usi-verification-and-security / golem
  Solver for Constrained Horn Clauses
  ☆37Updated this week
• hipsleek / hipsleek
  ☆12Updated last month
• CertiCoq / certicoq
  A Verified Compiler for Gallina, Written in Gallina
  ☆140Updated 2 months ago
• verse-lab / splean
  Separation Logic Proofs in Lean
  ☆35Updated last week
• smtcoq / smtcoq
  Communication between Coq and SAT/SMT solvers
  ☆159Updated 6 months ago
• rocq-community / coq-art
  Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]
  ☆117Updated last month
• barghouthi / cs704
  CS 704 course website - Principles of Programming Languages
  ☆67Updated 2 years ago
• lukaszcz / coqhammer
  CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory
  ☆226Updated last week
• uds-psl / MPCTT
  Modeling and Proving in Computational Type Theory
  ☆91Updated this week
• leanprover-community / iris-lean
  Lean 4 port of Iris, a higher-order concurrent separation logic framework
  ☆92Updated this week
• QuickChick / QuickChick
  Randomized Property-Based Testing Plugin for Coq
  ☆264Updated this week
• rocq-prover / platform-docs
  A project of short tutorials and how-to guides for Coq features and Coq Platform packages.
  ☆22Updated 3 weeks ago
• jegi / Beijing-exercises
  Exercises and other materials for the course on FP and QuickCheck at Peking University in October 2023
  ☆34Updated last year
• yihozhang / most-influential-pl-papers
  Most influential papers in programming languages
  ☆55Updated 2 months ago
• antoinemine / apron
  Apron Numerical Abstract Domain Library
  ☆121Updated 2 weeks ago
• toku-sa-n / coqfmt
  Coq code formatter
  ☆22Updated last week
• lorisdanto / cse291-program-synthesis-loris
  Program synthesis class taught by Loris D'Antoni
  ☆28Updated 3 months ago
• microsoft / verus-proof-synthesis
  ☆24Updated last month
• DeepSpec / sf
  ☆13Updated 3 months ago
• clarksmr / sf-lectures
  Software Foundations
  ☆127Updated 11 months ago
• sneeuwballen / zipperposition
  An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logt…
  ☆140Updated 5 months ago
• tchajed / ltac2-tutorial
  Ltac2 tutorial
  ☆44Updated 2 years ago