keigoi/async_session
Session-type implementation in OCaml
Public GitHub Catalog
Discovered Sep 26, 2026
keigoi / coq4ios
moved to https://github.com/keigoi/Coq4iOS2
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.
#8097219GitHub System ID
keigoiOrganization / User
PublicVisibility
ActiveCatalog Status
More from keigoi
keigoi/orm
The ORM package for FuelPHP
keigoi/ocaml
OCaml on iOS http://psellos.com/ocaml/ upgraded to OCaml 4.00.1 and fixed to work with the latest iOS SDK 6.1
keigoi/lzmaSDK
lzmaSDK is an iOS port of the decoding logic from the LZMA SDK provided with 7zip