Popular repositories Loading

1. SafeTypeScript SafeTypeScript Public

   A type-safe dialect of TypeScript

   JavaScript 25 1

2. linguist linguist Public

   Forked from github-linguist/linguist

   Language Savant. If your repository's language is being reported incorrectly, send us a pull request!

   Ruby

3. z3 z3 Public

   Forked from Z3Prover/z3

   The Z3 Theorem Prover

   C++

4. rego-fstar rego-fstar Public

   Forked from anakrish/Rego-FStar

   Rego experiments

   F*

5. merkle-tree merkle-tree Public

   Forked from hacl-star/merkle-tree

   A verified Merkle Tree, built as a standalone project on top of EverCrypt

   F*

6. hacl-star hacl-star Public

   Forked from hacl-star/hacl-star

   HACL*, a formally verified cryptographic library written in F*

   F*