Skip to content
Avatar
🐻
🐻

Achievements

Achievements

Organizations

@mozilla @libpasta @sodiumoxide @osohq
Block or Report

Pinned

  1. Oso is a batteries-included library for building authorization in your application.

    Rust 992 44

  2. Serde support for querystring-style strings

    Rust 53 26

  3. Making passwords painless

    Rust 53 3

  4. This is a Tamarin model of TLS 1.3

    M4 22 7

  5. Incredibly hack proof of concept of automatic Rust -> Swig pipeline using procedural macros

    Rust 13

  6. Forked from tamarin-prover/tamarin-prover

    Main repository of the Tamarin prover for security protocol verification.

    Haskell

1,163 contributions in the last year

Apr May Jun Jul Aug Sep Oct Nov Dec Jan Feb Mar Apr Mon Wed Fri
Activity overview
Contributed to osohq/oso, samscott89/serde_qs, osohq/oso_odoo and 5 other repositories