domain: programming-languages
1849 products, primary matches first, then adoption-weighted; health v2 shown.
| Product | Health v2 | Stars | Maturity |
|---|---|---|---|
| golang/go Go is an open-source, statically typed programming language developed by Google, designed for building simple, reliable, and efficient soft… | 77 | 136473 | stable |
| rust-lang/rust The official Rust monorepo containing the rustc compiler, standard library, and documentation for the Rust programming language. Rust is a … | 99 | 116191 | stable |
| microsoft/TypeScript TypeScript is a strongly typed superset of JavaScript that adds optional static types and compiles down to clean, standards-based JavaScrip… | 95 | 110715 | stable |
| python/cpython CPython is the reference implementation of the Python programming language, containing the interpreter, compiler, and standard library. It … | 77 | 74934 | stable |
| swiftlang/swift The Swift programming language: a high-performance, memory-safe systems and application programming language with a modern syntax and seaml… | 92 | 70300 | stable |
| colbymchenry/codegraph CodeGraph is a local-first tool that indexes any codebase into a queryable knowledge graph using Tree-sitter parsing, exposing it to AI cod… | 82 | 68252 | active |
| FuelLabs/sway Sway is a Rust-inspired domain-specific programming language for writing smart contracts on the Fuel blockchain and Fuel VM, accompanied by… | 98 | 61483 | active |
| JetBrains/kotlin Kotlin is a statically typed programming language developed by JetBrains that compiles to JVM bytecode, JavaScript, WebAssembly, and native… | 93 | 53354 | stable |
| DefinitelyTyped/DefinitelyTyped Definitely Typed is the central repository of high-quality TypeScript type definitions (.d.ts files) for thousands of popular JavaScript pa… | 67 | 51407 | active |
| Julia Julia is a high-level, high-performance dynamic programming language designed for technical computing, combining scripting-language ergonom… | 99 | 49037 | stable |
| pyenv pyenv is a pure-shell tool for managing and switching between multiple Python versions on a per-user and per-project basis. It uses PATH sh… | 94 | 45048 | stable |
| ziglang/zig Zig is a general-purpose systems programming language with a self-hosted optimizing compiler, C interop, and cross-compilation support. The… | 56 | 43300 | active |
| psf/black Black is an opinionated, deterministic Python code formatter that reformats code to a single consistent style. It runs as a CLI, integrates… | 89 | 41816 | stable |
| chubin/cheat.sh A unified cheat sheet service providing instant access to community-driven cheat sheets for 56 programming languages, DBMSes, and 1000+ UNI… | 58 | 41690 | stable |
| php/php-src php-src is the official C source code of the PHP interpreter, a popular general-purpose scripting language especially suited to web develop… | 98 | 40316 | stable |
| llvm/llvm-project LLVM is a modular compiler and toolchain infrastructure providing libraries and tools for building optimized compilers, optimizers, and run… | 99 | 39958 | stable |
| vlang/v The V programming language: a simple, fast, safe compiled language whose compiler bootstraps itself in under a second with zero library dep… | 93 | 37803 | active |
| python-poetry/poetry Poetry is a CLI tool for Python dependency management and packaging that uses a pyproject.toml-based project format with a lockfile for det… | 94 | 34293 | stable |
| oraios/serena Serena is an MCP toolkit that gives AI coding agents semantic code retrieval, editing, refactoring, and debugging capabilities at the symbo… | 85 | 28526 | active |
| tree-sitter/tree-sitter Tree-sitter is a parser generator tool and incremental parsing library that builds concrete syntax trees for source files and efficiently u… | 99 | 26764 | stable |
| elixir-lang/elixir Elixir is a dynamic, functional programming language built on the Erlang VM (BEAM), designed for building scalable and maintainable applica… | 98 | 26613 | stable |
| stretchr/testify Testify is a Go toolkit providing assertion helpers, mocking, and test suite interfaces that integrate with the standard library's testing … | 90 | 26185 | stable |
| ILSpy ILSpy is an open-source, cross-platform .NET assembly browser and decompiler that converts compiled .NET binaries back into readable C# sou… | 98 | 25954 | active |
| Bazel Bazel is an open-source, fast, and scalable build and test system that supports multiple languages and platforms. It uses incremental build… | 97 | 25764 | stable |
| Solidity Solidity is a statically-typed, contract-oriented high-level programming language for writing smart contracts that run on the Ethereum Virt… | 93 | 25718 | active |
| asdf asdf is an extendable CLI version manager that manages multiple language runtime versions (Ruby, Node.js, Elixir, Erlang, Go, Python, and m… | 96 | 25548 | stable |
| zloirock/core-js core-js is a modular JavaScript standard library providing polyfills for ECMAScript features up to 2025, TC39 proposals, and some WHATWG/W3… | 94 | 25526 | active |
| v8/v8 V8 is Google's open-source JavaScript engine that implements ECMAScript (ECMA-262), written in C++. It powers Chromium and Node.js and can … | 77 | 25211 | active |
| coc.nvim coc.nvim is a Node.js-based extension host for Vim and Neovim that provides LSP-backed intellisense, autocompletion, and a VS Code-like ext… | 67 | 25169 | stable |
| go-delve/delve Delve is a full-featured debugger for the Go programming language, usable from the command line and via editor integrations. It aims to be … | 94 | 24892 | active |
| ReactiveX/RxSwift RxSwift is the Swift-specific implementation of the Reactive Extensions (Rx) standard, providing Observable streams for composing asynchron… | 85 | 24648 | stable |
| ruby/ruby The official Ruby programming language implementation, an interpreted object-oriented language with a JIT compiler, written in C and Rust. … | 97 | 23685 | stable |
| AlDanial/cloc cloc is a command-line tool that counts blank lines, comment lines, and physical lines of source code across many programming languages. It… | 87 | 23466 | stable |
| openjdk/jdk The main-line development repository for the OpenJDK, the open-source implementation of the Java Platform, Standard Edition. It contains th… | 77 | 23273 | active |
| RustPython/RustPython RustPython is a Python 3 interpreter implemented entirely in Rust, with no CPython bindings. It can be embedded in Rust applications as a s… | 67 | 22305 | active |
| facebook/flow Flow is a static type checker for JavaScript, now a typed dialect of JavaScript written in Rust. It catches type errors via annotations and… | 95 | 22279 | active |
| MicroPython MicroPython is a lean, efficient implementation of Python 3 designed to run on microcontrollers and other constrained systems, fitting in a… | 91 | 22012 | stable |
| gleam-lang/gleam Gleam is a statically typed, functional programming language that compiles to Erlang and runs on the BEAM virtual machine. It ships with a … | 98 | 21827 | active |
| oracle/graal GraalVM is a high-performance JDK distribution that includes an advanced just-in-time compiler and Native Image, which compiles Java applic… | 67 | 21674 | stable |
| dotnet/roslyn Roslyn is the open-source .NET Compiler Platform implementing the C# and Visual Basic compilers with rich code analysis APIs. It exposes co… | 67 | 20628 | stable |
| python/mypy Mypy is an optional static type checker for Python that validates type hints (PEP 484) in your code. It catches type errors before runtime … | 77 | 20605 | stable |
| JetBrains/intellij-community The open-source codebase of IntelliJ IDEA and the IntelliJ Platform, the foundation for JetBrains IDEs like PyCharm. It provides a full-fea… | 98 | 20488 | active |
| crystal-lang/crystal Crystal is a general-purpose, statically type-checked programming language with Ruby-inspired syntax that compiles to efficient native code… | 97 | 20388 | active |
| PHPUnit PHPUnit is the de facto unit testing framework for PHP, following the xUnit architecture. It provides a test runner, assertions, mocking, c… | 94 | 20045 | stable |
| realm/SwiftLint SwiftLint is a tool that enforces Swift style and conventions based on community-accepted style guide rules. It is built on SwiftSyntax wit… | 99 | 19712 | stable |
| astral-sh/ty ty is an extremely fast Python type checker and language server written in Rust, backed by Astral (creators of Ruff and uv). It provides ri… | 82 | 19562 | active |
| ANTLR v4 ANTLR v4 is a parser generator that reads grammar files and produces parsers, lexers, and parse-tree walkers in ten target languages includ… | 53 | 18986 | stable |
| gradle/gradle Gradle is an open-source build automation tool with declarative DSLs in Kotlin and Groovy, incremental builds, build caching, and a rich pl… | 99 | 18803 | stable |
| facebook/hhvm HHVM is an open-source virtual machine with a just-in-time (JIT) compiler for executing programs written in the Hack programming language. … | 67 | 18655 | active |
| nim-lang/Nim Nim is a statically typed, compiled systems programming language whose repository contains the compiler, standard library, tools, and docum… | 77 | 18193 | stable |
| pybind/pybind11 pybind11 is a lightweight header-only C++11 library that exposes C++ types and functions in Python (and vice versa), primarily for creating… | 94 | 18008 | stable |
| AssemblyScript/assemblyscript AssemblyScript is a compiler that translates a TypeScript-like language with WebAssembly types into lean WebAssembly modules, built on Bina… | 95 | 17993 | active |
| tinygo-org/tinygo TinyGo is an alternative Go compiler based on LLVM designed for small places such as microcontrollers, WebAssembly (WASM/WASI), and compact… | 88 | 17670 | active |
| nikic/PHP-Parser A PHP parser written in PHP that converts PHP 5.x through 8.4 code into an abstract syntax tree (AST). It provides AST traversal, modificat… | 96 | 17456 | stable |
| sindresorhus/type-fest A collection of essential TypeScript utility types that many feel should be built into the language. It is an npm package of type-only defi… | 96 | 17381 | active |
| less/less.js Less.js is the official JavaScript compiler for Less, a backwards-compatible dynamic stylesheet language that extends CSS with variables, m… | 93 | 17029 | stable |
| exaloop/codon Codon is a high-performance Python compiler that statically compiles Python-like code to native machine code via LLVM, typically achieving … | 90 | 16834 | active |
| rust-lang/rust-analyzer rust-analyzer is a Language Server Protocol implementation providing IDE features for Rust, including code completion, go-to-definition, fi… | 95 | 16797 | stable |
| ipython/ipython IPython is a powerful interactive Python shell and Jupyter kernel offering introspection, tab completion, persistent history, magic command… | 67 | 16774 | stable |
| rbenv rbenv is a version manager for the Ruby programming language on Unix-like systems, letting you switch between multiple Ruby versions per pr… | 75 | 16732 | stable |
| typescript-eslint/typescript-eslint typescript-eslint is a monorepo providing the tooling that enables ESLint, Prettier, and other JavaScript tools to parse and lint TypeScrip… | 95 | 16373 | stable |
| vim-go vim-go is a Vim/Neovim plugin that adds full Go language support, including build, test, run, debug (delve), formatting, completion, and go… | 67 | 16216 | active |
| PyO3/pyo3 PyO3 provides Rust bindings for the Python interpreter, letting developers write native Python extension modules in Rust or embed and run P… | 98 | 16074 | stable |
| facebook/infer Infer is a static analysis tool, written in OCaml, that detects bugs in Java, C, C++, Objective-C, and Erlang code before it ships. It inte… | 82 | 15690 | active |
| microsoft/pyright Pyright is a full-featured, standards-based static type checker for Python built by Microsoft, designed for high performance on large codeb… | 98 | 15597 | active |
| rust-lang/cargo Cargo is the official package manager and build tool for the Rust language. It downloads dependencies, compiles projects, runs tests, creat… | 77 | 15429 | stable |
| gvergnaud/ts-pattern TS-Pattern is an exhaustive pattern matching library for TypeScript with smart type inference. It lets developers express complex branching… | 78 | 15137 | stable |
| Nuitka/Nuitka Nuitka is an optimizing Python compiler written in Python that translates Python programs into C and produces standalone executables or ext… | 77 | 15111 | active |
| pyodide/pyodide Pyodide is a port of CPython to WebAssembly/Emscripten, distributed for the browser and Node.js. It lets you run Python, including packages… | 99 | 14802 | active |
| unbug/codelf CODELF is a search tool that helps developers solve the 'naming things' problem by searching real-world variable names across GitHub, Bitbu… | 44 | 14147 | active |
| yoavbls/pretty-ts-errors A VSCode extension that reformats TypeScript error messages into prettier, human-readable output with syntax highlighting. It supports Type… | 80 | 14105 | active |
| phpstan/phpstan PHPStan is an open-source static analysis tool for PHP that discovers bugs in code without running it. It understands PHPDocs, supports gen… | 95 | 14082 | stable |
| dense-analysis/ale ALE (Asynchronous Lint Engine) is a Vim/Neovim plugin that provides asynchronous linting and syntax checking while you type, plus code fixi… | 67 | 14016 | active |
| google/yapf YAPF is a Python code formatter from Google, inspired by clang-format, that reformats code to conform to a configurable style guide. It can… | 76 | 13980 | active |
| quicktype quicktype is a code generation tool that produces strongly-typed models and serializers from JSON samples, JSON Schema, TypeScript, and Gra… | 97 | 13843 | active |
| github-linguist/linguist Linguist is the Ruby library GitHub uses to detect file languages, ignore binary/vendored files, suppress generated files in diffs, and pro… | 95 | 13657 | active |
| PHP-CS-Fixer/PHP-CS-Fixer PHP CS Fixer is a command-line tool that detects and automatically fixes PHP coding standards issues. It ships with built-in rule sets (PER… | 95 | 13544 | stable |
| projectlombok/lombok Project Lombok is a Java library that plugs into compilers (javac, ECJ) and build tools to automatically generate boilerplate code like get… | 76 | 13472 | stable |
| rust-lang/rust-clippy Clippy is the official Rust linter, a collection of over 800 lints that catch common mistakes and suggest more idiomatic code. It integrate… | 77 | 13469 | stable |
| AutoHotkey AutoHotkey is a free, open-source Windows utility and scripting language for creating macros, hotkeys, and text expansions to automate repe… | 93 | 13017 | active |
| rubocop/rubocop RuboCop is a Ruby static code analyzer (linter) and code formatter that enforces the community Ruby Style Guide. It can automatically fix m… | 99 | 12899 | stable |
| Z3Prover/z3 Z3 is a high-performance SMT (Satisfiability Modulo Theories) theorem prover from Microsoft Research, written in C++. It solves logical con… | 95 | 12610 | stable |
| erlang/otp Erlang/OTP is the Erlang programming language together with its runtime system (BEAM) and the Open Telecom Platform, a set of libraries and… | 94 | 12333 | stable |
| VerbalExpressions/JSVerbalExpressions JSVerbalExpressions is a JavaScript library that provides a fluent, chainable API for constructing regular expressions without writing raw … | 23 | 12134 | stable |
| privatenumber/tsx tsx is a Node.js enhancement that runs TypeScript files directly, acting like an alias to node with esbuild-powered transpilation. It suppo… | 98 | 12119 | active |
| sonic-pi-net/sonic-pi Sonic Pi is an open source live coding music synthesis environment that turns code into a performable musical instrument. Originally built … | 86 | 12083 | stable |
| odin-lang/Odin Odin is a general-purpose, statically typed systems programming language designed for high performance and data-oriented programming, posit… | 98 | 11791 | active |
| apple/pkl Pkl is a configuration-as-code language from Apple with rich validation, templating, and tooling for defining programmable, scalable, and s… | 87 | 11497 | active |
| acornjs/acorn Acorn is a small, fast JavaScript parser written entirely in JavaScript that produces an ECMAScript syntax tree (AST). It ships as three pa… | 75 | 11440 | stable |
| facebook/hermes Hermes is a JavaScript engine developed by Meta, optimized for fast start-up of React Native apps through ahead-of-time static optimization… | 67 | 11272 | active |
| Dart The Dart SDK is the open-source toolkit for the Dart programming language, including the Dart VM with JIT and AOT compilation, JavaScript a… | 77 | 11268 | stable |
| gcc-mirror/gcc The GNU Compiler Collection (GCC), the canonical open-source compiler toolchain supporting C, C++, Fortran, Ada, Go, and other languages wi… | 77 | 11192 | stable |
| doctrine/lexer A PHP base library providing an abstract lexer for building Top-Down, Recursive Descent Parsers. It tokenizes input strings and is used int… | 62 | 11146 | stable |
| microsoft/STL Microsoft's official open-source implementation of the C++ Standard Library (STL) that ships with the MSVC toolset and Visual Studio. The r… | 88 | 11136 | active |
| doctrine/instantiator A small, lightweight PHP library that creates new instances of any class without invoking its constructor or any of the class's own API. It… | 71 | 10988 | stable |
| clojure/clojure Clojure is a dynamic, general-purpose Lisp dialect for the JVM that compiles to Java bytecode while remaining fully dynamic at runtime. It … | 77 | 10954 | stable |
| bellard/quickjs QuickJS is a small, embeddable JavaScript engine written in C that supports the ES2025 specification with near-complete test262 conformance… | 71 | 10947 | active |
| PRQL/prql PRQL (Pipelined Relational Query Language) is a modern query language for transforming data that compiles to SQL, letting users write reada… | 93 | 10900 | active |
| gleitz/howdoi howdoi is a command-line tool that fetches instant coding answers from the web (primarily Stack Overflow) so you can get code snippets with… | 67 | 10839 | active |
| cython/cython Cython is an optimising static compiler that translates Python and the extended Cython language into C/C++ code for building fast CPython e… | 99 | 10833 | stable |
page 1 / 19 next →