Help

System theme

Docker Suite

Tomohito Yabu

Community User

University of Fukui

Fukui, Japan

Repositories Starred

Displaying 1 to 6 of 6 repositories

image

tyabu/coq

Coq without IDE on Alpine Linux.

7y

1.5K

image

tyabu/opam

A minimal OPAM on Alpine Linux.

7y

1.4K

image

tyabu/coqide

Coq IDE.

7y

1.4K

image

tyabu/ocaml

A minimal OCaml on Alpine Linux.

7y

1.3K

image

tyabu/debian

Debian for Japanese.

7y

1.0K

image

tyabu/eliom

Eliom on Alpine Linux.

7y

1.0K