Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Axiom Profiler

The axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).
Stars
23
License
other
Open Issues
21
Most Recent Commit
a year ago
Programming Language
C#
Categories
Repo
Suggest An Alternative To axiom-profiler
Popular Smt Projects
Manticore ⭐ 3,535
Symbolic execution tool
dependent packages 1total releases 1,137latest release December 09, 2023most recent commit 9 months agopypi manticore} Downloads
Barf Project ⭐ 1,193
BARF : A multiplatform open source Binary Analysis and Reverse engineering Framework
dependent packages 1total releases 4latest release November 24, 2019most recent commit 5 years agopypi barf} Downloads
Popular Profiler Projects
Arthas ⭐ 34,193
Alibaba Java Diagnostic Tool Arthas/Alibaba Java诊断利器Arthas
dependent packages 7total releases 49latest release August 24, 2023most recent commit 5 months ago
Memray ⭐ 11,810
Memray is a memory profiler for Python
dependent packages 17total releases 19latest release December 04, 2023most recent commit 5 months agopypi memray} Downloads
Py Spy ⭐ 11,406
Sampling profiler for Python programs
dependent packages 24total releases 38latest release September 07, 2022most recent commit 5 months agopypi py-spy} Downloads
Ndb ⭐ 10,644
ndb is an improved debugging experience for Node.js, enabled by Chrome DevTools
dependent packages 84total releases 61latest release September 12, 2019most recent commit 2 years agonpm ndb} Downloads
Scalene ⭐ 10,602
Scalene: a high-performance, high-precision CPU, GPU, and memory profiler for Python with AI-powered optimization proposals
dependent packages 6total releases 154latest release September 15, 2023most recent commit 5 months agopypi scalene} Downloads
Popular Software Quality Categories
Testing
Code Coverage
Mock
Selenium
Jest
Tap
Mocha
Test Driven Development
Rspec
Junit
Related Searches
C Sharp Profiler
C Sharp Smt

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
C Sharp
Profiler
Smt
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.