https://github.com/appliedfm/vstyle

A style guide for Coq

appliedfm c coq dependent-types formal-mathematics formal-methods formal-proofs formal-semantics formal-specification formal-verification haskell ocaml proof proof-assistant software-engineering style-guide verification

Last synced: 25 Oct 2025

https://github.com/appliedfm/vstyle-tools

A formatter/linter for Coq source

appliedfm coq formatter

Last synced: 02 Jul 2025

https://github.com/appliedfm/coq-vsu-int_or_ptr

Last synced: 27 Jan 2026

https://github.com/appliedfm/growth-data

Measuring the growth of open source formal methods

ada agda appliedfm coq idris isabelle lean tla

Last synced: 25 Oct 2025

https://github.com/appliedfm/docker-coq-vst

Docker images of the Coq proof assistant with compcert and VST pre-installed

appliedfm c compcert continuous-integration coq coq-vst docker-coq dockerfile

Last synced: 19 Feb 2026

https://github.com/appliedfm/coq-vsu-int63

Formally verified 63-bit integer arithmetic, implemented in C and proven in Coq

appliedfm c compcert coq coq-vst formal-methods formal-specification formal-verification verification

Last synced: 23 Jan 2026

https://github.com/appliedfm/coq-certicoq-block

Last synced: 14 Mar 2025

https://github.com/appliedfm/appliedfm.github.io

Public website for applied.fm

Last synced: 14 Mar 2025

https://github.com/appliedfm/coq-vsu

Tools for working with Verified Software Units

appliedfm c compcert coq coq-vst formal-methods formal-specification formal-verification verification

Last synced: 20 Jan 2026