Directory

Open-source functional programming language and interactive theorem prover with dependent types, the Mathlib mathematics library and VS Code tooling, stewarded by the Lean FRO

Python package by Kevin Sheppard adding panel data, instrumental-variable, system (SUR/3SLS) and asset-pricing estimators missing from statsmodels

Open-source Python SDK and self-hosted AI gateway that calls 100+ LLM providers in the OpenAI format, with routing, fallbacks, virtual keys, budgets, spend tracking and logging callbacks

C/C++ inference engine for LLMs and vision-language models with GGUF quantized weights, Metal, CUDA, Vulkan and other backends, a CLI and an OpenAI-compatible server

Open-source Python framework for retrieval-augmented agents over your data, with connectors, indexes, query engines and event-driven workflows, alongside the commercial LlamaParse document platform

Open-source, outliner-based knowledge base storing notes as local Markdown or Org-mode files with block references, queries and a graph view

Reactive Python notebook stored as a plain .py file that re-runs dependent cells automatically and doubles as a script or web app

The foundational Python plotting library for static, publication-quality figures with full control over every element, exported to PDF, SVG, PNG and PGF

Rust search engine for application search-as-you-type with typo tolerance, faceting and hybrid semantic search; MIT core plus BSL enterprise parts

Free reference manager from Elsevier with a desktop and web app, PDF annotation, a Web Importer, groups and bundled cloud storage

Self-hostable BI tool with a no-code question builder, SQL editor, dashboards and embedding; AGPL open-source edition plus commercial Pro and Enterprise

Open-source vector database from Zilliz with Lite, Standalone and Distributed deployments, many index types and GPU acceleration

S3-compatible object storage server; the AGPL community edition was archived in April 2026 and succeeded by MinIO's AIStor Free and AIStor Enterprise editions

Python static site generator for project documentation that builds a navigable site from Markdown files and a single YAML configuration

Document database storing BSON documents with a rich aggregation pipeline, available as a source-available Community Server or the managed Atlas service

Oracle's widely deployed open-source relational database server, offered as a GPL community edition and commercial enterprise and cloud editions

Lightweight Go messaging system with core pub/sub and request-reply plus JetStream persistence, key-value and object stores; a CNCF project

Modal, terminal-based text editor forked from Vim with Lua configuration, a built-in LSP client and Tree-sitter parsing

React framework from Vercel for full-stack web applications with file-based routing, server components, server-side rendering, static generation and API route handlers

Event-driven HTTP server, reverse proxy, load balancer and mail proxy, distributed as open source under the 2-clause BSD license with a commercial Plus edition

Server-side JavaScript runtime built on the V8 engine, governed by the OpenJS Foundation, with npm as its package ecosystem

Foundational Python library for n-dimensional arrays, vectorized math, linear algebra, random numbers and the array API used by the scientific stack

Local-first Markdown note-taking app with bidirectional links, graph view and a large community plugin ecosystem; optional paid Sync and Publish

Open-source runtime and model manager for running open-weight LLMs locally on macOS, Windows and Linux, with a REST API, OpenAI- and Anthropic-compatible endpoints and optional cloud models