appliedfm / vstyle Star 17 Code Issues Pull requests A style guide for Coq c haskell dependent-types style-guide ocaml coq proof formal-semantics verification proof-assistant software-engineering formal-methods formal-verification formal-mathematics formal-specification formal-proofs appliedfm Updated Nov 30, 2021
appliedfm / vstyle-tools Star 14 Code Issues Pull requests A formatter/linter for Coq source formatter coq appliedfm Updated Jan 15, 2022 OCaml
appliedfm / docker-coq-vst Star 4 Code Issues Pull requests Docker images of the Coq proof assistant with compcert and VST pre-installed c dockerfile continuous-integration coq compcert docker-coq appliedfm coq-vst Updated Feb 15, 2022 Shell
appliedfm / growth-data Star 4 Code Issues Pull requests Measuring the growth of open source formal methods coq idris agda lean ada isabelle tla appliedfm Updated Jun 13, 2024 Python
appliedfm / coq-vsu-int63 Star 2 Code Issues Pull requests Formally verified 63-bit integer arithmetic, implemented in C and proven in Coq c coq verification formal-methods compcert formal-verification formal-specification appliedfm coq-vst Updated Mar 4, 2022 Coq
appliedfm / coq-vsu Star 1 Code Issues Pull requests Tools for working with Verified Software Units c coq verification formal-methods compcert formal-verification formal-specification appliedfm coq-vst Updated Jan 19, 2022 OCaml