☆58Apr 25, 2026Updated 5 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
- ☆124May 30, 2026Updated 4 months ago
- A number guessing game with a p-adic twist.☆13Oct 13, 2023Updated 2 years ago
- ⚛ Light-weight Preact SVG icon wrapper☆12Dec 4, 2024Updated last year
- Zig compiler compiled to WASM☆20Apr 17, 2024Updated 2 years 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.
- My reasearch of losslessly compressing LLM weights.☆65Jul 23, 2026Updated 2 months ago
- RIVES console emulator☆20Sep 30, 2025Updated last year
- 📄 Forgetting in Language Models: Capacity, Optimization, and Self-Generated Replay☆25Jul 17, 2026Updated 2 months ago
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Dec 7, 2019Updated 6 years ago
- ☆18Updated this week
- Unison syntax highlighting for VS code☆10Jul 13, 2022Updated 4 years ago
- Fair Fun Fast Ledger in the browser - starting with the network using WebRTC data.☆20Apr 7, 2026Updated 6 months ago
- sorear's Metamath system engine☆14May 5, 2016Updated 10 years ago
- Client code for Yellowstone Whirligig.☆12Sep 30, 2026Updated last week
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Library for proving propositions quantified over finite sets☆15Sep 21, 2022Updated 4 years ago
- Pure Type Systems for Functional Programming☆11Jun 11, 2014Updated 12 years ago
- Я - extremely composable embeddable programming language☆125Sep 11, 2026Updated 3 weeks ago
- Some basic tests to compare the performance of an executable on x86 vs x64☆19Apr 22, 2026Updated 5 months ago
- vibecoding, but correct and safe and secure and☆27Apr 22, 2026Updated 5 months ago
- A Python module for generating fast bilinear algorithms for different convolution algorithms☆16Feb 29, 2024Updated 2 years ago
- Experimental rasterization engine, by PhET Interactive Simulations☆15Mar 31, 2026Updated 6 months ago
- A boilerplate web app using axum, htmx, and tera (for templating). Demonstrates how these technologies can be used in tandem.☆15Sep 7, 2023Updated 3 years ago
- mdbook typst preprocessor☆17Sep 14, 2026Updated 3 weeks ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Dafny verifies proofs; claimcheck confirms intent.☆31Jul 5, 2026Updated 3 months ago
- An agda2hs-compatible library for well-scoped syntax☆11Aug 26, 2026Updated last month
- Basic Unicode support for Lean 4☆16Updated this week
- ☆18Feb 14, 2024Updated 2 years ago
- My personal Tinkoff Investment portfolio optimizer☆12Dec 29, 2021Updated 4 years ago
- A simple and fast text editor☆16Jun 3, 2026Updated 4 months ago
- This repository hosts the official policy documentation and public communications for the Apple Root Program. It serves as the authoritat…☆35Aug 4, 2026Updated 2 months ago
- Unison base libraries☆25Sep 25, 2025Updated last year
- lucid + htmx = lucid-htmx☆19Jul 31, 2024Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- a datastructure for scalable combinatorial syntax☆25Jul 23, 2026Updated 2 months ago
- gallina frontend for CompCert☆19Jul 6, 2019Updated 7 years ago
- Otonomos proposal for how The DAO/DAOs can hold stakes in projects, digital or real-world☆16May 27, 2016Updated 10 years ago
- [DEPRECATED] A wrapper library around the Ledger line of devices that attempts to simplify usage and handle various failure modes/problem…☆14Jul 5, 2019Updated 7 years ago
- 📺 Installs packages and automatically finds best Typescript typings☆20Nov 17, 2017Updated 8 years ago
- A Galilean revolution for computing: Unboundedly scalable reliability and efficiency☆17Aug 6, 2023Updated 3 years ago
- This project is a modernized reimplementation of the original Speck molecule renderer created by Rye Terrell.☆21Feb 22, 2026Updated 7 months ago