domain: programming-languages
1849 products, primary matches first, then adoption-weighted; health v2 shown.
| Product | Health v2 | Stars | Maturity |
|---|---|---|---|
| google/auto Google Auto is a collection of Java annotation-processor-based source code generators, including AutoValue for immutable value types, AutoF… | 72 | 10551 | stable |
| rectorphp/rector Rector is a PHP CLI tool that performs instant upgrades and automated refactoring of PHP codebases using AST-based rules. It supports upgra… | 95 | 10407 | active |
| pypa/pip pip is the standard package installer for Python, used to install and manage packages from the Python Package Index and other indexes. It h… | 77 | 10270 | stable |
| lua/lua The official development repository of Lua, a powerful, lightweight, embeddable scripting language implemented in C. It includes the langua… | 86 | 10256 | stable |
| swiftlang/swift-package-manager The official package manager for the Swift programming language, handling dependency resolution, versioning, compilation, and linking of Sw… | 93 | 10210 | stable |
| Tencent/xLua xLua is a Lua scripting solution for C# environments such as Unity, .Net, and Mono, enabling Lua code to interoperate with C# in both direc… | 49 | 10175 | stable |
| npm npm is the default package manager for Node.js and JavaScript, used to install, publish, and manage project dependencies from the npm regis… | 95 | 10061 | active |
| bobthecow/psysh PsySH is a runtime developer console, interactive debugger, and REPL for PHP. It provides an interactive shell with tab completion, inline … | 96 | 9831 | active |
| xonsh/xonsh Xonsh is a cross-platform shell whose language is a superset of Python 3, seamlessly mixing shell commands, pipelines, and Python code. It … | 99 | 9622 | active |
| goplus/xgo XGo is a programming language that reads like plain English while remaining fully compatible with Go, allowing Go/XGo code to be mixed in t… | 97 | 9449 | active |
| clojure/clojurescript ClojureScript is a compiler that translates Clojure code into JavaScript, designed to emit output compatible with Google Closure's advanced… | 92 | 9390 | stable |
| spyder-ide/spyder Spyder is a free, open-source scientific Python IDE built with PyQt, featuring an editor, interactive console, variable explorer, and plott… | 94 | 9294 | stable |
| phpDocumentor/TypeResolver A PHP library that resolves DocBlock type expressions and structural element names according to PSR-5, turning partial class names into ful… | 76 | 9158 | stable |
| wasm-bindgen/wasm-bindgen wasm-bindgen is a Rust library and CLI tool that generates high-level bindings between WebAssembly modules and JavaScript, allowing rich ty… | 98 | 9126 | stable |
| BoundaryML/baml BAML is a domain-specific programming language for building LLM agents, with a Rust-like type system, typed errors, built-in tests/evals, a… | 90 | 9078 | active |
| onsi/ginkgo Ginkgo is a mature BDD-style testing framework for Go that builds on Go's native testing package. It provides an expressive DSL for structu… | 98 | 9043 | stable |
| phpDocumentor/ReflectionCommon ReflectionCommon is a small PHP library containing shared interfaces and common classes used by phpDocumentor's reflection components. It s… | 46 | 9036 | stable |
| nicklockwood/SwiftFormat SwiftFormat is a command-line tool and library for reformatting Swift code on macOS, Linux, and Windows. It also ships as an Xcode source e… | 97 | 8921 | active |
| Lean Theorem Prover Lean 4 is an open-source dependently typed functional programming language and interactive theorem prover used for formalizing mathematics … | 99 | 8913 | active |
| PureScript PureScript is a small, strongly typed functional programming language inspired by Haskell that compiles to readable JavaScript. It features… | 76 | 8901 | active |
| myclabs/DeepCopy A PHP library that creates deep copies (clones) of objects, recursively copying all referenced objects while handling cycles in the associa… | 93 | 8886 | stable |
| n64decomp/sm64 A complete community decompilation of Super Mario 64 covering the Japan, North America, Europe, Shindou, and iQue releases, written in C. I… | 23 | 8737 | active |
| boyter/scc scc is a very fast, accurate lines-of-code counter written in pure Go that also computes code complexity estimates, COCOMO/LOCOMO effort es… | 91 | 8663 | active |
| mattpocock/ts-reset A 'CSS reset' for TypeScript that improves the built-in typings for common JavaScript APIs like JSON.parse, fetch's .(), .filter(Boolean), … | 55 | 8592 | stable |
| codecombat/codecombat CodeCombat is an open-source multiplayer programming game where players learn to code in Python and JavaScript by playing through browser-b… | 77 | 8551 | active |
| robertkrimen/otto Otto is a JavaScript parser and interpreter written natively in Go, providing an embeddable VM for running JavaScript inside Go application… | 46 | 8452 | active |
| traefik/yaegi Yaegi is a pure-Go interpreter for the Go language, providing complete Go specification support on top of the Go runtime. It can be embedde… | 52 | 8378 | active |
| wren-lang/wren Wren is a small, fast, class-based concurrent scripting language implemented as an embeddable C library with a bytecode VM and lightweight … | 47 | 8122 | stable |
| krzysztofzablocki/Sourcery Sourcery is a code generator for the Swift language built on Apple's SwiftSyntax, using templates (Stencil, Swift templates) to eliminate b… | 68 | 8018 | stable |
| golang/tools The golang.org/x/tools module provides packages and commands for static analysis of Go programs, including SSA IR, call graphs, and a modul… | 93 | 7995 | active |
| expr-lang/expr Expr is a Go-centric expression language and evaluation engine that compiles expressions into bytecode and runs them on a fast, safe virtua… | 81 | 7989 | stable |
| Elm The official compiler for Elm, a statically typed functional programming language designed for building reliable web applications that comp… | 86 | 7886 | stable |
| arktypeio/arktype ArkType is a TypeScript runtime validation library whose syntax mirrors TypeScript's own type system, providing 1:1 static-to-runtime type … | 89 | 7848 | active |
| supermacro/neverthrow neverthrow is a TypeScript library providing a type-safe Result type (Ok/Err) for error handling without exceptions, inspired by Rust. It i… | 64 | 7689 | active |
| webmozarts/assert A PHP library providing efficient assertions for validating method input and output, throwing InvalidArgumentException with clear, consiste… | 90 | 7651 | stable |
| EmbarkStudios/rust-gpu rust-gpu is a compiler toolchain that makes Rust a first-class language for writing GPU graphics and compute shaders, compiling Rust code t… | 10 | 7568 | active |
| Jsonnet Jsonnet is a data templating configuration language that extends JSON with functions, variables, object-orientation, and imports to elimina… | 69 | 7562 | stable |
| boa-dev/boa Boa is an embeddable JavaScript engine (lexer, parser, and interpreter) written in Rust with support for over 90% of the latest ECMAScript … | 83 | 7501 | active |
| phar-io/version A PHP library for parsing, comparing, and checking semantic version numbers and version constraints such as caret and tilde ranges. It supp… | 60 | 7463 | stable |
| ReScript ReScript is a robustly typed programming language that compiles to efficient, human-readable JavaScript, with a lightning-fast compiler too… | 95 | 7435 | active |
| cisco/ChezScheme Chez Scheme is a high-performance implementation of the Scheme programming language, serving as a superset of R6RS with its own compiler, r… | 85 | 7339 | active |
| technomancy/leiningen Leiningen is the classic build and project automation tool for Clojure, handling project scaffolding, dependency management, testing, REPL … | 78 | 7296 | stable |
| tile-ai/tilelang TileLang is a Pythonic domain-specific language and compiler (built on TVM) for writing high-performance GPU/CPU/accelerator kernels such a… | 88 | 7288 | active |
| universal-ctags/ctags Universal Ctags is a maintained implementation of ctags that generates index (tag) files of language objects found in source files for many… | 75 | 7274 | active |
| pypa/hatch Hatch is a modern, extensible Python project manager from PyPA that combines a standards-compliant build system, environment management, Py… | 98 | 7228 | active |
| google/error-prone Error Prone is Google's static analysis tool that hooks into the Java compiler to catch common programming mistakes as compile-time errors.… | 95 | 7225 | active |
| millsp/ts-toolbelt ts-toolbelt is a large TypeScript type utility library offering 200+ generic type functions for computing, transforming, and creating types… | 34 | 7152 | stable |
| goproxy/goproxy.cn Goproxy.cn is a free, non-profit Go module proxy service hosted in China and backed by Qiniu Cloud's global CDN. It fully implements the GO… | 49 | 7086 | stable |
| louthy/language-ext A C# library that provides a pure functional programming framework, using and abusing C# language features to make code more declarative an… | 84 | 7084 | active |
| dop251/goja Goja is an ECMAScript 5.1 (plus partial ES6) JavaScript engine implemented entirely in pure Go, emphasizing standard compliance and perform… | 77 | 7059 | active |
| JUnit JUnit is the standard programmer-friendly testing framework for Java and the JVM, composed of the JUnit Platform (test launcher foundation)… | 98 | 7041 | stable |
| detekt/detekt detekt is a static code analysis tool for the Kotlin programming language that detects code smells and enforces configurable rule sets. It … | 70 | 7034 | active |
| rust-lang/rustup Rustup is the official toolchain installer and version manager for the Rust programming language. It installs and switches between stable, … | 77 | 7029 | stable |
| yuin/gopher-lua GopherLua is a Lua 5.1 (plus Lua 5.2 goto) virtual machine and compiler implemented in pure Go. It provides user-friendly Go APIs for embed… | 70 | 6974 | stable |
| rust-lang/rustfmt rustfmt is the official Rust code formatter that formats Rust code according to standard style guidelines. It integrates with cargo via `ca… | 67 | 6946 | stable |
| HaxeFoundation/haxe Haxe is an open-source, high-level, strictly typed programming language and cross-compiler toolkit that compiles to many targets including … | 67 | 6918 | stable |
| facebook/pyrefly Pyrefly is a fast Python type checker and language server written in Rust, providing CLI-based type checking plus IDE features like code na… | 86 | 6906 | stable |
| raphw/byte-buddy Byte Buddy is a Java library for generating and modifying Java classes at runtime without a compiler, offering a fluent API for creating ar… | 98 | 6887 | stable |
| RockstarLang/rockstar Rockstar is an esoteric programming language whose syntax is inspired by 1980s hard rock and heavy metal lyrics, together with its official… | 74 | 6883 | active |
| dominikh/go-tools Staticcheck is an advanced linter for the Go programming language that uses static analysis to find bugs, performance issues, and simplific… | 90 | 6860 | active |
| Pry Pry is a runtime developer console and IRB alternative for Ruby with powerful introspection capabilities such as source and documentation b… | 74 | 6836 | stable |
| dtolnay/cxx CXX is a Rust library providing a safe, statically analyzed foreign function interface between Rust and C++. It generates zero-overhead bri… | 94 | 6810 | stable |
| ktlint/ktlint Ktlint is an opinionated Kotlin linter with a built-in formatter that enforces a standard code style without configuration. It supports .ed… | 80 | 6735 | active |
| cppcheck-opensource/cppcheck Cppcheck is an open-source static analysis tool for C and C++ code that detects bugs, undefined behavior, and dangerous coding constructs w… | 87 | 6733 | stable |
| unisonweb/unison Unison is a statically-typed functional programming language with type inference, an effect (abilities) system, and content-addressed code … | 98 | 6717 | active |
| microsoft/GSL Microsoft's implementation of the Guidelines Support Library (GSL), a header-only C++14 library of types and functions recommended by the C… | 91 | 6710 | stable |
| typehero/typehero TypeHero is an open-source web platform where TypeScript developers practice and improve their skills through interactive type-level coding… | 72 | 6641 | active |
| dtolnay/anyhow A Rust library providing anyhow::Error, a trait-object-based concrete error type for idiomatic error handling in applications. It supports … | 97 | 6631 | stable |
| pardeike/Harmony Harmony is a C# library for patching, replacing, and decorating .NET and Mono methods at runtime without modifying files on disk. It is wid… | 79 | 6627 | stable |
| brython-dev/brython Brython is an implementation of Python 3 that runs entirely in the web browser, loaded as a JavaScript file and executing Python code embed… | 92 | 6611 | active |
| arrow-kt/arrow Arrow is a Kotlin library for typed functional programming, providing data types like Option and Either, typed error handling with the Rais… | 91 | 6580 | active |
| alibaba/p3c Alibaba's Java Coding Guidelines implemented as PMD rules plus IntelliJ IDEA and Eclipse plugins. It enforces Alibaba's internal Java best … | 32 | 30850 | maintenance |
| ocaml/ocaml The core OCaml compiler system, including bytecode and native-code compilers, a runtime system with generational garbage collection, and th… | 92 | 6537 | stable |
| rust-lang/miri Miri is an interpreter for Rust's mid-level intermediate representation (MIR) that detects undefined behavior in Rust programs. It runs bin… | 77 | 6535 | active |
| ondrajz/go-callvis go-callvis is a development tool that visualizes the call graph of Go programs using pointer analysis and Graphviz dot output. It provides … | 56 | 6508 | active |
| imba/imba Imba is a full-stack programming language that compiles to JavaScript and ships with a built-in declarative DOM framework for building web … | 67 | 6504 | active |
| evcxr/evcxr Evcxr is an evaluation context for Rust comprising a Jupyter kernel, a Rust REPL, and a shared library for evaluating Rust code incremental… | 95 | 6478 | active |
| elves/elvish Elvish is a powerful scripting language and versatile interactive shell written in Go, distributed as a single statically linked binary. It… | 57 | 6365 | active |
| swig/swig SWIG is a compiler that reads annotated C/C++ header files and generates wrapper (glue) code so C/C++ libraries can be called from high-lev… | 77 | 6318 | stable |
| scala/scala3 The Scala 3 compiler (Dotty), along with the Scala 3 standard library and language specification. It compiles Scala 3 source code to JVM by… | 91 | 6296 | stable |
| cue-lang/cue CUE is an open-source data validation language and inference engine for defining, generating, and validating text-based and dynamic configu… | 97 | 6241 | active |
| Tencent/puerts PuerTS is a multi-language scripting solution from Tencent that embeds JavaScript/TypeScript (and, for Unity, Lua and Python) runtimes into… | 92 | 6191 | active |
| jezen/is-thirteen A novelty npm package that checks whether a number is equal to 13, with a fluent API for approximate comparisons and arithmetic. It is a we… | 61 | 6181 | stable |
| google/google-java-format A program that reformats Java source code to comply with Google Java Style, usable from the command line or via an IntelliJ/JetBrains plugi… | 93 | 6179 | active |
| Neargye/magic_enum A header-only C++17 library providing static reflection for enums, enabling conversion between enum values and strings, iteration over enum… | 81 | 6175 | stable |
| ponylang/ponyc ponyc is the compiler for Pony, an open-source, object-oriented, actor-model, capabilities-secure, high-performance programming language th… | 99 | 6173 | active |
| vavr-io/vavr Vavr (formerly Javaslang) is an object-functional library for Java 8+ providing persistent immutable collections, pattern matching, and fun… | 81 | 6166 | stable |
| dsherret/ts-morph ts-morph is a TypeScript library that wraps the TypeScript Compiler API to simplify programmatic navigation and manipulation of TypeScript … | 88 | 6164 | active |
| javaparser/javaparser JavaParser is a Java library that parses Java source code (Java 1.0 through Java 25) into an Abstract Syntax Tree with advanced analysis ca… | 86 | 6141 | active |
| bellard/mquickjs MicroQuickJS is a compact JavaScript engine written in C, derived from QuickJS, designed for embedded systems with as little as 10 kB of RA… | 54 | 6130 | active |
| kucherenko/jscpd jscpd is a copy/paste detector that finds duplicated code blocks across 223+ programming languages and formats using the Rabin-Karp algorit… | 99 | 6057 | active |
| Dman95/SASM SASM (SimpleASM) is a simple open-source cross-platform IDE for writing and running programs in NASM, MASM, GAS, and FASM assembly language… | 63 | 5984 | active |
| doctrine/collections Doctrine Collections is a PHP library providing ArrayCollection and Collection interfaces that add functional operations like filter, map, … | 86 | 5975 | stable |
| lark-parser/lark Lark is a parsing toolkit for Python that can parse all context-free grammars using Earley, LALR(1), and CYK algorithms. It automatically b… | 79 | 5968 | stable |
| alda-lang/alda Alda is a text-based music composition language where scores are plain text files played back via the `alda` command-line tool. It includes… | 76 | 5935 | active |
| rust-lang/futures-rs futures-rs is the foundational Rust library for asynchronous programming, providing core trait definitions like Stream plus utilities such … | 89 | 5909 | stable |
| vimeo/psalm Psalm is an open-source static analysis tool for PHP that finds type-related bugs and security vulnerabilities through type inference and t… | 88 | 5884 | active |
| goproxyio/goproxy A Go module proxy server that caches and serves Go modules, available both as a hosted global service (goproxy.io) and as a self-hostable b… | 23 | 5870 | active |
| python-attrs/attrs attrs is a Python library that generates boilerplate dunder methods like __init__, __eq__, and __repr__ for your classes, letting you defin… | 87 | 5833 | stable |
| ruby-concurrency/concurrent-ruby A Ruby gem providing modern concurrency abstractions such as futures, promises, agents, thread pools, and supervisors, inspired by Erlang, … | 83 | 5831 | stable |