blazs/qminer
Analytic platform for real-time large-scale streams containing structured and unstructured data.
Guide for writing C++ node.js extensions
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
Analytic platform for real-time large-scale streams containing structured and unstructured data.
Coq related material for the Logic in computer science course
Simple algorithm for generating k-subsets of an n-set
Logika v racunalnistvu --- koda iz vaj.