High fidelity benchmark runner
☆91Jul 28, 2021Updated 4 years ago
Alternatives and similar repositories for krun
Users that are interested in krun are comparing it to the libraries listed below
Sorting:
- Execute and document benchmarks reproducibly.☆97Jul 7, 2025Updated 7 months ago
- ReBenchDB records benchmark results and provides customizable reporting to track and analyze run-time performance of software programs.☆18Jan 11, 2026Updated last month
- ☆12Jun 25, 2021Updated 4 years ago
- link a linux ELF .so library into memory with python and call functions in it, even if you're not on linux☆10Feb 5, 2020Updated 6 years ago
- A monolithic index that supports worst-case optimal joins (WCOJ) by providing all collation orders in a single redundancy eliminating dat…☆16Sep 18, 2025Updated 5 months ago
- Decentralized game universe in which players can explore worlds made by others.☆11Mar 11, 2023Updated 2 years ago
- ASM methods to test small loop performance on x86☆13Jun 11, 2019Updated 6 years ago
- The Kubernetes adapter in combination with the Panamax remote agent enables the deployment of a Panamax template to a Kubernetes cluster.☆13Jan 24, 2020Updated 6 years ago
- Regionalized Value State Dependence Graph written in Rust☆11Nov 17, 2019Updated 6 years ago
- Rust library to program hardware performance counter.☆59Dec 15, 2022Updated 3 years ago
- Datasette plugin for serving media based on a SQL query☆21Dec 13, 2022Updated 3 years ago
- translations of a lambda abstraction to combinations of operators☆18Sep 6, 2019Updated 6 years ago
- Coordination-free distributed state kernel with nanosecond latency☆39Feb 2, 2026Updated 3 weeks ago
- A generic partial quicksort macro for C99.☆12Apr 23, 2014Updated 11 years ago
- Rust Bindings to interact with SMTLIB2 compliant solvers☆17Jun 3, 2019Updated 6 years ago
- RPython by Example (RPyBE) is a collection of runnable examples that illustrate various RPython concepts and libraries.☆16May 25, 2022Updated 3 years ago
- Opinionated letsencrypt acme client working via a ssh port forward.☆17Oct 7, 2024Updated last year
- ☆19Apr 13, 2017Updated 8 years ago
- A very little language☆16Jul 1, 2023Updated 2 years ago
- RLU resizable hash-table☆17Aug 24, 2015Updated 10 years ago
- App Container Image/Rocket Utility and Testbed☆13Mar 24, 2015Updated 10 years ago
- Plain-text declaration export for Lean 4☆24Feb 17, 2026Updated last week
- A library for Rapid {C|Concurrency|Correct} Development☆34Oct 3, 2015Updated 10 years ago
- Experimental tree-sitter parser for the Lean (4) Theorem Prover☆43Jan 3, 2025Updated last year
- ☆14Jan 14, 2022Updated 4 years ago
- Extended Roofline Model - LLVM source tree with additional libraries for the analysis of the dynamic execution in the interpreter☆17Jul 5, 2017Updated 8 years ago
- Runtime support for LLVM's GC Statepoints☆42Mar 10, 2020Updated 5 years ago
- A research compiler for exploring the Regionalized Value State Dependence Graph (RVSDG) intermediate representation☆75Updated this week
- Toy interpreters for learning about the RPython Translation Toolchain☆15Apr 22, 2015Updated 10 years ago
- model checking samples☆17Oct 18, 2021Updated 4 years ago
- ☆19Feb 21, 2026Updated last week
- Are We Fast Yet? Comparing Language Implementations with Objects, Closures, and Arrays☆389Nov 13, 2025Updated 3 months ago
- Python subsets☆41Feb 11, 2017Updated 9 years ago
- Haskell binding for PADS☆21Jun 10, 2019Updated 6 years ago
- Leaff is a diff tool for Lean environments☆26Jan 18, 2025Updated last year
- Proof-of-concept tool for checking signal handlers for reentrancy issues.☆20Jun 6, 2020Updated 5 years ago
- Fastest RPC in the west☆21Nov 3, 2019Updated 6 years ago
- A pytest plugin that allows for the testing of C extension modules for Python, specifically created through cython☆21Feb 7, 2026Updated 3 weeks ago
- A toolbox for dealing with formal models from construction to analysis based on the JANI-model interchange format.☆19Aug 3, 2024Updated last year