Beast code in Giters

nikswamy's starred repositories

Language:C++MIT1000

A Rego reference implementation in F*

Language:F*MIT600

AICI: Prompts as (Wasm) Programs

Language:RustMIT187600

A Proof-oriented Programming Language

Language:F*Apache-2.0265900

Waldo library for proving indistinguishability properties in F*

Language:F*Apache-2.0200

Reactive systems in F*

Language:F*400

Language:ShellApache-2.019100

Tools for interacting with Boogie

Language:Emacs Lisp4500

Emacs support for F*

Language:Emacs LispApache-2.06800

Cryptol: The Language of Cryptography

Language:HaskellBSD-3-Clause112500

Lean Theorem Prover

Language:C++Apache-2.0214500