Beast code in Giters

project-oak's repositories

Meaningful control of data in distributed systems.

Language:RustApache-2.0979 35 1239

RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.

Language:RustApache-2.0274 17 56

Formal specification and verification of hardware, especially for security and privacy.

Language:CoqApache-2.0118 16 241

Rust port of Tink cryptography library

Language:RustApache-2.080 13 32

Language:OCamlApache-2.029 12 11

Making transparency normal!

Language:GoApache-2.024 8 91

Language:JavaScriptBSD-3-Clause12 7 2

Language:ShellApache-2.08 8 1

Language:JavaScriptBSD-3-Clause7 60

Language:Rust3 3 17

Language:RustApache-2.03 30

Language:ShellApache-2.01 6 1

040

040