lpw25/girards-paradox
A "implementation" of Girard's paradox in OCaml
Public GitHub Catalog
Discovered Sep 28, 2026
lpw25 / ocaml-with-pp
OCaml driver with pre-linked pp options
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.
#12701018GitHub System ID
lpw25Organization / User
PublicVisibility
ActiveCatalog Status
More from lpw25
lpw25/compiler_eq
Tool for comparing OCaml compilers
lpw25/codoc
OCaml documentation and code maintenance
lpw25/ocaml-modular-implicits
OCaml extended with modular implicits