Yasunari Watanabe's repositories
ChemistrySet
A library for composable fine-grained concurrency.
Language:ScalaNOASSERTION000
opam-repository
Main public package repository for opam, the source package manager of OCaml.
Language:ShellCC0-1.0000
suslik
Synthesis of Heap-Manipulating Programs from Separation Logic
Language:ScalaNOASSERTION000