rtetley

coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

easycrypt

EasyCrypt: Computer-Aided Cryptographic Proofs

jasmin

Language for high-assurance and high-speed cryptography

opam

Archive for all Coq related OPAM packages organized in various repositories

opam-repository

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

platform

Multi platform setup for Coq, Coq libraries and tools

springy-qml

A force directed graph layout algorithm in JavaScript

vscode

Visual Studio Code

vscode-jasmin

vscode-webview-ui-toolkit

A component library for building webview-based extensions in Visual Studio Code.

rtetley/coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

rtetley/easycrypt

EasyCrypt: Computer-Aided Cryptographic Proofs

rtetley/jasmin

Language for high-assurance and high-speed cryptography

rtetley/opam

Archive for all Coq related OPAM packages organized in various repositories

rtetley/opam-repository

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

rtetley/platform

Multi platform setup for Coq, Coq libraries and tools

rtetley/springy-qml

A force directed graph layout algorithm in JavaScript

rtetley/vscode

Visual Studio Code

rtetley/vscode-jasmin

rtetley/vscode-webview-ui-toolkit

A component library for building webview-based extensions in Visual Studio Code.

rtetley/vscode-webview-ui-toolkit-samples

A collection of sample extensions built with the Webview UI Toolkit for Visual Studio Code.

rtetley/webauthndemo

An example Node.js Relying Party implementation of the WebAuthn specification