mzp (MIZUNO Hiroki)

Public Repositories (16)

• • 1
  • 1

  atig

  atig

  

  Last updated Mon Mar 01 01:27:37 -0800 2010

• • 4
  • 0

  scheme-abc

  Scheme compiler for ActionScript3 Bytecode/Flash

  

  Last updated Sun Feb 21 14:03:11 -0800 2010

• • 1
  • 8

  net-irc

  Ruby IRC library (Client, Server)

  

  Forked from cho45/net-irc Thu Oct 15 16:45:14 -0700 2009

  Last updated Fri Feb 19 20:55:04 -0800 2010

• • 1
  • 1

  jinrou

  

  Last updated Thu Feb 04 15:47:41 -0800 2010

• • 1
  • 1

  home-image

  

  Last updated Wed Feb 03 05:24:00 -0800 2010

• • 2
  • 1

  lambda

  simple typed lambda calculus on Coq

  

  Last updated Wed Jan 27 15:36:46 -0800 2010

• • 3
  • 1

  ocaml-hoogle

  OCaml API search allows you to search many standard O'Caml libraries by either function name, or ...

  

  Last updated Tue Jan 12 02:27:38 -0800 2010

• • 1
  • 1

  coq

  coq wiki

  

  Last updated Fri Oct 30 16:19:15 -0700 2009

• • 1
  • 1

  happyabc-docs

  HappyABC documents

  

  Last updated Mon Oct 19 15:33:13 -0700 2009

• • 2
  • 1

  hogewiki

  

  Last updated Fri Oct 16 20:35:25 -0700 2009

• • 1
  • 2

  presen

  make a presentation with javascript and css

  

  Forked from shimomura1004/presen Mon Sep 14 02:01:41 -0700 2009

  Last updated Mon Sep 14 02:02:22 -0700 2009

• • 1
  • 0

  skk-sync

  SKK Dictionary synchronization

  

  Last updated Wed Mar 25 03:50:35 -0700 2009

• • 1
  • 0

  happyabc

  HappyABC driver & release script

  

  Last updated Wed Dec 31 19:41:05 -0800 2008

• • 1
  • 0

  istream

  Generate HTML to play video on iPod touch/iPhone.

  

  Last updated Sat Oct 25 07:12:04 -0700 2008

• • 3
  • 0

  w3m

  w3m

  

  Last updated Sun Oct 19 21:40:44 -0700 2008

• • 1
  • 0

  orb

  OCaml Refactoring Browser

  

  Created Fri Mar 06 14:07:48 -0800 2009