Repo for Performance Interfaces for Hardware Accelerators.
☆21Aug 19, 2025Updated last year
Alternatives and similar repositories for lpn
Users that are interested in lpn are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Repository for the Performance Interface eXtractor (PIX) tool presented at NSDI'22.☆18Jul 14, 2022Updated 4 years ago
- ☆13Oct 25, 2026Updated last week
- HazardFlow: Modular Hardware Design of Pipelined Circuits with Hazards IMPORTANT: DON'T FORK!☆21Dec 5, 2024Updated last year
- ☆14May 7, 2026Updated 5 months ago
- Code for ASPLOS 2026 paper: "Detecting Inconsistencies in ARM CCA’s Formally Verified Specification"☆13Jan 13, 2026Updated 9 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A virtio layer for xv6☆12Apr 16, 2019Updated 7 years ago
- Instruction decoder microbenchmark suite☆11Oct 31, 2017Updated 9 years ago
- A Hardware Pipeline Description Language☆60Jul 12, 2025Updated last year
- Examples of refining software and circuit implementations from their specifications in the style of the Bird-Meertens formalism.☆18Oct 15, 2026Updated 2 weeks ago
- ☆40Updated this week
- A RISC-V TestRIG Verification Engine based on QuickCheck☆12Oct 5, 2026Updated 3 weeks ago
- Bᴛᴏʀ2MLIR: A Format and Toolchain for Hardware Verification☆20Jul 8, 2026Updated 3 months ago
- A programming language for writing constraint-based integrated circuit layout generators☆17Updated this week
- ☆12Jan 12, 2026Updated 9 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.
- The Next-gen Language & Compiler Powering Efficient Hardware Design☆41Jan 16, 2025Updated last year
- RobotEvents v2 API Module☆18Jun 8, 2025Updated last year
- Code for OSDI'24 Paper: IntOS: Persistent Embedded Operating System and Language Support for Multi-threaded Intermittent Computing☆13Apr 25, 2024Updated 2 years ago
- BS3: Block device in S3☆13Apr 19, 2022Updated 4 years ago
- Code for reproducing results for SOSP paper Bagpipe☆12Oct 20, 2023Updated 3 years ago
- ☆12Sep 10, 2021Updated 5 years ago
- Berkeley OS Prelim Reading Notes☆16Sep 20, 2023Updated 3 years ago
- A tool for formally verifying constant-time software against hardware 🕰️☆17Feb 1, 2025Updated last year
- SimCommand is a library for writing high-performance RTL testbenches with simulation threads in Scala using chiseltest.☆16Aug 30, 2023Updated 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.
- [ASPLOS'26] HILOS: A Cost-Effective Near-Storage Processing Solution for Offline Inference of Long-Context LLMs☆22Jan 18, 2026Updated 9 months ago
- Hybrid Threading Tool Set☆15Sep 24, 2020Updated 6 years ago
- MAERI public release☆33Sep 8, 2021Updated 5 years ago
- Ahead-of-time analysis of shell program effects☆21Oct 5, 2026Updated 3 weeks ago
- An example app for BPF CO-RE and CI settings with GitHub Actions☆14Aug 23, 2022Updated 4 years ago
- CN separation logic refinement type system for C☆63Updated this week
- Simple PyTorch profiler that combines DeepSpeed Flops Profiler and TorchInfo☆12Feb 12, 2023Updated 3 years ago
- ordspecsim: The Swarm architecture simulator☆26Feb 15, 2023Updated 3 years ago
- Material for the class on verification of distributed and asynchronous systems, developed by Jon Howell and Manos Kapritsos☆13Feb 7, 2025Updated last year
- 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.
- Code artifact of the papers "A Simpler and Faster NIC Driver Model for Network Functions" (OSDI 2020) and "Safe low-level code without ov…☆66Apr 14, 2023Updated 3 years ago
- ☆16Oct 25, 2022Updated 4 years ago
- Bluespec H.264 Decoder☆13Jul 17, 2014Updated 12 years ago
- Verified graph rewriting (for dataflow circuits).☆29Updated this week
- [ASPLOS 2026, Best Paper Honorable Mention] Highly Automated Verification of Security Properties for Unmodified System Software☆21Oct 21, 2026Updated last week
- BUSE: Block device in user space☆16Apr 19, 2022Updated 4 years ago
- ☆14Sep 13, 2026Updated last month