Popular repositories Loading

1. springy-qml springy-qml Public

   Forked from dhotson/springy

   A force directed graph layout algorithm in JavaScript

   JavaScript

2. vscode-webview-ui-toolkit-samples vscode-webview-ui-toolkit-samples Public

   Forked from microsoft/vscode-webview-ui-toolkit-samples

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

   TypeScript

3. vscode-webview-ui-toolkit vscode-webview-ui-toolkit Public

   Forked from microsoft/vscode-webview-ui-toolkit

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

   TypeScript

4. easycrypt easycrypt Public

   Forked from EasyCrypt/easycrypt

   EasyCrypt: Computer-Aided Cryptographic Proofs

   OCaml

5. coq coq Public

   Forked from coq/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 develo…

   OCaml

6. webauthndemo webauthndemo Public

   Forked from google/webauthndemo

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

   TypeScript