☆14Aug 3, 2026Updated 3 months ago
Alternatives and similar repositories for pmpp-hard
Users that are interested in pmpp-hard are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Flash-Flash KDA: H100-optimized Flash Kimi Delta Attention kernels☆24Jul 24, 2026Updated 3 months ago
- ☆16Feb 5, 2026Updated 9 months ago
- ☆10Oct 5, 2012Updated 14 years ago
- Aggregate IPv4 and/or IPv6 prefixes into their minimal representation☆10Dec 12, 2023Updated 2 years ago
- Crowdsources the entries from the Github contest and generates a new entry☆15Aug 28, 2009Updated 17 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- ☆16Jun 28, 2026Updated 4 months ago
- Lean formalization of the smooth and topological Poincare conjectures following Morgan and Tian.☆15Oct 5, 2026Updated last month
- ☆13Oct 3, 2026Updated last month
- A Lean Formalization Benchmark for Advanced Mathematics☆14Nov 2, 2026Updated last week
- SGLang 0.5.21 for Qwen3.8-Flash-Next on one RTX PRO 6000: 264.5 tok/s decode, W4A16 routed experts (KLD 0.0111 vs BF16), 262K context, ex…☆18Oct 26, 2026Updated 2 weeks ago
- Autoformalization of Baek's solution to the moving sofa problem: the Gerver sofa is optimal☆13Sep 22, 2026Updated last month
- A tiny C++ tasks library.☆14May 2, 2019Updated 7 years ago
- Did your change make your LLM server faster? Measure it: faster, slower, or too close to call. Linux and Apple Silicon.☆16Nov 3, 2026Updated last week
- ☆12Aug 19, 2026Updated 2 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Various tools to aid with scambaiting☆12Dec 2, 2018Updated 7 years ago
- A training codebase for Zeroth-Order Optimization☆14Nov 4, 2026Updated last week
- How fast can you write a Google Protocol Buffer (signed) VarInt?☆13May 9, 2021Updated 5 years ago
- Ask your friends' local agents questions — every reply approved by its human in Discord. Ephemeral, CLI-first.☆16Jul 21, 2026Updated 3 months ago
- Deploy an AI chatbot in one click from your terminal☆10Aug 24, 2025Updated last year
- wip☆11Jan 9, 2026Updated 10 months ago
- Python implementation of the NEAT neuroevolution algorithm☆12Dec 13, 2019Updated 6 years ago
- Keep 10% of a model, match it, and let it keep learning, without training its weights.☆16Updated this week
- ☆23Oct 18, 2026Updated 3 weeks ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆14Jun 16, 2026Updated 4 months ago
- Some microbenchmarks and design docs before commencement☆11Feb 1, 2021Updated 5 years ago
- Deep Learning library for the Julia language☆16Jul 13, 2015Updated 11 years ago
- CLI to quickly create and read Notion pages from the terminal☆12Mar 14, 2026Updated 7 months ago
- App for voting on GitHub issues☆16Sep 14, 2016Updated 10 years ago
- ☆16Apr 28, 2026Updated 6 months ago
- Plug-and-play PyTorch transformer research framework. Swap attention, FFN, norm, positional, connection, projection, optimizer, scheduler…☆18Oct 25, 2026Updated 2 weeks ago
- An R interface to LSEG Workspace, Refinitiv Eikon, and Refinitiv DataStream☆12Oct 19, 2026Updated 3 weeks ago
- Linux USB ID Repository (master still in CVS at SourceForge.net)☆17Jun 26, 2026Updated 4 months ago
- 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.
- SnapKeyPlus is SnapKey, but with the pull requests people actually want!☆12Jul 24, 2025Updated last year
- A better import/module system for Julia.☆19Jan 6, 2021Updated 5 years ago
- AI Swarm Agent Launcher - A powerful CLI tool for launching and coordinating AI agents with specialized personas using git worktrees☆16Oct 28, 2026Updated 2 weeks ago
- Hybrid lexical + AST graph code search☆14Oct 30, 2026Updated last week
- Tools for writing good AI generated papers☆17Oct 24, 2026Updated 2 weeks ago
- Review your PRs with Agentic AI (powered by @run-llama and Gemini 3)☆11Nov 18, 2025Updated 11 months ago
- MacOS X screensaver port of Kent Rosenkoetter's clone of SGI's Electropaint screensaver☆16Apr 18, 2022Updated 4 years ago
Are these results useful?