Skip to content
View ngernest's full-sized avatar
46 followers · 96 following

Achievements

Achievement: Pull Sharkx3Achievement: StarstruckAchievement: YOLOAchievement: Pair ExtraordinaireAchievement: Quickdraw

Achievements

Achievement: Pull Sharkx3Achievement: StarstruckAchievement: YOLOAchievement: Pair ExtraordinaireAchievement: Quickdraw

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 Public

    A PPX deriver that automates differential testing for OCaml modules

    OCaml 25 1

  2. regexes Public

    Proving Brzozowski & Antimirov derivatives (and zippers) equivalent in Coq

    Coq 4

  3. urn-rs Public

    A Rust implementation of the Urn data structure for efficient random sampling

    Rust 7

  4. chamelean Public

    Forked from thanhnguyen-aws/plausible

    Property-based testing for Lean via metaprogramming

    Lean 2

  5. flat-bril Public

    A flattened AST for Bril + an interpreter over the flat file format

    Rust 1

  6. pbt-bibliography Public

    A collaborative bibliography of papers related to property-based testing

    14