Pinned Repositories
cameleer
A Deductive Verification Tool for OCaml Programs
cameleer-tutorial-fm2024
casamento_barbara_mario
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's Repositories
mariojppereira/casamento_barbara_mario
mariojppereira/cameleer
A Deductive Verification Tool for OCaml Programs
mariojppereira/cameleer-tutorial-fm2024
mariojppereira/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.
mariojppereira/decide
My entry to the challenge of Empirical Software Engineering course of EJCP2016
mariojppereira/formalmetacoq
Arthur's Formal Metatheory in Coq
mariojppereira/forte23-badges
mariojppereira/gospel
A tool-agnostic formal specification language for OCaml.
mariojppereira/hugoferlopes.github.io
mariojppereira/mariojppereira
My homepage
mariojppereira/mariojppereira.github.io
mariojppereira/ocaml
The core OCaml system: compilers, runtime system, base libraries
mariojppereira/ocaml-uring
Bindings to io_uring for OCaml
mariojppereira/ocamlgraph
OCaml graph library
mariojppereira/opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
mariojppereira/ppxlib
Base library and tools for ppx rewriters
mariojppereira/sharing-gihub
mariojppereira/tezla
An intermediate representation of Michelson smart contracts designed to ease static analysis of smart contracts
mariojppereira/tree_crdt
mariojppereira/Verified-Programs
mariojppereira/vocal
Vocal is a set of OCaml modules, formally verified using Gospel and its Why3 plugin.
mariojppereira/why3gospel
A Why3 plugin able to read and translate Gospel specifications, in view of refinement proofs of Why3 programs.