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
creative-scala-template
Template for those following Creative Scala
docker-fialyzer
Docker for fialyzer
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.
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.
pfds_coq
Coq proofs for PFDS (Purely Functional Data Structures)
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.