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 |
|---|---|---|---|
| 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… | 96 | 10862 | stable |
| 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… | 76 | 10841 | active |
| google/auto Google Auto is a collection of Java annotation-processor-based source code generators, including AutoValue for immutable value types, AutoF… | 71 | 10559 | stable |
| 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 | 10437 | active |
| lua/lua The official development repository of Lua, a powerful, lightweight, embeddable scripting language implemented in C. It includes the langua… | 85 | 10388 | stable |
| 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 | 10295 | stable |
| swiftlang/swift-package-manager The official package manager for the Swift programming language, handling dependency resolution, versioning, compilation, and linking of Sw… | 97 | 10226 | 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… | 43 | 10202 | stable |
| npm CLI npm is the default package manager for Node.js and JavaScript, used to install, publish, and manage project dependencies from the npm regis… | 93 | 10131 | active |
| bobthecow/psysh PsySH is a runtime developer console, interactive debugger, and REPL for PHP. It provides an interactive shell with tab completion, inline … | 94 | 9828 | 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 … | 96 | 9658 | active |
| Lean 4 theorem prover Lean 4 is an open-source dependently typed functional programming language and interactive theorem prover used for formalizing mathematics … | 100 | 9610 | 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… | 95 | 9481 | active |
| 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… | 92 | 9423 | active |
| ClojureScript ClojureScript is a compiler that translates Clojure code into JavaScript, designed to emit output compatible with Google Closure's advanced… | 90 | 9391 | stable |
| Spyder Spyder is a free, open-source scientific Python IDE built with PyQt, featuring an editor, interactive console, variable explorer, and plott… | 93 | 9372 | 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… | 99 | 9193 | 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… | 70 | 9154 | stable |
| 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… | 96 | 9058 | stable |
| phpDocumentor/ReflectionCommon ReflectionCommon is a small PHP library containing shared interfaces and common classes used by phpDocumentor's reflection components. It s… | 42 | 9032 | 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… | 96 | 8932 | active |
| PureScript PureScript is a small, strongly typed functional programming language inspired by Haskell that compiles to readable JavaScript. It features… | 70 | 8913 | active |
| myclabs/DeepCopy A PHP library that creates deep copies (clones) of objects, recursively copying all referenced objects while handling cycles in the associa… | 87 | 8885 | stable |
| 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… | 88 | 8807 | active |
| 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 | 8784 | active |
| 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… | 90 | 8658 | 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), … | 52 | 8612 | 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 | 8571 | active |
| robertkrimen/otto Otto is a JavaScript parser and interpreter written natively in Go, providing an embeddable VM for running JavaScript inside Go application… | 42 | 8450 | 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… | 49 | 8406 | active |
| Wren Wren is a small, fast, class-based concurrent scripting language implemented as an embeddable C library with a bytecode VM and lightweight … | 43 | 8141 | stable |
| 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… | 75 | 8040 | 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… | 62 | 8028 | 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… | 95 | 8007 | active |
| Elm The official compiler for Elm, a statically typed functional programming language designed for building reliable web applications that comp… | 94 | 7913 | 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 … | 94 | 7871 | 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… | 56 | 7727 | active |
| webmozarts/assert A PHP library providing efficient assertions for validating method input and output, throwing InvalidArgumentException with clear, consiste… | 92 | 7649 | 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 … | 88 | 7604 | active |
| Jsonnet Jsonnet is a data templating configuration language that extends JSON with functions, variables, object-orientation, and imports to elimina… | 63 | 7581 | 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 | 7557 | active |
| ReScript ReScript is a robustly typed programming language that compiles to efficient, human-readable JavaScript, with a lightning-fast compiler too… | 93 | 7465 | 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… | 57 | 7462 | stable |
| 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… | 82 | 7365 | active |
| technomancy/leiningen Leiningen is the classic build and project automation tool for Clojure, handling project scaffolding, dependency management, testing, REPL … | 72 | 7296 | stable |
| 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… | 72 | 7296 | 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.… | 93 | 7252 | active |
| pypa/hatch Hatch is a modern, extensible Python project manager from PyPA that combines a standards-compliant build system, environment management, Py… | 96 | 7236 | active |
| millsp/ts-toolbelt ts-toolbelt is a large TypeScript type utility library offering 200+ generic type functions for computing, transforming, and creating types… | 30 | 7150 | stable |
| Goja Goja is an ECMAScript 5.1 (plus partial ES6) JavaScript engine implemented entirely in pure Go, emphasizing standard compliance and perform… | 77 | 7135 | active |
| 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… | 84 | 7094 | stable |
| detekt detekt is a static code analysis tool for the Kotlin programming language that detects code smells and enforces configurable rule sets. It … | 67 | 7089 | active |
| 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… | 86 | 7083 | active |
| 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… | 45 | 7081 | stable |
| rust-lang/rustup Rustup is the official toolchain installer and version manager for the Rust programming language. It installs and switches between stable, … | 77 | 7068 | stable |
| JUnit JUnit is the standard programmer-friendly testing framework for Java and the JVM, composed of the JUnit Platform (test launcher foundation)… | 96 | 7059 | 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… | 68 | 6997 | 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… | 63 | 6987 | 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 | 6946 | stable |
| Staticcheck Staticcheck is an advanced linter for the Go programming language that uses static analysis to find bugs, performance issues, and simplific… | 88 | 6906 | active |
| 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… | 96 | 6892 | 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… | 70 | 6878 | active |
| dtolnay/cxx CXX is a Rust library providing a safe, statically analyzed foreign function interface between Rust and C++. It generates zero-overhead bri… | 95 | 6843 | stable |
| Pry Pry is a runtime developer console and IRB alternative for Ruby with powerful introspection capabilities such as source and documentation b… | 96 | 6837 | stable |
| 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… | 90 | 6774 | 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… | 78 | 6765 | active |
| Unison Unison is a statically-typed functional programming language with type inference, an effect (abilities) system, and content-addressed code … | 99 | 6756 | 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… | 87 | 6722 | stable |
| dtolnay/anyhow A Rust library providing anyhow::Error, a trait-object-based concrete error type for idiomatic error handling in applications. It supports … | 94 | 6677 | stable |
| 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… | 75 | 6661 | 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 | 6660 | active |
| typehero/typehero TypeHero is an open-source web platform where TypeScript developers practice and improve their skills through interactive type-level coding… | 72 | 6638 | active |
| 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… | 88 | 6609 | active |
| Arrow Arrow is a Kotlin library for typed functional programming, providing data types like Option and Either, typed error handling with the Rais… | 88 | 6581 | active |
| ocaml/ocaml The core OCaml compiler system, including bytecode and native-code compilers, a runtime system with generational garbage collection, and th… | 92 | 6571 | stable |
| 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 … | 52 | 6524 | active |
| Imba Imba is a full-stack programming language that compiles to JavaScript and ships with a built-in declarative DOM framework for building web … | 68 | 6512 | 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… | 93 | 6502 | 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… | 100 | 6421 | active |
| Elvish Elvish is a powerful scripting language and versatile interactive shell written in Go, distributed as a single statically linked binary. It… | 53 | 6383 | 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… | 76 | 6328 | 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… | 92 | 6305 | stable |
| CUE CUE is an open-source data validation language and inference engine for defining, generating, and validating text-based and dynamic configu… | 94 | 6280 | 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 | 6217 | 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… | 78 | 6208 | 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… | 95 | 6206 | active |
| ponylang/ponyc ponyc is the compiler for Pony, an open-source, object-oriented, actor-model, capabilities-secure, high-performance programming language th… | 100 | 6202 | active |
| dsherret/ts-morph ts-morph is a TypeScript library that wraps the TypeScript Compiler API to simplify programmatic navigation and manipulation of TypeScript … | 85 | 6201 | 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… | 60 | 6193 | active |
| vavr-io/vavr Vavr (formerly Javaslang) is an object-functional library for Java 8+ providing persistent immutable collections, pattern matching, and fun… | 78 | 6178 | stable |
| 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… | 57 | 6173 | stable |
| 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… | 84 | 6162 | active |
| Lark parsing toolkit Lark is a parsing toolkit for Python that can parse all context-free grammars using Earley, LALR(1), and CYK algorithms. It automatically b… | 73 | 6014 | stable |
| luau-lang/luau Luau is a fast, small, gradually typed scripting language derived from Lua 5.1, designed to be embedded in applications with a sandboxed ru… | 95 | 6009 | 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… | 57 | 5984 | active |
| doctrine/collections Doctrine Collections is a PHP library providing ArrayCollection and Collection interfaces that add functional operations like filter, map, … | 85 | 5975 | stable |
| 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… | 74 | 5949 | 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 | 5929 | 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… | 98 | 5896 | active |
| C3 Language c3c is the official compiler for the C3 programming language, an evolution of C with modern features like modules, generics, error handling… | 95 | 5880 | active |