Pinned Loading
Repositories
- px4-log-health Public
Checks a PX4 flight log against Flight Review's own limits (vibration, clipping, GPS jamming/spoofing, battery, failsafe, motor saturation), plus a pre-registered fleet study of public PX4 logs. By MV2 of Munim, Inc.
- game-jam-ai-rules Public
An open, quote-backed dataset of what itch.io game jams say about AI-made work. By MV2 of Munim, Inc. Data CC BY 4.0.
- 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.
- formal-math-bounties Public
Sourced guide to prizes, bounties, registries and competitions for Lean-verified mathematics. By MV2 of Munim, Inc.
- doe-202c-orders Public
Agent skill + offline lookup of every DOE Federal Power Act 202(c) emergency order (2025-2026): which plants are under order, expiry dates, renewals, MW. Apache-2.0. Made with AI agents.
- bar-ai-guidance Public
Verified primary-source index of what US bars and courts have told lawyers about generative AI: one JSON file, a link to the issuing body for every row, CC BY 4.0. By MV2 of Munim, Inc.
- advisory-import-census Public
First public census and pre-registered study of why many maintainer-published GitHub security advisories for self-hosted apps (AI/ML tools and beyond) never reach the global GitHub Advisory Database, so they stay invisible to Dependabot and OSV-based scanners. Reproducible script + CC BY 4.0 dataset.
- 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.
- 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.
Top languages
Loading…
Most used topics
Loading…