Popular repositories Loading

1. nodeimu nodeimu Public

   C++ 24 13

2. jair_paper jair_paper Public

   TeX 2 3

3. qminer qminer Public

   Forked from qminer/qminer

   Analytic platform for real-time large-scale streams containing structured and unstructured data.

   C++ 1 1

4. nipsQMiner nipsQMiner Public

   nips open source qminer paper

   TeX 1 2

5. focus focus Public

   chrome extension for digital health (block sites you don't want to visit)

   HTML 1

6. dafny-verify-browser dafny-verify-browser Public

   dafny verify running entirely in the browser — real Dafny 4.11 + Boogie compiled to .NET WebAssembly, driving the official Z3 WASM build. No server, no native Z3, source never leaves the page. Buil…

   JavaScript 1