Skip to content
View yoshihiro503's full-sized avatar

Organizations

@sfja @itplanning @proof-ninja

Block or report yoshihiro503

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories Loading

  1. ocamltter ocamltter Public

    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 interacti…

    OCaml 75 8

  2. generaltan generaltan Public

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

    Shell 22 1

  3. aobench_haxe aobench_haxe Public

    aobench_haxe

    Haxe 4

  4. ocaml_asm ocaml_asm Public

    GNU as library for ocaml

    OCaml 4

  5. coqQuickCheck coqQuickCheck Public

    QuickCheck for Coq

    Coq 4

  6. NfcDemo_scala NfcDemo_scala Public

    Android NfcDemo in Scala

    Scala 3