• Stars
    star
    1
  • Language
    Scala
  • Created over 12 years ago
  • Updated over 12 years ago

Reviews

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

Repository Details

very simple example using Databinder Dispatch library

More Repositories

1

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.
OCaml
75
star
2

generaltan

Another version of ProofGeneral character, γ˜γ‡γ­γ‚‰γ‚‹γŸγ‚“
Shell
21
star
3

coqQuickCheck

QuickCheck for Coq
Coq
4
star
4

aobench_haxe

aobench_haxe
Haxe
4
star
5

ocaml_asm

GNU as library for ocaml
OCaml
4
star
6

cbc-casper-coq

Formal Verification of CBC Caper in Coq
Coq
3
star
7

NfcDemo_scala

Android NfcDemo in Scala
Scala
3
star
8

gbasen

Generalized Base-N encoding and decoding
Coq
3
star
9

ocaml_parsec

parser library for ocaml like Parsec
OCaml
3
star
10

coqio

Coq IO
Coq
3
star
11

ocaml_util

my utility module for ocaml
OCaml
2
star
12

json_parser_ml

json parser library for OCaml
OCaml
2
star
13

AndroidSocketServer

a simple socket server on android
Scala
2
star
14

MusicServer

Androidγ‚’δ½Ώγ£γŸγ€ιŸ³ζ₯½γ‚’ε†η”Ÿγ™γ‚‹γ‚΅γƒΌγƒγƒΌ
Scala
1
star
15

tiny-bbs-ocaml

super small bbs service using OCaml
OCaml
1
star
16

ocaml-tree

`tree` command format
OCaml
1
star
17

proofserver

proofserver
CSS
1
star
18

yoshihiro503.github.io

Remark : The source branch is `page_source`
JavaScript
1
star
19

ocamlAda

Ada95 parser in ocaml
OCaml
1
star
20

ocaml_llist

lazy list module for ocaml
OCaml
1
star
21

hello_scalacheck

first scalacheck project
1
star
22

dispatch_unzip

wget and unzip
Scala
1
star
23

hello_ocamljs

JavaScript
1
star
24

aaa

1
star
25

ocaml_tcpclient

A library of TCP client in OCaml
1
star
26

scala-csv-example

Scala
1
star