• Stars
    star
    1
  • Language
    Scala
  • Created over 1 year ago
  • Updated over 1 year ago

Reviews

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

Repository Details

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

hello_dispatch

very simple example using Databinder Dispatch library
Scala
1
star
25

aaa

1
star
26

ocaml_tcpclient

A library of TCP client in OCaml
1
star