Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with software-foundations
A curated list of projects in awesome lists tagged with software-foundations .
https://github.com/rami3l/plfl
Learn Lean 4 with PLFA proofs.
lean lean4 plfa programming-language-foundations software-foundations
Last synced: 24 Oct 2024
https://github.com/federicobruzzone/software-foundations
Solutions (in Coq) of the exercises in the software foundation books.
coq coq-library functional-programming ocaml software-foundations
Last synced: 10 Oct 2024
https://github.com/giacomocavalieri/software-foundations
Code from the "Software Foundations" books
Last synced: 06 Nov 2024
