paulcc/regexp_m17n
Public repository.
Public GitHub Catalog
Discovered Sep 24, 2026
paulcc / plastic
An implementation of Luo's Typed LF, with experimental facilities for coercive subtyping - will upload when I finish cleaning up the code...
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.
#530053GitHub System ID
paulccOrganization / User
PublicVisibility
ActiveCatalog Status
More from paulcc
paulcc/simple-resolution-prover
Public repository.
paulcc/argh
Ambiguous Ruby Grammar in Haskell
paulcc/fay
A proper subset of Haskell that compiles to JavaScript