Git project (Software Freedom Conservancy) · Version control & code hosting
In-depth entry
Distributed version control system that records snapshots of a project's history locally and synchronizes them with remotes such as GitHub, GitLab or a bare repository over SSH
Gitea Ltd. / Gitea community · Version control & code hosting
In-depth entry
Lightweight self-hosted Git forge written in Go with repositories, pull requests, issues, packages and GitHub-compatible Actions, deployable as a single binary
Google (Chrome DevTools team) · Programming languages & runtimes
Statically typed, garbage-collected language from Google that compiles to single binaries and is widely used for servers, CLIs and infrastructure tooling
Free, GPL-licensed cross-platform econometrics program with a GUI, the hansl scripting language and estimators for time series, panels and limited dependent variables
Identity-based secrets manager providing encrypted key-value storage, dynamic database and cloud credentials, PKI and encryption-as-a-service, under the Business Source License
Jason Liu and contributors (567 Labs) · Agent frameworks & orchestration
Python library for extracting validated structured data from LLM responses using Pydantic models, with automatic retries, streaming partials and support for many providers
Keycloak project (CNCF incubating, originated at Red Hat) · Identity & access
Open-source identity and access management server providing single sign-on with OpenID Connect, OAuth 2.0 and SAML, user federation and fine-grained authorization
LangChain, Inc. · Agent frameworks & orchestration
Open-source Python and JavaScript framework whose create_agent harness builds tool-using agents on the LangGraph runtime with swappable model providers and middleware
LangChain, Inc. · Agent frameworks & orchestration
In-depth entry
Low-level orchestration framework and runtime for stateful, long-running agents expressed as graphs, with durable execution, checkpointing, human-in-the-loop and streaming
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
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