nikswamy's repositories
SafeTypeScript
A type-safe dialect of TypeScript
linguist
Language Savant. If your repository's language is being reported incorrectly, send us a pull request!
Language:RubyMIT000
rego-fstar
Rego experiments
Language:F*MIT000
z3
The Z3 Theorem Prover
Language:C++NOASSERTION000