mariojppereira

casamento_barbara_mario

cameleer

A Deductive Verification Tool for OCaml Programs

cameleer-tutorial-fm2024

CSrankings

A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.

decide

My entry to the challenge of Empirical Software Engineering course of EJCP2016

formalmetacoq

Arthur's Formal Metatheory in Coq

forte23-badges

gospel

A tool-agnostic formal specification language for OCaml.

hugoferlopes.github.io

mariojppereira

My homepage

mariojppereira.github.io

ocaml

The core OCaml system: compilers, runtime system, base libraries

ocaml-uring

Bindings to io_uring for OCaml

ocamlgraph

OCaml graph library

opam-repository

Main public package repository for OPAM, the source package manager of OCaml.

ppxlib

Base library and tools for ppx rewriters

sharing-gihub

tezla

An intermediate representation of Michelson smart contracts designed to ease static analysis of smart contracts

tree_crdt

Verified-Programs

vocal

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

why3gospel

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