☆58Apr 25, 2026Updated 6 months ago
Alternatives and similar repositories for lambench
Users that are interested in lambench are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆21Apr 6, 2026Updated 6 months ago
- A number guessing game with a p-adic twist.☆13Oct 13, 2023Updated 3 years ago
- 👾 experimenting with steganography, astronomy, and art: a quick-and-dirty proof-of-concept using images from the hubble space telescope☆21Aug 13, 2026Updated 2 months ago
- Homemade games played at home☆26Oct 18, 2026Updated last week
- Fork to fix some serialization issues.☆19Apr 12, 2026Updated 6 months ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- An AI assistant to prioritize security vulnerabilities☆14May 29, 2026Updated 5 months ago
- ☆13May 12, 2026Updated 5 months ago
- RIVES console emulator☆20Oct 14, 2026Updated 2 weeks ago
- Proof in Lean of Fermat Last Theorem for exponent 3☆40Jun 25, 2024Updated 2 years ago
- A swarm of LLM agents that will help you test, document, and productionize your code!☆20Updated this week
- Differentiable interface to Firedrake for JAX☆15Feb 28, 2021Updated 5 years ago
- A creature for every git worktree, living in your coding agent's status line. Deterministic species, rarity bands, and one view across ev…☆18Oct 20, 2026Updated last week
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Dec 7, 2019Updated 6 years ago
- ☆16Mar 5, 2024Updated 2 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.
- ☆14Aug 21, 2026Updated 2 months ago
- Unison syntax highlighting for VS code☆10Jul 13, 2022Updated 4 years ago
- 📄 Forgetting in Language Models: Capacity, Optimization, and Self-Generated Replay☆26Jul 17, 2026Updated 3 months ago
- Animation of Yves Lafont's Interaction Combinators☆26Jan 30, 2022Updated 4 years ago
- Bend's landing page☆18Sep 9, 2026Updated last month
- Pure Type Systems for Functional Programming☆11Jun 11, 2014Updated 12 years ago
- ☆25May 21, 2026Updated 5 months ago
- An IntelliJ plugin that adds Discord as a tool window☆10Apr 21, 2021Updated 5 years ago
- sorear's Metamath system engine☆14May 5, 2016Updated 10 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A bead-based workflow board for agents.☆15Oct 2, 2026Updated 3 weeks ago
- A naive attempt at generating better prompts for opencode using DSPy☆19Nov 29, 2025Updated 11 months ago
- Chrome extension that runs Playwright & Puppeteer client API entirely in-browser without Chrome DevTools Protocol with new snapshotForAI…☆24Oct 27, 2025Updated last year
- Ubuntu Bootc experiment with composefs-native backend☆21Jun 1, 2026Updated 4 months ago
- ☆12Jun 3, 2026Updated 4 months ago
- Refreshing automation for inductive equational proofs using e-graphs☆28Jul 7, 2024Updated 2 years ago
- A StableHLO analyzer in Lean☆24Oct 8, 2026Updated 3 weeks ago
- ☆14Apr 17, 2024Updated 2 years ago
- Lean specification of neural architectures with verified GPU codegen.☆46Updated this week
- 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.
- Kan: A browser extension for reading nLab☆34Oct 2, 2018Updated 8 years ago
- Fair Fun Fast Ledger in the browser - starting with the network using WebRTC data.☆20Apr 7, 2026Updated 6 months ago
- Client code for Yellowstone Whirligig.☆12Oct 21, 2026Updated last week
- Screen capturing with DXGI for Windows in Rust☆12Apr 7, 2026Updated 6 months ago
- the AutoDev Next with Compose UI and MCP control backend server.☆11Dec 2, 2025Updated 10 months ago
- Breaking the quadratic memory barrier in AI☆60Oct 13, 2026Updated 2 weeks ago
- 🎲 A powerful and simple-to-use guilded API wrapper made in Kotlin. Currently outdated.☆12Mar 5, 2023Updated 3 years ago