Skip to content
@appliedfm

appliedfm

Pinned Loading

  1. vstyle Public

    A style guide for Coq

    18

  2. vstyle-tools Public

    A formatter/linter for Coq source

    OCaml 14

  3. growth-data Public

    Measuring the growth of open source formal methods

    Python 4

  4. docker-coq-vst Public

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

    Shell 4

  5. coq-vsu Public

    Tools for working with Verified Software Units

    OCaml 1

  6. coq-vsu-int63 Public

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

    Coq 2

Repositories

Showing 9 of 9 repositories
  • growth-data Public

    Measuring the growth of open source formal methods

    Python 4 MIT 0 3 0 Updated Mar 20, 2025
  • coq-certicoq-block Public
    Coq 1 MIT 0 0 0 Updated Mar 5, 2022
  • coq-vsu-int63 Public

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

    Coq 2 MIT 0 0 0 Updated Mar 4, 2022
  • coq-vsu-int_or_ptr Public
    Coq 4 MIT 0 0 0 Updated Mar 4, 2022
  • docker-coq-vst Public

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

    Shell 4 MIT 0 0 0 Updated Feb 15, 2022
  • coq-vsu Public

    Tools for working with Verified Software Units

    OCaml 1 MIT 0 0 0 Updated Jan 19, 2022
  • vstyle-tools Public

    A formatter/linter for Coq source

    OCaml 14 MIT 0 1 0 Updated Jan 15, 2022
  • appliedfm.github.io Public

    Public website for applied.fm

    Ruby 1 MIT 0 0 0 Updated Jan 6, 2022
  • vstyle Public

    A style guide for Coq

    18 MIT 0 5 (3 issues need help) 3 Updated Nov 30, 2021