Discover @yoshihiro503 Open Source projects

YOSHIHIRO Imai (@yoshihiro503)

yoshihiro503

Stars
146
Global Rank 153,616 (Top 6 %)
Followers 79
Following 40
Registered over 14 years ago
Most used languages

OCaml
37.5 %

Scala
25.0 %

Coq 16.7 %

JavaScript
8.3 %

Haxe 4.2 %

CSS
4.2 %

Shell
4.2 %
Location 🇯🇵 Japan
Country Total Rank 3,414
Country Ranking

Coq 7

OCaml
10

Haxe 22

Scala
188

Shell
469

CSS
1,660

JavaScript
6,102

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.

generaltan

Another version of ProofGeneral character, じぇねらるたん

coqQuickCheck

QuickCheck for Coq

aobench_haxe

ocaml_asm

GNU as library for ocaml

cbc-casper-coq

Formal Verification of CBC Caper in Coq

NfcDemo_scala

Android NfcDemo in Scala

gbasen

Generalized Base-N encoding and decoding

ocaml_parsec

parser library for ocaml like Parsec

coqio

ocaml_util

my utility module for ocaml

json_parser_ml

json parser library for OCaml

AndroidSocketServer

a simple socket server on android

MusicServer

Androidを使った、音楽を再生するサーバー

tiny-bbs-ocaml

super small bbs service using OCaml

ocaml-tree

`tree` command format

proofserver

yoshihiro503.github.io

Remark : The source branch is `page_source`

ocamlAda

Ada95 parser in ocaml

ocaml_llist

lazy list module for ocaml

hello_scalacheck

first scalacheck project

dispatch_unzip

hello_ocamljs

hello_dispatch

very simple example using Databinder Dispatch library

aaa

ocaml_tcpclient

A library of TCP client in OCaml

scala-csv-example