Mihai Maruseac mihaimaruseac

Building AGI with Security and Privacy at OpenAI. Previously: Google (model signing, GUAC, TensorFlow), LeapYear (Differential Privacy, ML, Haskell)

Achievements

sigstore/model-transparency sigstore/model-transparency Public

Supply chain security for ML

Python 249 70
guacsec/guac guacsec/guac Public

GUAC aggregates software security metadata into a high fidelity graph database.

Go 1.6k 228
hindent hindent Public

Haskell pretty printer

Haskell 581 116
commercialhaskell/stackage commercialhaskell/stackage Public

Stable Haskell package sets: vetted consistent packages from Hackage

Dockerfile 550 830
commercialhaskell/stack commercialhaskell/stack Public

The Haskell Tool Stack

Haskell 4.1k 855
io-manager io-manager Public

Haskell IO manager for hiding the IO monad and related advanced concepts. Useful for beginners.

Haskell 8 1

Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.

There was an error while loading. Please reload this page.