Popular repositories Loading

1. ocamltter ocamltter Public

   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 interacti…

   OCaml 75 8

2. generaltan generaltan Public

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

   Shell 23 1

3. rocq-amidakuji rocq-amidakuji Public

   Coq 7

4. aobench_haxe aobench_haxe Public

   aobench_haxe

   Haxe 4

5. ocaml_asm ocaml_asm Public

   GNU as library for ocaml

   OCaml 4

6. coqQuickCheck coqQuickCheck Public

   QuickCheck for Coq

   Coq 4