Showing 7 of 43 projects
A formal real analysis library for the Coq/Rocq proof assistant, built on the Mathematical Components library.
A fast schema and data analyzer for MongoDB that provides detailed insights into database structure and content.
An open-source toolkit for analyzing web archives at scale using Apache Spark.
An Elixir-based framework for distributed HTTP and WebSocket load testing, performance monitoring, and custom metric tracking.
Visualize your Bash/Zsh shell usage with interactive charts via a Flask web app.
A command-line tool for analyzing server access logs with filters and detailed reports.
A fast, in-memory graph data structure implementation in Java, optimized for performance and low memory usage.
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.