Block or report user

Report or block catalin-hritcu

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse

Organizations

@FStarLang @QuickChick @micro-policies @secure-compilation

Pinned repositories

  1. FStarLang/FStar

    Verification system for effectful programs

    OCaml 1.3k 108

  2. secure-compilation/when-good-components-go-bad

    Coq formalization for "When Good Components Go Bad" paper

    Coq 3

  3. micro-policies/micro-policies-coq

    Coq formalization accompanying the paper: Micro-Policies: A Framework for Verified, Tag-Based Security Monitors

    Coq 13

  4. secure-compilation/beyond-good-and-evil

    Auxiliary materials for "Beyond Good and Evil" paper

    Coq 2

  5. QuickChick/QuickChick

    Randomized Property-Based Testing Plugin for Coq

    Coq 108 8

  6. QuickChick/Luck

    Luck -- A Language for Property-Based Generators

    Haskell 23 4

310 contributions in the last year

Aug Sep Oct Nov Dec Jan Feb Mar Apr May Jun Jul Aug Mon Wed Fri

Contribution activity

August 2018

Seeing something unexpected? Take a look at the GitHub profile guide.