A declarative framework for composable performance evaluation of system software.
☆24Jul 23, 2026Updated this week
Alternatives and similar repositories for benchkit
Users that are interested in benchkit 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 verified library of synchronization primitives and concurrent data structures☆43Mar 31, 2026Updated 3 months ago
- The source code of "Agents of Autonomy: A Systematic Study of Robotics on Modern Hardware" paper☆31Dec 18, 2023Updated 2 years ago
- A framework to make C memory safe☆13Sep 20, 2022Updated 3 years ago
- A verification tool for many memory models☆125Updated this week
- Pretty display on a timeline of CS conference lists cross-referenced with calls for papers from WikiCFP☆19Updated this week
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Python Notebooks for Python For R&D Video Series☆10Apr 24, 2025Updated last year
- ☆29Sep 5, 2025Updated 10 months ago
- my NixOS configuration☆15Nov 14, 2022Updated 3 years ago
- A simple voxel ray tracer, showing a technique of DDA + distance fields.☆15Jun 27, 2023Updated 3 years ago
- MV-RLU: Scaling Read-Log-Update with Multi-Versioning☆15Nov 8, 2021Updated 4 years ago
- The lazypoline syscall interposer☆30Jun 15, 2026Updated last month
- Generic model checker for concurrent C programs (mirror repository)☆206Apr 8, 2026Updated 3 months ago
- Fallible allocation support for Rust's Vec☆30Jun 11, 2026Updated last month
- An robust high-level Defer, RAII implementation for C89, automatic memory safety, smartly!☆22Feb 8, 2026Updated 5 months ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- A framework for lifting ARM32 to LLVM-IR and merging resulting code with LLVM-IR generated from source-code.☆12Oct 20, 2022Updated 3 years ago
- An advanced automated reasoning tool for memory consistency model specifications.☆25Dec 6, 2021Updated 4 years ago
- Symbolic debugger☆30Feb 2, 2026Updated 5 months ago
- A library for analyzing LLVM bitcode in Haskell☆43Oct 9, 2014Updated 11 years ago
- Official data release for FaceMap, to present in Siggraph Asia 2024☆13Nov 1, 2024Updated last year
- Tellusim Core SDK Tests Direct3D12, Direct3D11, Metal, Vulkan, OpenGL, OpenGLES, WebGL, WebGPU☆13Nov 11, 2025Updated 8 months ago
- This project demonstrates the use of GPU mesh shaders to enhance object surfaces in real-time. The application is written in C++ and GLSL…☆13May 12, 2025Updated last year
- A collection of dockerfiles☆14May 14, 2026Updated 2 months ago
- e186: A real-time rendering framework for OpenGL 4 and C++17☆12Mar 21, 2020Updated 6 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Repo for coordinating the creation, distribution, collection, and analysis of surveys for the Rust project.☆37Jul 8, 2026Updated 2 weeks ago
- StatisticsView IntelliJ plugin enables logging IDE code browsing activities and shows aggregated statistical information (e.g. accumulate…☆12Aug 16, 2023Updated 2 years ago
- ☆13Oct 25, 2024Updated last year
- Source Code for Optimised Path Space Regularisation (EGSR 2021)☆11Jun 10, 2023Updated 3 years ago
- Hardware-centric Linux kernel debloater☆15Nov 28, 2023Updated 2 years ago
- A port of FreeRTOS to the nrf51. Includes blinky demo.☆14Sep 7, 2014Updated 11 years ago
- ☆12Jun 14, 2021Updated 5 years ago
- ☆30Updated this week
- Framework for simulating deficiencies and other aspects of the human visual system☆13Updated this week
- 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.
- binding for VulkanMemoryAllocator c interface☆28Sep 15, 2025Updated 10 months ago
- A tool for estimating a system's information leakage via Machine Learning☆10Jun 28, 2024Updated 2 years ago
- Some C++ code for basic Molecular Dynamics simulations.☆12Sep 12, 2018Updated 7 years ago
- ☆18Jul 17, 2023Updated 3 years ago
- Billy benchmarks for VictoriaMetrics☆20Apr 28, 2020Updated 6 years ago
- An application to visualise the ray tracing process used in computer graphics☆22Jan 13, 2025Updated last year
- RTOS for Mindstorms EV3 w/ TOPPERS/HRP3 Kernel☆13Jun 24, 2022Updated 4 years ago