Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by pi8027
A curated list of projects in awesome lists by pi8027 .
https://github.com/pi8027/lambda-calculus
A Formalization of Typed and Untyped λ-Calculi in Coq and Agda2
Last synced: 28 Oct 2024
https://github.com/pi8027/stablesort
Stable sort algorithms and their stability proofs in Coq
coq insertion-sort mathcomp mergesort sorting-algorithms ssreflect
Last synced: 27 Oct 2024
https://github.com/pi8027/formalized-postscript
PostScript programming in the Coq proof assistant
Last synced: 10 Oct 2024
https://github.com/pi8027/record-expansion
A translation from Coq to Coq expanding and eliminating records (WIP)
Last synced: 06 Nov 2024
https://github.com/pi8027/flocq
Fork of https://gitlab.inria.fr/flocq/flocq
Last synced: 06 Nov 2024