yoshihiro503/coqQuickCheck

Stars
4
Rank 3,237,053 (Top 65 %)
Language Coq
Created over 11 years ago
Updated over 10 years ago

yoshihiro503/coqQuickCheck

yoshihiro503

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

QuickCheck for Coq

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.

generaltan

Another version of ProofGeneral character, じぇねらるたん

aobench_haxe

ocaml_asm

GNU as library for ocaml

cbc-casper-coq

Formal Verification of CBC Caper in Coq

NfcDemo_scala

Android NfcDemo in Scala

gbasen

Generalized Base-N encoding and decoding

ocaml_parsec

parser library for ocaml like Parsec

coqio

ocaml_util

my utility module for ocaml

json_parser_ml

json parser library for OCaml

AndroidSocketServer

a simple socket server on android

MusicServer

Androidを使った、音楽を再生するサーバー

tiny-bbs-ocaml

super small bbs service using OCaml

ocaml-tree

`tree` command format

proofserver

yoshihiro503.github.io

Remark : The source branch is `page_source`

ocamlAda

Ada95 parser in ocaml

ocaml_llist

lazy list module for ocaml

hello_scalacheck

first scalacheck project

dispatch_unzip

hello_ocamljs

hello_dispatch

very simple example using Databinder Dispatch library

aaa

ocaml_tcpclient

A library of TCP client in OCaml

scala-csv-example