yoshihiro503/cbc-casper-coq yoshihiro503/cbc-casper-coq

  • Stars
    star
    3
  • Rank 3,963,521 (Top 79 %)
  • Language Coq
  • License
    MIT License
  • Created over 5 years ago
  • Updated over 5 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
yoshihiro503/cbc-casper-coq
github

yoshihiro503

Reviews

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

Repository Details

Formal Verification of CBC Caper in 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

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

NfcDemo_scala

Android NfcDemo in Scala
Scala
3
star
7

ocaml_parsec

parser library for ocaml like Parsec
OCaml
3
star
8

coqio

Coq IO
Coq
3
star
9

gbasen

Generalized Base-N encoding and decoding
Coq
3
star
10

json_parser_ml

json parser library for OCaml
OCaml
2
star
11

AndroidSocketServer

a simple socket server on android
Scala
2
star
12

ocaml_util

my utility module for ocaml
OCaml
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_dispatch

very simple example using Databinder Dispatch library
Scala
1
star
23

hello_ocamljs

JavaScript
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