blazs/lvrcoq
Coq izvorna koda za LVR.
Public GitHub Catalog
Discovered Oct 2, 2026
blazs / node
evented I/O for v8 javascript
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.
#24226425GitHub System ID
blazsOrganization / User
PublicVisibility
ActiveCatalog Status
More from blazs
blazs/node-cpp-modules
Guide for writing C++ node.js extensions
blazs/qminer
Analytic platform for real-time large-scale streams containing structured and unstructured data.
blazs/lvr-coq
Coq related material for the Logic in computer science course