Skip to content
View yasunariw's full-sized avatar
Block or Report

Block or report yasunariw

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

  1. TyGuS/suslik TyGuS/suslik Public

    Synthesis of Heap-Manipulating Programs from Separation Logic

    Scala 119 20

  2. TyGuS/ssl-htt TyGuS/ssl-htt Public

    Coq tactics for certification of the results of SSL-based program synthesis via Hoare Type Theory.

    Coq 8

  3. ahrefs/monorobot ahrefs/monorobot Public

    github monorepo bot - configurable directory tree notifications in slack

    OCaml 32 6