c-cube/unif-visitor
Playground for visitors on terms
Public GitHub Catalog
Discovered Sep 25, 2026
c-cube / IKSML
[toy] industrial-strength implementation of the SKI calculus, using XML
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#3385115GitHub System ID
c-cubeOrganization / User
PublicVisibility
ActiveCatalog Status
More from c-cube
c-cube/ppx_deriving_cconv
[deprecated] ppx_deriving instance for CConv encoders/decoders
c-cube/ocaml-git
Pure OCaml low-level git bindings
c-cube/ppx_deriving_yojson
A Yojson codec generator for OCaml >= 4.02.