A research prototype for zero-knowledge proofs of AI inference. Not maintained.
☆501Oct 30, 2026Updated this week
Alternatives and similar repositories for FlashProve
Users that are interested in FlashProve are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- reproducing the flapping airplanes megakernel, in collab with magni☆107Updated this week
- A formally-verified compiler IR☆10May 5, 2026Updated 5 months ago
- ☆17Jun 15, 2026Updated 4 months ago
- Code for Latent Sparse Attention: Towards Subquadratic Ultra-Long Context Attention☆314Updated this week
- HOA (Humanfia Olympiad Agents): PutnamBench and olympiad problems (IMO, IOI, IPhO, IChO, IBO) solved by agents, checked in Lean 4 where p…☆19Oct 19, 2026Updated 2 weeks ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Build world models from scratch — from perception and latent dynamics to planning, JEPA, VLA, and 3D/4D intelligence.☆32Sep 3, 2026Updated 2 months ago
- ☆25Oct 21, 2026Updated 2 weeks ago
- DeepSeek Harness (DSH) 跨会话记忆插件：对话模型边干边记的 Markdown 项目记忆，支持专题文件渐进式披露、可选后台静默蒸馏、按项目隔离与热更新设置面板。机制对齐 Claude Code auto memory。 | Agent-maintaine…☆17Sep 30, 2026Updated last month
- Always-on AI Gods that work inside Claude Code, and you can talk to them. Proactive workers, computer use (browser, terminal & files), re…☆49Updated this week
- Fast dLLM pretraining attention implementation☆15Oct 14, 2026Updated 3 weeks ago
- A Triton-only attention backend for vLLM☆28Jul 14, 2026Updated 3 months ago
- ☆15Jul 10, 2026Updated 3 months ago
- FLA but cuTile☆27Apr 17, 2026Updated 6 months ago
- The Metal driver of hakios, in C++: Metal's command model on the Adreno through the kernel's GPU driver☆36Updated this week
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Automatic formal verification for warp-specialized GPU kernels.☆101Updated this week
- ☆28May 9, 2025Updated last year
- ☆32Jul 2, 2025Updated last year
- Auto Ontology is a Python framework for building semantic, graph-based reasoning layers over data. It enables deterministic query generat…☆2,191Updated this week
- C23 Checked Arithmetic☆10Nov 14, 2025Updated 11 months ago
- https://github.com/gpu-mode/reference-kernels☆27Jul 4, 2026Updated 4 months ago
- A modular full-system emulator written in Rust☆38Jul 24, 2026Updated 3 months ago
- The game engine built for AI agents. Games are JSON, errors come with fixes, and agents play-test their own games headlessly.☆21Updated this week
- Code for the paper ReplaySSM: Cache SSM Inputs, Not State☆65Oct 13, 2026Updated 3 weeks ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Scaling to Tens of Thousands of Test-Time Iterations with Loop-Native Attention Residuals☆12Oct 21, 2026Updated 2 weeks ago
- A modern causal profiler built leveraging Linux tracepoints☆12Updated this week
- A Triton JIT runtime and ffi provider in C++☆41Updated this week
- NVIDIA Switch Infrastructure - Config Manager☆43Updated this week
- iMLBench is a machine learning benchmark suite targeting CPU-GPU integrated architectures.☆11May 29, 2021Updated 5 years ago
- Optimized cloudscape renderer using volumetric path tracing.☆11Feb 13, 2021Updated 5 years ago
- HackerTube for Android TV: the videos Hacker News recommends, played in the YouTube app on your TV.☆67Updated this week
- Autoresearch agents that improve your benchmark: independent re-measurement, enforced budgets, results as pull requests☆39Updated this week
- Unity 프로젝트를 Apps in Toss 미니앱으로 변환하고 배포하는 Unity SDK☆15Updated this week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆15Sep 16, 2026Updated last month
- A flexible DNS server in Rust.☆11Sep 15, 2026Updated last month
- Langevin Flow Maps.☆19Oct 6, 2026Updated 3 weeks ago
- Institutional-quality equity research reports for NSE/BSE stocks. Generate comprehensive Buy/Sell/Hold analysis with zero hallucination u…☆29Mar 5, 2026Updated 7 months ago
- ☆24Sep 23, 2026Updated last month
- ☆17Mar 26, 2025Updated last year
- Codes associated with Warne, Baker and Simpson (2018) Implementations of simulation and inference algorithms for stochastic reaction netw…☆10Apr 13, 2021Updated 5 years ago