Skip to content
@ocaml-gospel

ocaml-gospel

Popular repositories Loading

  1. gospel gospel Public

    A tool-agnostic formal specification language for OCaml.

    OCaml 128 16

  2. cameleer cameleer Public

    A Deductive Verification Tool for OCaml Programs

    OCaml 60 8

  3. ortac ortac Public

    Runtime assertion checking based on Gospel specifications

    OCaml 38 10

  4. vocal vocal Public

    Vocal is a set of OCaml modules, formally verified using Gospel and its Why3 plugin.

    OCaml 16 2

  5. why3gospel why3gospel Public

    A Why3 plugin able to read and translate Gospel specifications, in view of refinement proofs of Why3 programs.

    OCaml 9 2

  6. gospel2cfml gospel2cfml Public

    OCaml 1

Repositories

Showing 8 of 8 repositories
  • ortac Public

    Runtime assertion checking based on Gospel specifications

    ocaml-gospel/ortac’s past year of commit activity
    OCaml 38 MIT 10 19 (3 issues need help) 6 Updated Oct 15, 2024
  • gospel Public

    A tool-agnostic formal specification language for OCaml.

    ocaml-gospel/gospel’s past year of commit activity
    OCaml 128 MIT 16 36 17 Updated Oct 7, 2024
  • gospel2cfml Public
    ocaml-gospel/gospel2cfml’s past year of commit activity
    OCaml 1 MIT 0 0 0 Updated Sep 29, 2024
  • gospel2viper Public
    ocaml-gospel/gospel2viper’s past year of commit activity
    OCaml 0 0 0 0 Updated Sep 11, 2024
  • cameleer Public

    A Deductive Verification Tool for OCaml Programs

    ocaml-gospel/cameleer’s past year of commit activity
    OCaml 60 MIT 8 6 1 Updated Jun 25, 2024
  • gospel-rfc Public
    ocaml-gospel/gospel-rfc’s past year of commit activity
    OCaml 0 0 1 0 Updated Mar 14, 2024
  • why3gospel Public

    A Why3 plugin able to read and translate Gospel specifications, in view of refinement proofs of Why3 programs.

    ocaml-gospel/why3gospel’s past year of commit activity
    OCaml 9 MIT 2 1 1 Updated May 6, 2022
  • vocal Public

    Vocal is a set of OCaml modules, formally verified using Gospel and its Why3 plugin.

    ocaml-gospel/vocal’s past year of commit activity
    OCaml 16 MIT 2 1 0 Updated Nov 3, 2021

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…