☆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:
- ☆21Apr 6, 2026Updated 4 months ago
- ☆116May 30, 2026Updated 3 months ago
- A number guessing game with a p-adic twist.☆12Oct 13, 2023Updated 2 years ago
- A local-first web search agent☆30Jun 20, 2026Updated 2 months ago
- Tensor Compute Primitives: Mid-level Intermediate Representation for Machine Learning Programs☆14Jun 10, 2025Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Lean specification of neural architectures with verified GPU codegen.☆30Updated this week
- ⚛ Light-weight Preact SVG icon wrapper☆12Dec 4, 2024Updated last year
- Zig compiler compiled to WASM☆20Apr 17, 2024Updated 2 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 weeks ago
- Differentiable interface to Firedrake for JAX☆15Feb 28, 2021Updated 5 years ago
- My reasearch of losslessly compressing LLM weights.☆63Jul 23, 2026Updated last month
- Animation of Yves Lafont's Interaction Combinators☆24Jan 30, 2022Updated 4 years ago
- A symbolic debugger for C/C++ (via LLVM), machine code, and JVM programs☆20Jan 14, 2021Updated 5 years ago
- RisingWave MCP Server.☆17May 20, 2026Updated 3 months 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.
- A naive attempt at generating better prompts for opencode using DSPy☆17Nov 29, 2025Updated 9 months ago
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Dec 7, 2019Updated 6 years ago
- ☆24May 21, 2026Updated 3 months ago
- Unison syntax highlighting for VS code☆10Jul 13, 2022Updated 4 years ago
- Refreshing automation for inductive equational proofs using e-graphs☆28Jul 7, 2024Updated 2 years ago
- sorear's Metamath system engine☆14May 5, 2016Updated 10 years ago
- Content-addressable memory system based on projective geometry (Schubert calculus on Grassmannian G(2,4))☆16Mar 24, 2026Updated 5 months ago
- Library for proving propositions quantified over finite sets☆14Sep 21, 2022Updated 3 years ago
- Solutions to Advent of Code 2021 in APL☆11Dec 1, 2022Updated 3 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.
- Я - extremely composable embeddable programming language☆123Jul 27, 2026Updated last month
- ☆35Aug 20, 2026Updated last week
- vibecoding, but correct and safe and secure and☆25Apr 22, 2026Updated 4 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☆14Mar 31, 2026Updated 5 months ago
- Eurostat Big Data Hackathon 2021☆15Jan 15, 2026Updated 7 months ago
- mdbook typst preprocessor☆17Updated this week
- Batteries included command line interfaces.☆22Jul 18, 2023Updated 3 years ago
- Kubeconfig Generator is a tool to generate kubeconfig.☆12Jun 28, 2019Updated 7 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.
- Dafny verifies proofs; claimcheck confirms intent.☆29Jul 5, 2026Updated last month
- Fast caclulation of the coordinates of the nth point of the Hilbert curve☆16Jan 31, 2019Updated 7 years ago
- A simple and fast text editor☆16Jun 3, 2026Updated 2 months ago
- This repository hosts the official policy documentation and public communications for the Apple Root Program. It serves as the authoritat…☆23Aug 4, 2026Updated 3 weeks ago
- DeepDream for video with temporal consistency. Features RAFT optical flow estimation and occlusion masking to prevent ghosting. A PyTorch…☆62Jul 2, 2026Updated last month
- lucid + htmx = lucid-htmx☆19Jul 31, 2024Updated 2 years ago
- Nucleus is a modular Rust library for building advanced local AI tools and applications, built-in RAG for private documents, and an exten…☆15Jul 1, 2026Updated last month