nilehmann/coquille
Interactive theorem proving with Coq in vim.
Public GitHub Catalog
Discovered Sep 30, 2026
nilehmann / popcorn-app
An experiment using the peerflix module of nodejs and connecting a bunch of APIs.
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.
#17864648GitHub 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