Romain Tetley's repositories
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-webview-ui-toolkit
A component library for building webview-based extensions in Visual Studio Code.
vscode-webview-ui-toolkit-samples
A collection of sample extensions built with the Webview UI Toolkit for Visual Studio Code.
webauthndemo
An example Node.js Relying Party implementation of the WebAuthn specification