The axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).
-
Updated
Jun 1, 2024 - Rust
The axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).
A Redux store enhancer which uses User Timing API to profile redux actions and time spent on notifying store listeners
MTuner SDK - Memory profiling library
Real-time GPU profiling layer for Vulkan applications.
Firefox Profiler — Web app for Firefox performance analysis
Frame profiler
The Linux perf GUI for performance analysis.
Salesforce Apex debug log analyzer for Visual Studio Code - Visualize code execution via a Flame chart and identify performance and SOQL/DML problems via Method and Database analysis
Audio Integration Library
Memray is a memory profiler for Python
⌚ CC0 function profiler web tool. https://iterami.github.io/Profiler.htm/
Kokkos C++ Performance Portability Programming Ecosystem: Profiling and Debugging Tools
High-precision and consistent benchmarking framework/harness for Rust
plpgsql_check is a linter tool (does source code static analyze) for the PostgreSQL language plpgsql (the native language for PostgreSQL store procedures).
C/C++ Performance Profiler
A performance profiler for Minecraft clients, servers, and proxies.
Add a description, image, and links to the profiler topic page so that developers can more easily learn about it.
To associate your repository with the profiler topic, visit your repo's landing page and select "manage topics."