• Stars
    star
    1
  • Language
    OCaml
  • Created over 10 years ago
  • Updated over 10 years ago

Reviews

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

Repository Details

Ada95 parser in ocaml

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

ocaml_llist

lazy list module for ocaml
OCaml
1
star
20

hello_scalacheck

first scalacheck project
1
star
21

dispatch_unzip

wget and unzip
Scala
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