Giters
Pramod Bhatotia (bhatotia)

bhatotia

Geek Repo

15

followers

0

following

0

stars

Company:TU Munich

Home Page:https://dse.in.tum.de/

Twitter:@pramod_bhatotia

Github PK Tool:Github PK Tool

Pramod Bhatotia's repositories

oak-hardware

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

Language:CoqLicense:Apache-2.0Stargazers:2Issues:0Issues:0

doc-WiSe2023-24

Stargazers:1Issues:0Issues:0

comprehensive-rust

This is the Rust course used by the Android team at Google. It provides you the material to quickly teach Rust to everyone.

Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0

dthreads

dthreads: Efficient Deterministic Multithreading

Language:CLicense:GPL-2.0Stargazers:0Issues:1Issues:0

StratifiedRandomSampling

Spark Exercise

Language:ScalaStargazers:0Issues:0Issues:0