appliedfm

All

9 repositories

growth-data
Public
Measuring the growth of open source formal methods
coq idris agda lean ada isabelle tla appliedfm
Python
•
MIT License
•0•4•3•0•Updated Nov 14, 2024Nov 14, 2024
coq-certicoq-block
Public
Coq
•
MIT License
•0•1•0•0•Updated Mar 5, 2022Mar 5, 2022
coq-vsu-int63
Public
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
Coq
•
MIT License
•0•2•0•0•Updated Mar 4, 2022Mar 4, 2022
coq-vsu-int_or_ptr
Public
Coq
•
MIT License
•0•4•0•0•Updated Mar 4, 2022Mar 4, 2022
docker-coq-vst
Public
Docker images of the Coq proof assistant with compcert and VST pre-installed
c dockerfile continuous-integration coq compcert docker-coq appliedfm coq-vst
Shell
•
MIT License
•0•4•0•0•Updated Feb 15, 2022Feb 15, 2022
coq-vsu
Public
Tools for working with Verified Software Units
c coq verification formal-methods compcert formal-verification formal-specification appliedfm coq-vst
OCaml
•
MIT License
•0•1•0•0•Updated Jan 19, 2022Jan 19, 2022
vstyle-tools
Public
A formatter/linter for Coq source
coq appliedfm formatter
OCaml
•
MIT License
•0•14•1•0•Updated Jan 15, 2022Jan 15, 2022
appliedfm.github.io
Public
Public website for applied.fm
Ruby
•
MIT License
•0•1•0•0•Updated Jan 6, 2022Jan 6, 2022
vstyle
Public
A style guide for Coq
c haskell dependent-types style-guide ocaml coq proof formal-semantics verification proof-assistant
MIT License
•0•17•5•3•Updated Nov 30, 2021Nov 30, 2021