Open-source programming-languages software
1852 open-source libraries, tools and applications tagged programming-languages, ranked by how closely programming-languages is their primary purpose, then by adoption and maintenance health. Each entry links to a page with sources, use cases and when to choose or avoid it.
1852 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 and toolchain developed by Google. It provides a fast compiler, a built‑in pack… | 77 | 139174 | active |
| rust-lang/rust Rust is a modern systems programming language with its own compiler, standard library, and tooling. It enables developers to write fast, me… | 98 | 119477 | active |
| microsoft/TypeScript TypeScript is a superset of JavaScript that adds optional static types and compiles to clean JavaScript. It provides a compiler and languag… | 91 | 111245 | active |
| astral-sh/uv uv is a high‑performance command‑line tool for managing Python packages, environments, and projects, written in Rust. It combines the funct… | 91 | 90593 | active |
| 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… | 83 | 73612 | active |
| swiftlang/swift The Swift programming language: a high-performance, memory-safe systems and application programming language with a modern syntax and seaml… | 93 | 70465 | stable |
| azl397985856/leetcode A curated collection of LeetCode problem solutions in multiple programming languages. It serves as a personal record and learning resource … | 34 | 55729 | active |
| Kotlin Kotlin is a statically typed programming language developed by JetBrains that compiles to JVM bytecode, JavaScript, WebAssembly, and native… | 95 | 53481 | stable |
| google/guava Guava is a set of core Java libraries from Google providing utilities for collections, caching, concurrency, I/O, hashing, and more. It is … | 98 | 51923 | active |
| DefinitelyTyped/DefinitelyTyped Definitely Typed is the central repository of high-quality TypeScript type definitions (.d.ts files) for thousands of popular JavaScript pa… | 67 | 51445 | active |
| Ruff Ruff is an extremely fast Python linter and code formatter written in Rust. It provides linting, automatic fixing, and formatting through a… | 94 | 49933 | active |
| Julia Julia is a high-level, high-performance dynamic programming language designed for technical and scientific computing. It combines the ease … | 100 | 49218 | active |
| ziglang/zig Zig is a general-purpose systems programming language with a self-hosted optimizing compiler, C interop, and cross-compilation support. The… | 50 | 43311 | active |
| Black Black is an uncompromising Python code formatter that reformats entire files in a deterministic way. It can be run as a command‑line tool, … | 94 | 41865 | stable |
| Black Black is an opinionated, deterministic Python code formatter that reformats code to a single consistent style. It runs as a CLI, integrates… | 94 | 41865 | stable |
| cheat.sh A unified cheat sheet service providing instant access to community-driven cheat sheets for 56 programming languages, DBMSes, and 1000+ UNI… | 75 | 41796 | stable |
| llvm/llvm-project LLVM is a modular, reusable compiler and toolchain infrastructure that provides libraries, tools, and APIs for building compilers, optimize… | 100 | 41132 | active |
| php/php-src PHP is a widely-used open-source scripting language interpreter designed for web development and general-purpose programming. It runs on mu… | 94 | 40449 | active |
| vlang/v The V programming language: a simple, fast, safe compiled language whose compiler bootstraps itself in under a second with zero library dep… | 91 | 38018 | active |
| 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… | 97 | 34304 | stable |
| Tree-sitter Tree-sitter is a parser generator tool and incremental parsing library that builds concrete syntax trees for source files and efficiently u… | 96 | 27097 | stable |
| Tree-sitter Tree-sitter is a parser generator and incremental parsing library written in C with Rust bindings. It builds concrete syntax trees for sour… | 96 | 27097 | active |
| Elixir Elixir is a dynamic, functional programming language built on the Erlang VM (BEAM), designed for building scalable and maintainable applica… | 97 | 26688 | stable |
| Elixir Elixir is a functional, concurrent programming language built on the Erlang VM. It enables developers to write clear, maintainable code tha… | 97 | 26688 | active |
| ILSpy ILSpy is an open-source, cross‑platform .NET assembly browser and decompiler. It provides a graphical UI as well as command‑line tools for … | 94 | 26677 | active |
| Bazel Bazel is an open-source, fast, and scalable build and test system that supports multiple languages and platforms. It uses incremental build… | 98 | 25923 | stable |
| fmtlib/fmt fmt is a modern C++ formatting library offering a fast, safe alternative to printf and iostreams. It implements the C++20 std::format speci… | 89 | 25882 | active |
| v8/v8 V8 is Google's open‑source high‑performance JavaScript engine written in C++. It can be used as a standalone runtime or embedded into any C… | 77 | 25282 | active |
| 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 … | 93 | 24946 | active |
| ReactiveX/RxSwift RxSwift is the Swift-specific implementation of the Reactive Extensions (Rx) standard, providing Observable streams for composing asynchron… | 80 | 24639 | stable |
| Ruby Programming Language The official Ruby programming language implementation, an interpreted object-oriented language with a JIT compiler, written in C and Rust. … | 99 | 23780 | 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… | 84 | 23574 | 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 | 23443 | active |
| Oxc Oxc is a Rust‑based collection of high‑performance JavaScript and TypeScript tools, including a parser, linter, formatter, transformer, min… | 95 | 23109 | active |
| 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… | 68 | 22405 | active |
| RustPython RustPython is a Python 3 interpreter written in Rust. It can run as a standalone REPL, be embedded in Rust applications, or compiled to Web… | 68 | 22405 | active |
| facebook/flow Flow is a static type checker for JavaScript that adds optional type annotations to improve code safety and developer productivity. It is i… | 95 | 22296 | active |
| gleam-lang/gleam Gleam is a statically‑typed functional programming language that compiles to BEAM bytecode. It includes a compiler, build tool, formatter a… | 99 | 21991 | active |
| oracle/graal GraalVM is a high‑performance polyglot virtual machine that can compile Java (and other languages) ahead‑of‑time into native executables. I… | 66 | 21715 | active |
| .NET Compiler Platform (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 | 20723 | stable |
| .NET Compiler Platform (Roslyn) Roslyn is the open‑source .NET Compiler Platform that provides C# and Visual Basic compilers with rich code‑analysis APIs. It enables devel… | 67 | 20723 | active |
| python/mypy Mypy is an optional static type checker for Python that validates type hints at compile time. It integrates with the Python ecosystem and r… | 77 | 20684 | active |
| Crystal Crystal is a general-purpose, statically type-checked programming language with Ruby-inspired syntax that compiles to efficient native code… | 98 | 20446 | active |
| Crystal Crystal is a general‑purpose, object‑oriented programming language with Ruby‑like syntax and static type inference. It compiles to efficien… | 98 | 20446 | active |
| Wenyan Language Wenyan is an esoteric programming language that uses classical Chinese grammar and characters. It provides a compiler that targets JavaScri… | 23 | 20274 | active |
| astral-sh/ty ty is an extremely fast Python type checker and language server written in Rust. It provides comprehensive diagnostics, incremental analysi… | 83 | 19833 | active |
| 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… | 95 | 19746 | stable |
| Compiler Explorer Compiler Explorer is a web‑based application that lets you write source code in many languages and instantly see the generated assembly or … | 77 | 19141 | 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… | 49 | 19024 | stable |
| Gradle Build Tool Gradle is an open-source build automation tool with declarative DSLs in Kotlin and Groovy, incremental builds, build caching, and a rich pl… | 99 | 18897 | 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. … | 68 | 18666 | active |
| nim-lang/Nim Nim is a statically typed, compiled systems programming language whose repository contains the compiler, standard library, tools, and docum… | 75 | 18242 | stable |
| AssemblyScript AssemblyScript is a compiler that translates a TypeScript-like language with WebAssembly types into lean WebAssembly modules, built on Bina… | 93 | 18033 | active |
| pybind11 pybind11 is a lightweight header-only C++11 library that exposes C++ types and functions in Python (and vice versa), primarily for creating… | 90 | 18017 | stable |
| tinygo-org/tinygo TinyGo is an alternative Go compiler based on LLVM designed for small places such as microcontrollers, WebAssembly (WASM/WASI), and compact… | 92 | 17801 | 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… | 91 | 17470 | 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 | 17417 | active |
| Less Less.js is the official JavaScript compiler for Less, a backwards-compatible dynamic stylesheet language that extends CSS with variables, m… | 93 | 17018 | stable |
| rust-lang/rust-analyzer rust-analyzer is a Language Server Protocol implementation providing IDE features for Rust, including code completion, go-to-definition, fi… | 94 | 16902 | stable |
| Codon Codon is a high-performance Python compiler that statically compiles Python-like code to native machine code via LLVM, typically achieving … | 98 | 16858 | active |
| ipython/ipython IPython is a powerful interactive Python shell and Jupyter kernel offering introspection, tab completion, persistent history, magic command… | 67 | 16791 | 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… | 72 | 16736 | 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 | 16420 | 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… | 64 | 16219 | 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… | 94 | 16177 | 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… | 80 | 15722 | 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… | 96 | 15654 | 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… | 76 | 15561 | stable |
| gvergnaud/ts-pattern TS-Pattern is an exhaustive pattern matching library for TypeScript with smart type inference. It lets developers express complex branching… | 95 | 15183 | stable |
| Nuitka Nuitka is an optimizing Python compiler written in Python that translates Python programs into C and produces standalone executables or ext… | 75 | 15144 | active |
| Pyodide Pyodide is a port of CPython to WebAssembly/Emscripten, distributed for the browser and Node.js. It lets you run Python, including packages… | 96 | 14855 | active |
| Codelf CODELF is a search tool that helps developers solve the 'naming things' problem by searching real-world variable names across GitHub, Bitbu… | 40 | 14134 | active |
| 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 | 14125 | stable |
| yoavbls/pretty-ts-errors A VSCode extension that reformats TypeScript error messages into prettier, human-readable output with syntax highlighting. It supports Type… | 77 | 14096 | active |
| 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… | 63 | 14020 | 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 | 13991 | active |
| quicktype quicktype is a code generation tool that produces strongly-typed models and serializers from JSON samples, JSON Schema, TypeScript, and Gra… | 94 | 13889 | 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… | 93 | 13734 | active |
| 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… | 76 | 13558 | stable |
| 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… | 93 | 13555 | 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… | 74 | 13483 | stable |
| AutoHotkey AutoHotkey is a free, open-source Windows utility and scripting language for creating macros, hotkeys, and text expansions to automate repe… | 98 | 13252 | active |
| RuboCop RuboCop is a Ruby static code analyzer (linter) and code formatter that enforces the community Ruby Style Guide. It can automatically fix m… | 100 | 12914 | 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 | 12786 | 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 | 12361 | 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… | 96 | 12159 | 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 … | 84 | 12158 | stable |
| VerbalExpressions JSVerbalExpressions is a JavaScript library that provides a fluent, chainable API for constructing regular expressions without writing raw … | 23 | 12122 | stable |
| Odin Programming Language Odin is a general-purpose, statically typed systems programming language designed for high performance and data-oriented programming, posit… | 98 | 12083 | active |
| Pkl Pkl is a configuration-as-code language from Apple with rich validation, templating, and tooling for defining programmable, scalable, and s… | 85 | 11542 | 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… | 76 | 11456 | 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 | 11369 | 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 | 11312 | 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 | 11301 | 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… | 83 | 11153 | active |
| 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… | 98 | 11143 | stable |
| bellard/quickjs QuickJS is a small, embeddable JavaScript engine written in C that supports the ES2025 specification with near-complete test262 conformance… | 76 | 11015 | 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… | 65 | 10981 | stable |
| 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 | 10973 | stable |
| PRQL PRQL (Pipelined Relational Query Language) is a modern query language for transforming data that compiles to SQL, letting users write reada… | 89 | 10917 | active |
page 1 / 19 next →