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

Nonprofit certificate authority that issues free, automatically renewable TLS certificates through the ACME protocol

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

Proprietary desktop app for discovering, downloading and running local LLMs with llama.cpp and MLX engines, a chat UI, an OpenAI-compatible server, CLI, SDKs and a headless daemon

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

MathWorks' commercial numeric computing environment and language for engineers and scientists, with toolboxes, Simulink integration, apps and MATLAB Online

JavaScript library that renders flowcharts, sequence, class, state, ER, Gantt and other diagrams from a Markdown-like text syntax

Microsoft's public cloud with virtual machines, AKS, Azure Functions, Cosmos DB, Azure Database for PostgreSQL, Entra ID identity and Microsoft Foundry for hosted AI models

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

French model provider offering open-weight and proprietary models through the Studio API, OCR and speech models, the Vibe agent for productivity and coding, and self-deployment options

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

Python package and CLI for running, serving, quantizing and fine-tuning large language models on Apple Silicon with MLX

Port of OpenAI's Whisper speech-recognition models to MLX, offering a CLI and Python API for local transcription on Apple Silicon

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

Native property-graph database queried with Cypher, offered as a GPL community edition, a commercial enterprise edition and the AuraDB cloud service

Serverless PostgreSQL service with separated storage and compute, instant database branching and scale-to-zero, now part of Databricks

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

Hosted ingress service that exposes local servers through public URLs via an agent or SDK, with Traffic Policy rules, API gateway features and reserved domains

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