nilehmann/coquille
Interactive theorem proving with Coq in vim.
Public GitHub Catalog
Discovered Sep 30, 2026
nilehmann / libk2tree
k2tree implementation
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.
#17864392GitHub 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