TACLe Benchmarks
☆59Oct 25, 2025Updated 9 months ago
Alternatives and similar repositories for tacle-bench
Users that are interested in tacle-bench are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Please see the paper "COLORIS: A Dynamic Cache Partitioning System Using Page Coloring" for details.☆18May 9, 2017Updated 9 years ago
- A collection of benchmarks and tests for the Patmos processor and compiler☆19Dec 2, 2024Updated last year
- A set of synthetic benchmarks used in IEEE RTAS 2016 paper by Prathap et al.,☆19Mar 31, 2026Updated 4 months ago
- DRAM Bank-Aware Kernel Memory Allocator☆48Apr 5, 2026Updated 4 months ago
- ☆11Mar 3, 2022Updated 4 years 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.
- ☆13Sep 30, 2020Updated 5 years ago
- R package providing Asio C++ library header files☆13Jul 27, 2026Updated 3 weeks ago
- AMD Software Development Kit 2.5 Sources☆10Feb 29, 2016Updated 10 years ago
- Compositional Performance Analysis in Python☆23Jan 8, 2021Updated 5 years ago
- Simple, straightforward MSP430 disassembler and assembler in Python☆15Jul 5, 2023Updated 3 years ago
- IBM Platform-Independent Software Analysis☆15Mar 12, 2018Updated 8 years ago
- Seal5 - Semi-automated LLVM Support for RISC-V Extensions including Autovectorization☆25Aug 11, 2026Updated last week
- A set of benchmarks chosen to show the energy consumption of embedded devices under different conditions☆72Mar 30, 2023Updated 3 years ago
- Kernel isolation tester.☆18Oct 20, 2022Updated 3 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.
- Memory Bandwidth Reservation System for Efficient Performance Isolation in Multi-core Processors☆59Feb 20, 2026Updated 5 months ago
- GoNative project: formal machines models in Coq☆37Aug 3, 2017Updated 9 years ago
- A system for programming formally-verified loop transformations.☆16Jan 31, 2019Updated 7 years ago
- ☆12Jun 22, 2023Updated 3 years ago
- A framework for finding completeness bugs in optimizing compiler toolchains.☆23Mar 4, 2024Updated 2 years ago
- ☆21May 20, 2022Updated 4 years ago
- An open source framework for modular, extensible, experimental, network stack implementation.☆18Oct 23, 2014Updated 11 years ago
- ☆56Jun 26, 2015Updated 11 years ago
- A RISC-V assembler library for Scala/Chisel HDL projects☆16Updated this week
- 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.
- zero-riscy CPU Core☆19Jun 10, 2018Updated 8 years ago
- Skyfire is a Model-Based Testing (MBT) tool that generates Cucumber test scenarios from a UML behavioral diagram.☆14Sep 27, 2016Updated 9 years ago
- Automatic inference of a formal specification of the x86_64 instruction set☆72Apr 11, 2016Updated 10 years ago
- SysML Model for MTConnect☆13Feb 27, 2026Updated 5 months ago
- ASIO Cooperative Task for await-based coroutine☆16Sep 8, 2018Updated 7 years ago
- reverse engineering branch predictors☆18Feb 28, 2016Updated 10 years ago
- Prototype system for the paper "OAT: Attesting Operation Integrity of Embedded Devices"(Oakland'20)☆16Nov 10, 2020Updated 5 years ago
- A design for TinyTapeout☆19Sep 23, 2022Updated 3 years ago
- CGRA-Flow is an integrated framework for CGRA compilation, exploration, synthesis, and development.☆164Jun 17, 2026Updated 2 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 C library for tracking metrics☆17Jul 28, 2022Updated 4 years ago
- C++ standard proposals☆16Mar 24, 2026Updated 4 months ago
- A Retargettable CFI implementation in LLVM. Authors: Joseph Battaglia and Oulin Yao☆19May 8, 2015Updated 11 years ago
- Library for manipulating gdb in batch mode☆21Aug 9, 2026Updated last week
- Hardware performance counter tool for Windows OS☆18Sep 4, 2018Updated 7 years ago
- Barely working LLVM mode for AFL on OSX☆20Dec 22, 2016Updated 9 years ago
- Minimal OpenMSP430 hardware extensions for isolation and attestation☆24May 19, 2025Updated last year