YOSHIHIRO Imai's repositories
json_parser_ml
json parser library for OCaml
ocaml-tree
`tree` command format
tiny-bbs-ocaml
super small bbs service using OCaml
yoshihiro503.github.io
Remark : The source branch is `page_source`
coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
coq-tutorial
coq-tutorial
fjordbootcamp
フィヨルドブートキャンプ用です
Garrigue-lecture-2018_AW
ガリグ先生 2018年度後期・数理解析・計算機数学 II (同 概論II)
gohugo-theme-ananke
Ananke: A theme for Hugo Sites
hugo-scroll
📜 A Hugo theme for pretty, quick and simple single-page websites.
jsoo_sample
Sample projects using js_of_ocaml
lnbook
Mastering the Lightning Network (LN)
math-comp
Mathematical Components
mcb
Mathematical Components (the Book)
monae
Monadic effects and equational reasonig in Coq
ocaml-re
Pure OCaml regular expressions, with support for Perl and POSIX-style strings
opam-repository
Main public package repository for opam, the source package manager of OCaml.
waq
Yet another ActivityPub server implementation written in OCaml
Zarith
The Zarith library implements arithmetic and logical operations over arbitrary-precision integers and rational numbers. The implementation, based on GMP, is very efficient.