kik/ToyPr
Toy theorem prover
Public GitHub Catalog
Discovered Sep 24, 2026
kik / cpppeg
PEG parser library for C++
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.
#313793GitHub System ID
kikOrganization / User
PublicVisibility
ActiveCatalog Status
More from kik
kik/fca
NES emulator on GBA
kik/wiki.kik.io
http://wiki.kik.io
kik/CoqTools
Coq Tools