• 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

wget and unzip

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

hello_ocamljs

JavaScript
1
star
23

hello_dispatch

very simple example using Databinder Dispatch library
Scala
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