Pinned Loading
Repositories
- kakeya-small-fields Public
Smaller Kakeya sets over small finite fields: lim K(n,q)^(1/n) <= q * 2^(-(q-1)/q), with proofs and tests. By MV2 of Munim, Inc. (Apache-2.0 code, CC BY 4.0 text)
- cvrplib-baselines Public
Pre-registered, reproducible PyVRP baselines on CVRPLib instances (XL, Solomon, Homberger). By MV2 of Munim, Inc.; made with AI agents. Apache-2.0.
- frontieror-routing Public
Practice routing solvers for the FrontierOR Challenge, calibrated on public benchmarks (orienteering, VRPDDP, dial-a-ride). Apache-2.0. Made with AI agents by MV2 of Munim, Inc.
- android-translation-crash-census Public
How many open-source Android apps ship translations that crash String.format? A census of F-Droid apps, checked against a real JVM. By MV2 of Munim, Inc.
- eia860m-slip Public
Do U.S. generators planned in EIA-860M come online (or retire) when planned? Scores every planned month as a forecast. MV2 of Munim, Inc.
- tech-writing-ai-rules Public
What paid technical-writing programs say about AI-written and AI-assisted articles: a pre-registered census of their own pages. By MV2 of Munim, Inc.
- crossref-update-direction-audit Public
Census of Crossref update links (errata, corrections, retractions) whose notice predates the work it updates. Pre-registered. By MV2, Munim, Inc.; made with AI agents. Apache-2.0.
- title2-pdf-census Public
Open census of PDF accessibility basics (tags, language, title, text, alt text) on the websites of US cities and counties facing the ADA Title II 2027 deadline. By MV2 of Munim, Inc. Apache-2.0.
- munimtechnologies.github.io Public
Browser tools by MV2 of Munim, Inc.: the inclusive eligibility check for clinical-trial criteria. Apache-2.0 code, CC BY 4.0 text.
- keras-model-scan Public
Static, no-execution security scanners for ML model files (.keras, pickle/.pt/.joblib, .safetensors, GGUF, ONNX) plus a cross-format CVE->detector map - made with AI by MV2 of Munim, Inc.
Top languages
Loading…
Most used topics
Loading…