AOCL-Utils library to get CPU architecture, Cache information and CPU features flags etc.
☆20Sep 24, 2026Updated last month
Alternatives and similar repositories for aocl-utils
Users that are interested in aocl-utils are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A library of AMD optimized memory and string functions☆38Oct 21, 2026Updated last week
- A software library of lossless data compression methods tuned and optimized for AMD “Zen”-based CPUs☆45Oct 21, 2026Updated last week
- ☆33Updated this week
- ☆30Sep 29, 2026Updated last month
- A remote execution tool for nodes in cluster☆11Nov 10, 2024Updated last year
- 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.
- High-performance object-based library for DLA computations☆50Oct 22, 2026Updated last week
- AOCL-LibM☆135Oct 22, 2026Updated last week
- This repo contains college notes, assignments, labs etc related the university PU and TU.☆10Oct 20, 2026Updated last week
- TransferBench is a utility capable of benchmarking simultaneous copies between user-specified devices (CPUs/GPUs)☆80Updated this week
- leetcode solutions in Rust.☆22Jul 10, 2020Updated 6 years ago
- Fork of http://compcert.inria.fr/☆22Oct 30, 2014Updated 11 years ago
- Course material for "Automation of Logical Reasoning"☆10May 26, 2025Updated last year
- A coverage library for Chisel designs☆11Mar 12, 2020Updated 6 years ago
- Command Line Interface (CLI) developed using the Prime SDK to facilitate comprehensive testing of all REST API endpoints☆21Sep 14, 2026Updated last month
- 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.
- ☆14Aug 22, 2025Updated last year
- ☆45Jun 18, 2026Updated 4 months ago
- A DSL for formal verification of hardware and software systems using Rocq/Coq.☆12Updated this week
- Enhancing the convergence speed by 2x and improving the training success of Physics-Informed Neural Networks (PINNs).☆14Oct 14, 2024Updated 2 years ago
- This program aims to collect Linux system information including hostname, kernel version, uptime, RTC time, load average, CPU, memory, ne…☆39Oct 3, 2026Updated 3 weeks ago
- Advanced Reflection and Serialization Library in C++26♦️☆19May 6, 2026Updated 5 months ago
- Produces a serialized hardware report of the physical infrastructure for automation☆29Mar 25, 2026Updated 7 months ago
- Microbenchmarking experiments on Zen 2 machines☆22Jun 25, 2022Updated 4 years ago
- A fast sparse triangular solver compatible with SciPy.☆10Oct 10, 2026Updated 2 weeks 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.
- Sail x86 model automatically translated from the ACL2 model☆15Nov 29, 2024Updated last year
- Supplemental material for Capek, Lundgren, Gustafsson, Schab, and Jelinek, "Characteristic Mode Decomposition Using the Scattering Dyadic…☆12Jan 12, 2025Updated last year
- Unofficial specification for GtkWave's FST digital waveform file format.☆11Jan 23, 2026Updated 9 months ago
- AMD’s C++ library for accelerating tensor primitives☆49Oct 22, 2026Updated last week
- Medium Access Control layer of 802.15.4☆15Nov 14, 2014Updated 11 years ago
- Boost.Mustache☆10Jan 31, 2023Updated 3 years ago
- A view that allows iteration over a view, returning the index of each item along with each item☆13Jun 17, 2020Updated 6 years ago
- Paper: inexact GMRES with fast multipole method and low-p relaxation☆11Aug 23, 2023Updated 3 years ago
- A Lean-embedded framework to verify Verilog modules☆16Oct 6, 2026Updated 3 weeks ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Verified Verilog Equivalence checker, written and verified in Coq.☆14Oct 20, 2026Updated last week
- Distributed Directional Fast Multipole Method☆10May 29, 2014Updated 12 years ago
- MIDAS Public Release☆11Nov 27, 2018Updated 7 years ago
- An example that shows how to map a design to a custom cell library.☆16Mar 28, 2023Updated 3 years ago
- C++ helper functions to deserialize data from a buffer☆12Oct 10, 2023Updated 3 years ago
- C++ implementation of the algorithm in "Fast and Accurate Least-Mean-Squares Solvers", NIPS19☆11Mar 4, 2020Updated 6 years ago
- C++ genetic algorithms scientific library☆15Aug 12, 2023Updated 3 years ago