yoshihiro503/coqQuickCheck yoshihiro503/coqQuickCheck

  • Stars
    star
    4
  • Rank 3,239,962 (Top 66 %)
  • Language Coq
  • Created over 11 years ago
  • Updated over 10 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
yoshihiro503/coqQuickCheck
github

yoshihiro503

Reviews

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

Repository Details

QuickCheck for Coq

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

aobench_haxe

aobench_haxe
Haxe
4
star
4

ocaml_asm

GNU as library for ocaml
OCaml
4
star
5

cbc-casper-coq

Formal Verification of CBC Caper in Coq
Coq
3
star
6

NfcDemo_scala

Android NfcDemo in Scala
Scala
3
star
7

gbasen

Generalized Base-N encoding and decoding
Coq
3
star
8

ocaml_parsec

parser library for ocaml like Parsec
OCaml
3
star
9

coqio

Coq IO
Coq
3
star
10

ocaml_util

my utility module for ocaml
OCaml
2
star
11

json_parser_ml

json parser library for OCaml
OCaml
2
star
12

AndroidSocketServer

a simple socket server on android
Scala
2
star
13

MusicServer

Androidを使った、音楽を再生するサーバー
Scala
1
star
14

tiny-bbs-ocaml

super small bbs service using OCaml
OCaml
1
star
15

ocaml-tree

`tree` command format
OCaml
1
star
16

proofserver

proofserver
CSS
1
star
17

yoshihiro503.github.io

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

ocamlAda

Ada95 parser in ocaml
OCaml
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