Explore Projects
Discover 1,252 open source projects
Showing 101-120 of 1,252 projects
Z3Prover/z3
The Z3 Theorem Prover is a powerful open-source SMT solver used for program verification and analysis.
hadolint/hadolint
Hadolint is a Dockerfile linter written in Haskell that helps developers validate their Docker files.
formbricks/formbricks
Open-source alternative to Qualtrics, a survey and experience management platform built with React, NextJS, and TypeScript.
myhhub/stock
A Python-based platform for stock data analysis and trading, providing tools for backtesting and automated trading.
OpenRefine/OpenRefine
OpenRefine is a powerful data cleaning and transformation tool that helps developers work with messy data.
TA-Lib/ta-lib-python
Python wrapper for the TA-Lib technical analysis library, useful for financial pattern recognition.
anchore/grype
A Go-based vulnerability scanner for container images and filesystems
thuml/Time-Series-Library
A Python library for advanced deep learning models for time series analysis and forecasting.
keplergl/kepler.gl
Kepler.gl is a powerful open-source geospatial analysis tool for large-scale data visualization.
cleanlab/cleanlab
An open-source library for data-centric AI with tools for data quality and machine learning on messy, real-world data.
bootandy/dust
A Rust-based command-line tool that provides a more intuitive version of the 'du' command for disk usage analysis.
AudioKit/AudioKit
AudioKit is an audio synthesis, processing, and analysis platform for iOS, macOS, and tvOS
statsmodels/statsmodels
Statsmodels is a Python library for statistical modeling and econometrics, providing tools for data analysis and prediction.
kubescape/kubescape
Kubescape is an open-source Kubernetes security platform that provides risk analysis, security, compliance, and misconfiguration scanning.
great-expectations/great_expectations
A Python library that helps ensure data quality and reliability through data profiling and testing.
dart-lang/sdk
The Dart SDK, a powerful programming language and toolchain for building cross-platform applications.
quay/clair
Clair is a static analysis tool for scanning container images and identifying vulnerabilities.
dgryski/go-perfbook
A library of thoughts and techniques for optimizing performance in Go programs.
cytoscape/cytoscape.js
Cytoscape.js is a powerful JavaScript library for visualizing and analyzing graph-based data structures.
NaturalNode/natural
General natural language processing library for Node.js that provides sentiment analysis, classification, and other NLP capabilities.
Stay in the loop
Get weekly updates on trending AI coding tools and projects.