Popular repositories Loading

1. mitls-fstar mitls-fstar Public

   Forked from project-everest/mitls-fstar

   TLS implemented in F*

   F#

2. HAT2.0 HAT2.0 Public

   Forked from dataswift/HAT2.0

   The HAT Personal Data Store

   Scala

3. DocDBNodeSample DocDBNodeSample Public

   Forked from nzthiago/DocDBNodeSample

   Sample running on Node.js and DocumentDB with included Azure Resource Manager template to create the infrastructure.

   JavaScript

4. vscode-ocaml vscode-ocaml Public

   Forked from hackwaly/vscode-ocaml

   An extension for VS Code which provides support for the OCaml language.

   TypeScript

5. kannepalli.github.io kannepalli.github.io Public

   Ruby

6. CNTK CNTK Public

   Forked from microsoft/CNTK

   Microsoft Cognitive Toolkit (CNTK), an open source deep-learning toolkit

   C++