yoshihiro503/coqdoc_ja_sample
A sample project generating a Japanese coqdoc PDF document
Public GitHub Catalog
Discovered Sep 24, 2026
yoshihiro503 / 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.
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#578906GitHub System ID
yoshihiro503Organization / User
PublicVisibility
ActiveCatalog Status
More from yoshihiro503
yoshihiro503/ocamlAda
Ada95 parser in ocaml
yoshihiro503/coqio
Coq IO
yoshihiro503/coqQuickCheck
QuickCheck for Coq