The AI coding agent built for the terminal.

Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more

Zulip server and web application. Open-source team chat that helps teams stay productive and focused.

Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)

Graft is an open-source transactional storage engine optimized for lazy, partial, and strongly consistent replication—perfect for edge, offline-first, and distributed applications.

Nym provides strong network-level privacy against sophisticated end-to-end attackers, and anonymous transactions using blinded, re-randomizable, decentralized credentials.

A modern and intuitive terminal-based text editor

NVR with realtime local object detection for IP cameras

The fastest path to AI-powered full stack observability, even for lean teams.

A Git-compatible VCS that is both simple and powerful

🎡 Build Python wheels for all the platforms with minimal configuration.

Modern, extensible Python project management

A markup-based typesetting system that is powerful and easy to learn.

Deep Learning for humans

Turn docstrings into LLM-functions

A Scalable, User-Friendly Source Control System.

CLI for executing Cirrus tasks locally and in any CI

Grist is the evolution of spreadsheets.

Official MPICH Repository

AWS ParallelCluster is an AWS supported Open Source cluster management tool to deploy and manage HPC clusters in the AWS cloud.

AMReX: Software Framework for Block Structured AMR

If you live in the terminal, kitty is made for you! Cross-platform, fast, feature-rich, GPU based.

The Julia Programming Language

A modern, C++-native, test framework for unit-tests, TDD and BDD - using C++14, C++17 and later (C++11 support is in v2.x branch, and C++03 on the Catch1.x branch)

Caliper is an instrumentation and performance profiling library

Kratos Multiphysics (A.K.A Kratos) is a framework for building parallel multi-disciplinary simulation software. Modularity, extensibility and HPC are the main objectives. Kratos has BSD license and…

The most popular HTML, CSS, and JavaScript framework for developing responsive, mobile first projects on the web.

A modern formatting library

Dafny is a verification-aware programming language

An efficient and powerful Rust library for word wrapping text.