nikswamy

Pinned Repositories

FStar
A Proof-oriented Programming Language
Language:F*2.7k 80 2k234
karamel
KaRaMeL is a tool for extracting low-level F* programs to readable C code
Language:OCaml396 43 16359
linguist
Language Savant. If your repository's language is being reported incorrectly, send us a pull request!
Language:Ruby12.3k 523 2.4k4.3k
hacl-star
HACL*, a formally verified cryptographic library written in F*
Language:F*1.6k 78 229170
linguist
Language Savant. If your repository's language is being reported incorrectly, send us a pull request!
Language:Ruby0 1 00
merkle-tree
A verified Merkle Tree, built as a standalone project on top of EverCrypt
Language:F*00
rego-fstar
Rego experiments
Language:F*0 1 00
SafeTypeScript
A type-safe dialect of TypeScript
Language:JavaScript25 4 11
z3
The Z3 Theorem Prover
Language:C++0 1 00
z3
The Z3 Theorem Prover
Language:C++10.4k 181 5.5k1.5k

nikswamy's Repositories

nikswamy/SafeTypeScript
A type-safe dialect of TypeScript
Language:JavaScript25 4 11
nikswamy/linguist
Language Savant. If your repository's language is being reported incorrectly, send us a pull request!
Language:Ruby0 1 00
nikswamy/merkle-tree
A verified Merkle Tree, built as a standalone project on top of EverCrypt
Language:F*00
nikswamy/rego-fstar
Rego experiments
Language:F*0 1 00
nikswamy/z3
The Z3 Theorem Prover
Language:C++0 1 00