tymmym / software-foundationsLinks
Solutions to the exercises from the 'Software Foundations' book by Benjamin Pierce et al.
☆20Updated 11 years ago
Alternatives and similar repositories for software-foundations
Users that are interested in software-foundations are comparing it to the libraries listed below
Sorting:
- Pattern-Matching written by Dan Friedman, Erik Hilsdale and Kent Dybvig☆30Updated 6 years ago
- A formalization of the textbook Elements of Set Theory☆60Updated 4 years ago
- A verified polyhedral scheduling validator in Coq.☆23Updated last year
- Exercises and other materials for the course on FP and QuickCheck at Peking University in October 2023☆34Updated 2 years ago
- Mathematical Components (the Book)☆149Updated 4 months ago
- Notes on higher-order typed compilation. Probably wrong☆23Updated 3 years ago
- A Scheme to x86-64 compiler in Scheme☆81Updated 10 years ago
- Lecture material for DeepSpec Summer School 2018☆68Updated 7 years ago
- Modeling and Proving in Computational Type Theory☆120Updated 6 months ago
- Coq集合论中文教程☆46Updated 4 years ago
- Lecture notes for a short course on proving/programming in Coq via SSReflect.☆175Updated 4 years ago
- Libraries useful for Dafny programs☆48Updated 5 months ago
- A Coq IDE build on top of Proof General's Coq mode☆359Updated 5 months ago
- A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.☆167Updated last year
- A Library for Representing Recursive and Impure Programs in Coq☆242Updated 2 weeks ago
- Tools for interacting with Boogie☆55Updated 10 months ago
- Graph Theory [maintainers=@chdoc,@damien-pous]☆41Updated 3 months ago
- An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logt…☆152Updated last year
- ☆25Updated 6 years ago
- An automatic recursive function transformer.☆10Updated 2 years ago
- Communication between Coq and SAT/SMT solvers☆163Updated this week
- Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]☆127Updated 11 months ago
- ACL2 System and Books as Maintained by the Community☆421Updated this week
- A Verified Compiler for Gallina, Written in Gallina☆158Updated last week
- PL conference deadline countdowns☆65Updated 2 weeks ago
- EPMC: An Extendible Probabilistic Model Checker☆19Updated last year
- Java-like Language with Static Information Flow Types☆13Updated 9 months ago
- The People's Verification System☆168Updated 2 weeks ago
- ☆39Updated 4 years ago
- ☆234Updated last year