Giters
Yasunari Watanabe (yasunariw)

yasunariw

Geek Repo

18

followers

5

following

0

stars

Company:@ahrefs

Location:Singapore

Home Page:https://yasunari.net

Github PK Tool:Github PK Tool

Yasunari Watanabe's repositories

certified-programs

Language:CoqStargazers:0Issues:3Issues:0

ChemistrySet

A library for composable fine-grained concurrency.

Language:ScalaLicense:NOASSERTIONStargazers:0Issues:0Issues:0

opam-repository

Main public package repository for opam, the source package manager of OCaml.

Language:ShellLicense:CC0-1.0Stargazers:0Issues:0Issues:0

suslik

Synthesis of Heap-Manipulating Programs from Separation Logic

Language:ScalaLicense:NOASSERTIONStargazers:0Issues:0Issues:0