Built something? We create video reels & spotlights for GitHub projects.Promote your project →
Catalog / cacay / G4ip
Public GitHub Catalog Discovered Oct 2, 2026

cacay / G4ip

A theorem prover using G4ip

View repository on GitHub ↗ View creator profile Browse directory

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.

#25613901GitHub System ID
cacayOrganization / User
PublicVisibility
ActiveCatalog Status

More from cacay

↗

cacay/Mobot

The simplified code of a line following robot that won CMU's 2013 Mobot competition.

Discovered
↗

cacay/MemoryPool

An easy to use and efficient memory pool allocator written in C++.

Discovered
FOR MAINTAINERS

Built something? Put it in front of millions of developers.

We make a short reel about your project and post it across YouTube, Instagram, Threads, and X. Send a link, we do the rest.