Lists (18)
Sort Name ascending (A-Z)
Stars
Lean 4 programming language and theorem prover
A conformant OpenGL ES implementation for Windows, Mac, Linux, iOS and Android.
Invoke is a leading creative engine for Stable Diffusion models, empowering professionals, artists, and enthusiasts to generate and create visual media using the latest AI-driven technologies. The …
Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.
Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more
Milvus is a high-performance, cloud-native vector database built for scalable vector ANN search
Visualizer for neural network, deep learning and machine learning models
Streamlit — A faster way to build and share data apps.
An open source graphics editor for 2025: comprehensive 2D content creation tool suite for graphic design, digital art, and interactive real-time motion graphics — featuring node-based procedural ed…
Open deep learning compiler stack for cpu, gpu and specialized accelerators
a language for fast, portable data-parallel computation
Next generation frontend tooling. It's fast!
A repository of models, textual inversions, and more
Production-grade client-side tracing, profiling, and analysis for complex software systems.
An open-source C++ library developed and used at Facebook.
Build cross-platform desktop apps with JavaScript, HTML, and CSS
The most powerful and modular diffusion model GUI, api and backend with a graph/nodes interface.
WinMerge is an Open Source differencing and merging tool for Windows. WinMerge can compare both folders and files, presenting differences in a visual text format that is easy to understand and handle.
The Prometheus monitoring system and time series database.
iTerm2 is a terminal emulator for Mac OS X that does amazing things.
Find your trading edge, using the fastest engine for backtesting, algorithmic trading, and research.
The Free and Open Source Cross Platform YUV Viewer with an advanced analytics toolset
Model interpretability and understanding for PyTorch
Read-only mirror of Wireshark's Git repository at https://gitlab.com/wireshark/wireshark.