Directory

Free, public-domain keyboard customizer for macOS that remaps keys and defines complex modifications through JSON rules at the driver level

REST, WebSocket and FIX interfaces to the Kraken cryptocurrency exchange for market data, spot and derivatives trading and account management

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

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

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

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

JavaScript data notebooks and the open-source Observable Framework static-site generator for data apps, from the maintainers of D3 and Plot

Open-source implementation of the MPI message-passing standard used to run tightly coupled parallel programs across the nodes of a cluster

OpenAI's coding agent: an open-source Rust terminal CLI plus IDE extension, desktop app and cloud agent, signed in with a ChatGPT plan or an API key

Reference implementation of the SSH protocol from the OpenBSD project: remote shell, file transfer, port forwarding, key agent and certificate authority tooling

Community fork of Terraform under the Linux Foundation, keeping the HCL language, provider ecosystem and state model under the MPL-2.0 license