nilehmann/coquille
Interactive theorem proving with Coq in vim.
Public GitHub Catalog
Discovered Sep 27, 2026
nilehmann / Tarea-2-Compiladores
Public repository discovered through GitHub real-time crawl.
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.
#10406913GitHub System ID
nilehmannOrganization / User
PublicVisibility
ActiveCatalog Status
More from nilehmann
nilehmann/cms
Contest Management System
nilehmann/k2tdb
Regular Path Queries for Graph Databases using k2trees.
nilehmann/libcds2
Compact Data Structures Library