Giters
Masahiro Sakai (msakai)

msakai

Geek Repo

238

followers

205

following

296

stars

Company:Preferred Networks, Inc. (@pfnet)

Location:Kawasaki, Japan

Home Page:https://twitter.com/masahiro_sakai

Github PK Tool:Github PK Tool

Organizations
pfnet
pfnet-research
ruby-gnome

Masahiro Sakai's repositories

ltg

TeamSampou's repository for ICFPC2011

Language:HaskellStargazers:2Issues:0Issues:0

afv

C model checking.

Language:HaskellLicense:NOASSERTIONStargazers:1Issues:0Issues:0

kodkod

Personal mirror of http://alloy.mit.edu/kodkod/

Language:JavaLicense:NOASSERTIONStargazers:1Issues:0Issues:0

ruby-gnome2

A set of bindings for the GNOME-2.x libraries to use from Ruby.

Language:CLicense:LGPL-2.1Stargazers:1Issues:0Issues:0

sandbox

Sandbox repository to learn git.

Stargazers:1Issues:0Issues:0

win-ssh-agent

A ssh-agent wrapper with simple GUI

Language:C++Stargazers:1Issues:0Issues:0