Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Skip to content
View ngernest's full-sized avatar

Block or report ngernest

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned Loading

  1. mica mica Public

    A PPX deriver that automates differential testing for OCaml modules

    OCaml 23 1

  2. mica_case_studies mica_case_studies Public

    Case studies for Mica, a PPX that automates differential testing for OCaml modules

    OCaml

  3. parser-combinator-class parser-combinator-class Public

    Teaching materials on Parser Combinators, designed for UPenn's Intro to Haskell class

    Haskell

  4. pbt-bibliography pbt-bibliography Public

    A collaborative bibliography of papers related to property-based testing

    9