☆58Apr 25, 2026Updated 4 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:
- ☆121May 30, 2026Updated 3 months ago
- ☆10Aug 20, 2024Updated 2 years ago
- ⚛ Light-weight Preact SVG icon wrapper☆12Dec 4, 2024Updated last year
- Fake genomes, fake sequencing, real insights.☆13Sep 4, 2021Updated 5 years ago
- Julia tools for reading Crystallographic Information Framework (CIF) files and dictionaries☆15Apr 10, 2026Updated 5 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.
- A Rust doubly-linked intrusive list with Miri tests☆12May 4, 2024Updated 2 years ago
- Fork to fix some serialization issues.☆19Apr 12, 2026Updated 5 months ago
- Differentiable interface to Firedrake for JAX☆15Feb 28, 2021Updated 5 years ago
- ☆18Mar 13, 2026Updated 6 months ago
- My reasearch of losslessly compressing LLM weights.☆64Jul 23, 2026Updated last month
- Animation of Yves Lafont's Interaction Combinators☆24Jan 30, 2022Updated 4 years ago
- Simple JavaScript application for learning Morse☆13Jun 25, 2025Updated last year
- A fork from checkinstall/installwatch☆17Aug 10, 2024Updated 2 years ago
- Unison syntax highlighting for VS code☆10Jul 13, 2022Updated 4 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Virtual sounds for your keystrokes. Compatible with every OS.☆11Apr 3, 2023Updated 3 years ago
- Fair Fun Fast Ledger in the browser - starting with the network using WebRTC data.☆20Apr 7, 2026Updated 5 months ago
- Refreshing automation for inductive equational proofs using e-graphs☆28Jul 7, 2024Updated 2 years ago
- Julia interface to the 🤗 Hub☆19Updated this week
- a mixed-precision gemm with quantize and reorder kernel.☆13Jul 22, 2025Updated last year
- ☆39Apr 15, 2026Updated 5 months ago
- To hell with parentheses!☆17Nov 24, 2025Updated 9 months ago
- Solutions to Advent of Code 2021 in APL☆11Dec 1, 2022Updated 3 years ago
- Я - extremely composable embeddable programming language☆124Sep 11, 2026Updated last week
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- ☆20Nov 24, 2025Updated 9 months ago
- Δ-Nets: Interaction-Based System for Optimal Parallel λ-Reduction☆57Jul 22, 2026Updated last month
- vibecoding, but correct and safe and secure and☆25Apr 22, 2026Updated 4 months ago
- Back to the stone age!☆24Jun 22, 2026Updated 2 months ago
- Rust widget toolkit built on Reclutch☆11Mar 25, 2020Updated 6 years ago
- Dafny verifies proofs; claimcheck confirms intent.☆29Jul 5, 2026Updated 2 months ago
- Basic Unicode support for Lean 4☆16Updated this week
- Read, write and manipulate atomic systems in PDB and mmCIF formats☆21Updated this week
- for further development☆12Mar 16, 2026Updated 6 months ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Unison base libraries☆25Sep 25, 2025Updated 11 months ago
- A framework for clean, testable, and high-performance CUDA kernels.☆22Sep 23, 2025Updated 11 months ago
- Fun, interesting, and thought-provoking examples of relational Scheme interpreters at work☆14Mar 6, 2015Updated 11 years ago
- Brings OpenCode into Minecraft singleplayer mode. Vibecode while you play MC.☆44Jan 6, 2026Updated 8 months ago
- a datastructure for scalable combinatorial syntax☆25Jul 23, 2026Updated last month
- Efficient types and methods for K-mer biosequences☆31Sep 3, 2026Updated 2 weeks ago
- ☆16Jan 3, 2025Updated last year