Discover yoshihiro503/ocamltter Open Source project

Stars
75
Rank 411,767 (Top 9 %)
Language
OCaml
License
MIT License
Created about 14 years ago
Updated over 5 years ago

yoshihiro503

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

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

aobench_haxe

ocaml_asm

GNU as library for ocaml

OCaml

cbc-casper-coq

Formal Verification of CBC Caper in Coq

Coq

NfcDemo_scala

Android NfcDemo in Scala

Scala

gbasen

Generalized Base-N encoding and decoding

Coq

ocaml_parsec

parser library for ocaml like Parsec

OCaml

coqio

Coq IO

Coq

ocaml_util

my utility module for ocaml

OCaml

json_parser_ml

json parser library for OCaml

OCaml

AndroidSocketServer

a simple socket server on android

Scala

MusicServer

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

Scala

tiny-bbs-ocaml

super small bbs service using OCaml

OCaml

ocaml-tree

`tree` command format

OCaml

proofserver

CSS

yoshihiro503.github.io

Remark : The source branch is `page_source`

JavaScript

ocamlAda

Ada95 parser in ocaml

OCaml

ocaml_llist

lazy list module for ocaml

OCaml

hello_scalacheck

first scalacheck project

dispatch_unzip

wget and unzip

Scala

hello_ocamljs

JavaScript

hello_dispatch

very simple example using Databinder Dispatch library

Scala

aaa

ocaml_tcpclient

A library of TCP client in OCaml

scala-csv-example

Scala

yoshihiro503/ocamltter

yoshihiro503

Reviews

Repository Details

More Repositories