yoshihiro503/ocamlAda
Ada95 parser in ocaml
Developer Profile
yoshihiro503
Discovered public repositories for yoshihiro503 in the GitHub catalog.
yoshihiro503/coqio
Coq IO
yoshihiro503/coqQuickCheck
QuickCheck for Coq
yoshihiro503/json_parser_ml
json parser library for OCaml
yoshihiro503/ch
Public repository.
yoshihiro503/coq2scala
An extension of Coq (http://coq.inria.fr/). Coq2Scala extract to Scala code.
yoshihiro503/generaltan
Another version of ProofGeneral character, じぇねらるたん
yoshihiro503/ocaml_asm
GNU as library for ocaml
yoshihiro503/ocaml_tcpclient
A library of TCP client in OCaml
yoshihiro503/ocaml_parsec
parser library for ocaml like Parsec
yoshihiro503/aobench_haxe
aobench_haxe
yoshihiro503/yoshihiro503.github.io
Remark : The source branch is `page_source`
yoshihiro503/proofserver
proofserver
yoshihiro503/ocaml_llist
lazy list module for ocaml
yoshihiro503/ocaml_util
my utility module for ocaml
yoshihiro503/hello_scalacheck
first scalacheck project
yoshihiro503/MusicServer
Androidを使った、音楽を再生するサーバー
yoshihiro503/AndroidSocketServer
a simple socket server on android
yoshihiro503/dispatch_unzip
wget and unzip
yoshihiro503/hello_dispatch
very simple example using Databinder Dispatch library
yoshihiro503/NfcDemo_scala
Android NfcDemo in Scala
yoshihiro503/hello_ocamljs
Public repository.
yoshihiro503/ocamltter
ocamltter is a Twitter client in OCaml. This client run on the OCaml toplevel interpreter. Then each operation on the client is just a OCaml function and you can develop a twitter program interactively.
yoshihiro503/aaa
Public repository.