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 |
|---|---|---|---|
| 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 | 5868 | 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… | 81 | 5846 | stable |
| PyO3/maturin Maturin is a Rust-based CLI tool that builds and publishes Python wheels for crates with pyo3, cffi, or uniffi bindings, as well as Rust bi… | 97 | 5841 | active |
| Concurrent Ruby A Ruby gem providing modern concurrency abstractions such as futures, promises, agents, thread pools, and supervisors, inspired by Erlang, … | 80 | 5833 | stable |
| LuaJIT/LuaJIT LuaJIT is a Just-In-Time (JIT) compiler for the Lua programming language, offering a high-performance interpreter and trace compiler. It in… | 77 | 5803 | stable |
| doctrine/common Doctrine Common is a PHP library providing extensions to core PHP functionality, such as improved reflection support, proxy generation, and… | 58 | 5798 | stable |
| piotrwitek/utility-types A TypeScript library providing a collection of utility types (like lodash for static types) that complement TypeScript's built-in mapped ty… | 56 | 5763 | stable |
| burrowers/garble Garble is a CLI tool that obfuscates Go binaries by wrapping the Go toolchain's compiler and linker. It replaces identifiers, package paths… | 94 | 5749 | active |
| rhaiscript/rhai Rhai is an embedded scripting language and evaluation engine for Rust, offering a simple dynamically-typed language similar to JavaScript+R… | 88 | 5714 | stable |
| microsoft/typescript-go The staging repository for TypeScript 7.0, a native Go port of the TypeScript compiler (tsgo/tsc), offering dramatically faster type checki… | 10 | 26180 | maintenance |
| dotnet/skills A curated collection of agent skills and custom agents from the .NET team, packaged as plugins for AI coding agents like Copilot CLI and Cl… | 63 | 5655 | active |
| lebab/lebab Lebab is a JavaScript transpiler that converts ES5 code into readable ES6/ES7, doing the opposite of Babel. It offers a CLI and library API… | 71 | 5631 | active |
| phan/phan Phan is a static analyzer for PHP that finds bugs in code before it runs, focusing on type compatibility checking and minimizing false posi… | 99 | 5630 | active |
| mruby/mruby mruby is a lightweight implementation of the Ruby programming language, ISO-standard compliant and Ruby 4.x syntax compatible, written in C… | 77 | 5617 | stable |
| Rocq Prover The Rocq Prover (formerly Coq) is an interactive theorem prover and proof assistant based on the Calculus of Inductive Constructions, provi… | 88 | 5591 | stable |
| antirez/sds SDS (Simple Dynamic Strings) is a C string library that augments libc string handling with heap-allocated, binary-safe dynamic strings usin… | 36 | 5577 | stable |
| dtolnay/thiserror A Rust library providing a convenient derive macro for implementing the standard library's std::error::Error trait on structs and enums. It… | 98 | 5573 | stable |
| mgechev/revive Revive is a fast, configurable, and extensible linter for Go, serving as a drop-in replacement for golint. It supports TOML-based rule conf… | 90 | 5554 | active |
| ohmjs/ohm Ohm is a parsing toolkit consisting of a JavaScript library and a domain-specific language based on parsing expression grammars (PEGs). It … | 74 | 5550 | active |
| phpbrew/phpbrew PHPBrew is a command-line tool written in PHP that builds and installs multiple PHP versions in your home directory without root access. It… | 48 | 5523 | active |
| x-motemen/gore gore is a Go REPL (read-eval-print loop) that supports line editing, multi-line input, code completion via gopls, and auto-importing of pac… | 86 | 5518 | active |
| pythonnet/pythonnet Python.NET (pythonnet) is a library that integrates CPython with the .NET Common Language Runtime, letting Python code call .NET assemblies… | 79 | 5513 | stable |
| PMD PMD is an extensible multilanguage static code analyzer that finds common programming flaws like unused variables, empty catch blocks, and … | 97 | 5494 | stable |
| dmmulroy/anti-slop A set of opinionated Oxlint plugin rules that reject low-evidence TypeScript and JavaScript patterns, designed to be vendored into a reposi… | 58 | 5492 | active |
| apache/groovy Apache Groovy is a multi-faceted programming language for the JVM that offers Java-like syntax with productivity features such as closures,… | 77 | 5474 | stable |
| typelevel/cats Cats is a lightweight, modular, and extensible Scala library providing abstractions for functional programming, such as type classes (Funct… | 66 | 5469 | stable |
| npm/node-semver The semantic versioning (semver) parser and comparison library used by npm itself, implemented in JavaScript for Node.js. It parses, valida… | 91 | 5466 | stable |
| python-mode/python-mode Python-mode is a Vim plugin that turns Vim into a Python IDE, bundling linting, formatting, code completion, refactoring, documentation loo… | 57 | 5466 | active |
| prompt-toolkit/ptpython ptpython is an advanced Python REPL built on top of prompt_toolkit, offering syntax highlighting, multiline editing, autocompletion, and Vi… | 49 | 5452 | active |
| swiftlang/swift-corelibs-foundation The Swift Foundation project providing core utility classes, data structures, internationalization, and OS-independent APIs for the Swift l… | 88 | 5439 | active |
| hylang/hy Hy is a Lisp dialect that compiles to Python AST, giving full access to Python's ecosystem in Lisp syntax. It ships with a REPL, a compiler… | 87 | 5439 | active |
| Speykious/cve-rs cve-rs is a joke/educational Rust crate that reproduces classic memory vulnerabilities (use-after-free, buffer overflow, segfault) using on… | 33 | 5428 | active |
| winglang/wing Wing is an open-source, cloud-oriented programming language that unifies infrastructure definitions and application runtime code in a singl… | 78 | 5402 | active |
| pest-parser/pest pest is a general-purpose parser library for Rust based on parsing expression grammars (PEG). Grammars are defined in separate .pest files,… | 93 | 5400 | stable |
| Pluto.jl Pluto.jl is a reactive notebook environment for the Julia programming language, where cells automatically re-run when their dependencies ch… | 99 | 5397 | stable |
| cweill/gotests gotests is a Go command-line tool that automatically generates table-driven test boilerplate from source code by analyzing function and met… | 55 | 5335 | active |
| rust-lang/rust-bindgen bindgen is a Rust tool that automatically generates Rust FFI bindings to C (and some C++) libraries by parsing header files with libclang. … | 73 | 5294 | active |
| google/gts gts is Google's TypeScript style guide packaged as a zero-configuration CLI tool that bundles ESLint linting, Prettier formatting, and an o… | 52 | 5290 | active |
| benjamn/recast Recast is a JavaScript syntax tree (AST) transformer and nondestructive pretty-printer that preserves original formatting where possible. I… | 63 | 5253 | stable |
| killme2008/aviatorscript AviatorScript is a high-performance, lightweight scripting language that runs on the JVM (including Android). It compiles scripts to JVM by… | 78 | 5246 | stable |
| cordx56/rustowl RustOwl is a tool that visualizes ownership movement and variable lifetimes in Rust code using colored underlines, helping with debugging b… | 82 | 5231 | active |
| Credo Credo is a static code analysis tool for the Elixir language with a focus on code consistency and teaching. It highlights refactoring oppor… | 87 | 5222 | stable |
| Racket Racket is a mature, general-purpose programming language and ecosystem designed for language-oriented programming, with a core implementati… | 87 | 5215 | stable |
| Zig Language Server (zls) ZLS is a non-official Language Server Protocol implementation for Zig, written in Zig. It provides IDE features such as autocomplete, goto … | 81 | 5194 | active |
| RVM RVM (Ruby enVironment Manager) is a command-line tool for installing, managing, and switching between multiple Ruby interpreters and gem en… | 66 | 5188 | active |
| vyperlang/vyper Vyper is a Pythonic smart contract language that compiles to Ethereum Virtual Machine (EVM) bytecode, emphasizing security, simplicity, and… | 73 | 5185 | active |
| ThePhD/sol2 sol2 (Sol3) is a header-only C++17 library that provides fast, modern bindings between C++ and Lua, supporting Lua 5.1+, LuaJIT, and MoonJI… | 24 | 5150 | stable |
| clibs/clib clib is a lightweight package manager for the C programming language that installs small, standalone 'micro' C libraries from a git-based r… | 61 | 5146 | active |
| lsp-mode lsp-mode is an Emacs client for the Language Server Protocol, providing IDE-like features such as completion, diagnostics, code navigation,… | 78 | 5126 | active |
| python/typeshed Typeshed is a collection of static type stubs for the Python standard library, builtins, and many third-party packages. It provides the ann… | 75 | 5124 | active |
| hundredrabbits/Orca Orca is a two-dimensional esoteric programming language where every letter of the alphabet is an operator, designed to quickly create proce… | 52 | 5117 | active |
| rstudio/rstudio RStudio is an integrated development environment (IDE) for the R programming language, providing a customizable workbench with console, edi… | 77 | 5091 | stable |
| quantumlib/Cirq Cirq is a Python framework from Google Quantum AI for writing, manipulating, optimizing, and simulating quantum circuits, with a focus on N… | 86 | 5086 | stable |
| crablang/crab CrabLang is a community fork of the Rust programming language, providing the compiler, standard library, and toolchain renamed to avoid tra… | 31 | 5063 | active |
| mozilla/uniffi-rs UniFFI is a Rust toolkit that generates foreign-language bindings for Rust code, letting you write core logic once and call it from Kotlin,… | 77 | 5033 | active |
| PerryTS/perry Perry is a native TypeScript/JavaScript compiler written in Rust that compiles TypeScript source directly to standalone machine-code execut… | 78 | 5013 | active |
| Instagram/MonkeyType MonkeyType is a Python library that collects runtime types of function arguments and return values via the sys.setprofile hook, then genera… | 58 | 5007 | active |
| inkle/ink ink is inkle's open-source scripting language and narrative engine for writing interactive, branching stories in games. Written in C#, it i… | 67 | 4973 | stable |
| microsoft/tsdoc TSDoc is a proposed standard for TypeScript doc comments, with an open-source reference parser (@microsoft/tsdoc) that tools can use to ext… | 66 | 4968 | active |
| sbt/sbt sbt is the interactive build tool for Scala and Java projects, using a Scala-based DSL (build.sbt) to define parallel task graphs. It provi… | 97 | 4953 | active |
| Ocramius/ProxyManager A PHP library that generates and manages proxy classes for objects, supporting patterns like virtual proxies, lazy loading, and method inte… | 65 | 4942 | stable |
| Opal Opal is a Ruby to JavaScript source-to-source compiler that ships with its own implementation of the Ruby corelib and stdlib. It lets devel… | 77 | 4926 | stable |
| samuelmtimbo/unit Unit is a general-purpose visual programming language and web-based environment where programs are graphs of MIMO finite state machines, in… | 77 | 4919 | active |
| Rustler Rustler is a Rust library for writing safe Erlang NIFs (Native Implemented Functions) that run inside the BEAM VM without risking crashes. … | 86 | 4869 | stable |
| google/wuffs Wuffs is a memory-safe programming language plus a standard library for safely parsing, decoding and encoding untrusted file formats such a… | 76 | 4851 | active |
| sodiray/radash Radash is a modern, zero-dependency functional utility library for JavaScript and TypeScript, offering typed helpers for arrays, objects, a… | 31 | 4835 | stable |
| Leo Programming Language Leo is an imperative, statically-typed programming language for writing zero-knowledge applications that compile to circuits for the Aleo b… | 98 | 4823 | active |
| immunant/c2rust C2Rust is a transpiler that converts C99-compliant C code into semantically equivalent but unsafe, unidiomatic Rust code, preserving functi… | 79 | 4821 | active |
| Chisel Chisel is an open-source hardware description language (HDL) embedded in Scala for describing digital electronics at the register-transfer … | 98 | 4807 | stable |
| gomods/athens Athens is an open-source, enterprise-ready implementation of the Go Module proxy server that caches and serves Go modules via the Go Module… | 94 | 4806 | active |
| kotest/kotest Kotest is a comprehensive, multiplatform testing framework for Kotlin offering a flexible test DSL, over 350 assertion matchers, and integr… | 100 | 4789 | active |
| include-what-you-use/include-what-you-use Include What You Use (IWYU) is a Clang-based tool that analyzes #include directives in C and C++ source files. It detects superfluous inclu… | 90 | 4778 | active |
| yoav-lavi/melody Melody is a domain-specific language that compiles to ECMAScript regular expressions, designed to be more readable and maintainable than ra… | 23 | 4742 | active |
| sebastienros/jint Jint is a JavaScript interpreter written in C# for .NET, supporting modern ECMAScript standards and running on any .NET Standard 2.0+ platf… | 99 | 4738 | active |
| Scala.js Scala.js is a compiler that translates Scala code into efficient JavaScript, letting developers write type-safe applications for browsers, … | 89 | 4710 | stable |
| JavaCV JavaCPP is a Java library that provides efficient access to native C++ from Java via JNI, bridging the two languages by exploiting their sy… | 80 | 4706 | stable |
| scala-native/scala-native Scala Native is an optimizing ahead-of-time compiler and lightweight managed runtime that compiles Scala code to native machine code via LL… | 83 | 4694 | active |
| andreasfertig/cppinsights C++ Insights is a Clang-based source-to-source transformation tool that shows the compiler's view of C++ code, revealing implicit conversio… | 76 | 4671 | active |
| Scalaz Scalaz is a Scala library for principled functional programming, providing purely functional data structures and foundational type classes … | 75 | 4667 | stable |
| hhatto/autopep8 autopep8 is a Python tool that automatically formats Python code to conform to the PEP 8 style guide. It uses pycodestyle to detect formatt… | 61 | 4658 | stable |
| mozilla/rhino Rhino is an open-source implementation of JavaScript written entirely in Java, maintained by Mozilla. It is typically embedded into Java ap… | 87 | 4641 | active |
| borgo-lang/borgo Borgo is a statically typed programming language with Rust-inspired syntax that transpiles to readable Go code. It offers algebraic data ty… | 31 | 4632 | active |
| babashka/babashka Babashka is a native, fast-starting Clojure interpreter compiled with GraalVM native-image, designed for scripting in places where you woul… | 98 | 4613 | stable |
| scottrogowski/code2flow Code2flow is a command-line tool that generates approximate call graphs for dynamic languages (Python, JavaScript, Ruby, PHP) by parsing so… | 44 | 4612 | active |
| francisrstokes/super-expressive Super Expressive is a zero-dependency JavaScript library for building regular expressions using a fluent, almost natural-language API. It p… | 32 | 4610 | stable |
| marcobambini/gravity Gravity is a lightweight, dynamically typed, class-based scripting language written in portable C99 with no external dependencies, featurin… | 95 | 4582 | active |
| Fody Fody is an extensible tool for weaving .NET assemblies, manipulating IL code as part of the build process. It provides an add-in model that… | 70 | 4543 | active |
| zesterer/chumsky Chumsky is a Rust parser-combinator library for writing expressive, high-performance parsers with rich error diagnostics and recovery. It s… | 10 | 4533 | active |
| apple/swift-collections An open-source Swift package from Apple providing implementations of commonly used data structures such as deques, ordered sets, ordered di… | 99 | 4517 | stable |
| astral-sh/python-build-standalone A project that produces standalone, highly redistributable builds of the Python interpreter for multiple platforms. It provides prebuilt, s… | 96 | 4506 | active |
| Dhall Dhall is a programmable, non-Turing-complete configuration language with functions, types, and imports, formally specified so multiple lang… | 67 | 4488 | active |
| Janet programming language Janet is a dynamic functional and imperative Lisp-like programming language with its own bytecode VM, implemented in a single embeddable C … | 94 | 4463 | stable |
| devxoul/Then Then is a tiny Swift library providing syntactic sugar for object initialization via then(), with(), and do() closure-based helpers. It wor… | 51 | 4395 | stable |
| libffi/libffi libffi is a portable C library providing a high-level interface to various calling conventions, allowing code to call compiled functions wh… | 90 | 4394 | stable |
| Lua Language Server A Language Server Protocol implementation for Lua, written in Lua, providing features like autocompletion, type checking, diagnostics, form… | 100 | 4391 | stable |
| dry-python/returns A Python library providing typed functional programming primitives like Result, Maybe, and IO containers with full mypy support and a custo… | 87 | 4378 | active |
| ericniebler/range-v3 range-v3 is a C++14/17/20 range library that extends the STL with composable views, actions, and range-based algorithms. It served as the b… | 67 | 4376 | stable |
| evhub/coconut Coconut is a functional programming language that is a superset of Python, compiling to Python code while adding features like pattern matc… | 55 | 4356 | active |
| dotnet/fsharp The official open-source F# compiler, F# core library (FSharp.Core), and F# language service, including tooling integration for Visual Stud… | 74 | 4344 | stable |
| unjs/magic-regexp magic-regexp is a TypeScript library providing a readable, natural-language builder for regular expressions with automatically typed captur… | 89 | 4338 | active |