domain: programming-languages
1849 products, primary matches first, then adoption-weighted; health v2 shown.
| Product | Health v2 | Stars | Maturity |
|---|---|---|---|
| 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 | 5805 | active |
| doctrine/common Doctrine Common is a PHP library providing extensions to core PHP functionality, such as improved reflection support, proxy generation, and… | 69 | 5801 | stable |
| c3lang/c3c c3c is the official compiler for the C3 programming language, an evolution of C with modern features like modules, generics, error handling… | 94 | 5778 | active |
| 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… | 99 | 5772 | active |
| 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… | 59 | 5763 | 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… | 76 | 5740 | 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… | 76 | 26225 | maintenance |
| 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… | 89 | 5659 | 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… | 59 | 5637 | active |
| rhaiscript/rhai Rhai is an embedded scripting language and evaluation engine for Rust, offering a simple dynamically-typed language similar to JavaScript+R… | 91 | 5635 | stable |
| 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… | 96 | 5623 | 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 | 5601 | stable |
| rocq-prover/rocq The Rocq Prover (formerly Coq) is an interactive theorem prover and proof assistant based on the Calculus of Inductive Constructions, provi… | 83 | 5556 | 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… | 95 | 5547 | active |
| antirez/sds SDS (Simple Dynamic Strings) is a C string library that augments libc string handling with heap-allocated, binary-safe dynamic strings usin… | 40 | 5545 | stable |
| ohmjs/ohm Ohm is a parsing toolkit consisting of a JavaScript library and a domain-specific language based on parsing expression grammars (PEGs). It … | 80 | 5543 | active |
| 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 | 5526 | stable |
| 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… | 52 | 5525 | active |
| pythonnet/pythonnet Python.NET (pythonnet) is a library that integrates CPython with the .NET Common Language Runtime, letting Python code call .NET assemblies… | 83 | 5512 | stable |
| 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… | 92 | 5511 | active |
| pmd/pmd PMD is an extensible multilanguage static code analyzer that finds common programming flaws like unused variables, empty catch blocks, and … | 96 | 5473 | 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… | 60 | 5465 | 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 | 5464 | 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… | 92 | 5459 | stable |
| typelevel/cats Cats is a lightweight, modular, and extensible Scala library providing abstractions for functional programming, such as type classes (Funct… | 67 | 5456 | stable |
| prompt-toolkit/ptpython ptpython is an advanced Python REPL built on top of prompt_toolkit, offering syntax highlighting, multiline editing, autocompletion, and Vi… | 55 | 5450 | active |
| swiftlang/swift-corelibs-foundation The Swift Foundation project providing core utility classes, data structures, internationalization, and OS-independent APIs for the Swift l… | 74 | 5438 | 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… | 88 | 5435 | 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… | 36 | 5420 | active |
| winglang/wing Wing is an open-source, cloud-oriented programming language that unifies infrastructure definitions and application runtime code in a singl… | 73 | 5398 | 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,… | 94 | 5384 | stable |
| JuliaPluto/Pluto.jl Pluto.jl is a reactive notebook environment for the Julia programming language, where cells automatically re-run when their dependencies ch… | 96 | 5367 | 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… | 61 | 5330 | 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… | 69 | 5290 | 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. … | 76 | 5270 | active |
| 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… | 64 | 5256 | active |
| benjamn/recast Recast is a JavaScript syntax tree (AST) transformer and nondestructive pretty-printer that preserves original formatting where possible. I… | 67 | 5255 | stable |
| killme2008/aviatorscript AviatorScript is a high-performance, lightweight scripting language that runs on the JVM (including Android). It compiles scripts to JVM by… | 84 | 5240 | stable |
| rrrene/credo Credo is a static code analysis tool for the Elixir language with a focus on code consistency and teaching. It highlights refactoring oppor… | 91 | 5212 | stable |
| racket/racket Racket is a mature, general-purpose programming language and ecosystem designed for language-oriented programming, with a core implementati… | 90 | 5199 | stable |
| cordx56/rustowl RustOwl is a tool that visualizes ownership movement and variable lifetimes in Rust code using colored underlines, helping with debugging b… | 84 | 5198 | active |
| rvm/rvm RVM (Ruby enVironment Manager) is a command-line tool for installing, managing, and switching between multiple Ruby interpreters and gem en… | 66 | 5191 | active |
| vyperlang/vyper Vyper is a Pythonic smart contract language that compiles to Ethereum Virtual Machine (EVM) bytecode, emphasizing security, simplicity, and… | 74 | 5180 | active |
| 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… | 65 | 5142 | 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… | 27 | 5132 | stable |
| emacs-lsp/lsp-mode lsp-mode is an Emacs client for the Language Server Protocol, providing IDE-like features such as completion, diagnostics, code navigation,… | 78 | 5118 | 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… | 77 | 5114 | active |
| zigtools/zls ZLS is a non-official Language Server Protocol implementation for Zig, written in Zig. It provides IDE features such as autocomplete, goto … | 83 | 5092 | active |
| crablang/crab CrabLang is a community fork of the Rust programming language, providing the compiler, standard library, and toolchain renamed to avoid tra… | 30 | 5074 | 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… | 56 | 5073 | active |
| quantumlib/Cirq Cirq is a Python framework from Google Quantum AI for writing, manipulating, optimizing, and simulating quantum circuits, with a focus on N… | 88 | 5053 | stable |
| rstudio/rstudio RStudio is an integrated development environment (IDE) for the R programming language, providing a customizable workbench with console, edi… | 77 | 5045 | stable |
| Instagram/MonkeyType MonkeyType is a Python library that collects runtime types of function arguments and return values via the sys.setprofile hook, then genera… | 62 | 4997 | active |
| 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… | 67 | 4961 | active |
| Ocramius/ProxyManager A PHP library that generates and manages proxy classes for objects, supporting patterns like virtual proxies, lazy loading, and method inte… | 67 | 4943 | stable |
| 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… | 99 | 4940 | active |
| opal/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… | 81 | 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… | 76 | 4919 | 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… | 74 | 4914 | stable |
| 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 | 4896 | active |
| rusterlium/rustler Rustler is a Rust library for writing safe Erlang NIFs (Native Implemented Functions) that run inside the BEAM VM without risking crashes. … | 90 | 4857 | stable |
| sodiray/radash Radash is a modern, zero-dependency functional utility library for JavaScript and TypeScript, offering typed helpers for arrays, objects, a… | 35 | 4838 | stable |
| ProvableHQ/leo Leo is an imperative, statically-typed programming language for writing zero-knowledge applications that compile to circuits for the Aleo b… | 98 | 4821 | active |
| google/wuffs Wuffs is a memory-safe programming language plus a standard library for safely parsing, decoding and encoding untrusted file formats such a… | 75 | 4820 | active |
| immunant/c2rust C2Rust is a transpiler that converts C99-compliant C code into semantically equivalent but unsafe, unidiomatic Rust code, preserving functi… | 81 | 4794 | active |
| 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… | 97 | 4793 | active |
| kotest/kotest Kotest is a comprehensive, multiplatform testing framework for Kotlin offering a flexible test DSL, over 350 assertion matchers, and integr… | 98 | 4787 | active |
| chipsalliance/chisel Chisel is an open-source hardware description language (HDL) embedded in Scala for describing digital electronics at the register-transfer … | 98 | 4763 | stable |
| 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… | 82 | 4757 | 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 | 4743 | active |
| scala-js/scala-js Scala.js is a compiler that translates Scala code into efficient JavaScript, letting developers write type-safe applications for browsers, … | 91 | 4710 | stable |
| PerryTS/perry Perry is a native TypeScript/JavaScript compiler written in Rust that compiles TypeScript source directly to standalone machine-code execut… | 75 | 4709 | 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 | 4705 | active |
| bytedeco/javacpp JavaCPP is a Java library that provides efficient access to native C++ from Java via JNI, bridging the two languages by exploiting their sy… | 86 | 4705 | 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… | 85 | 4685 | active |
| scalaz/scalaz Scalaz is a Scala library for principled functional programming, providing purely functional data structures and foundational type classes … | 77 | 4673 | 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… | 65 | 4660 | stable |
| 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 | 4639 | active |
| mozilla/rhino Rhino is an open-source implementation of JavaScript written entirely in Java, maintained by Mozilla. It is typically embedded into Java ap… | 89 | 4620 | 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 | 4612 | stable |
| scottrogowski/code2flow Code2flow is a command-line tool that generates approximate call graphs for dynamic languages (Python, JavaScript, Ruby, PHP) by parsing so… | 47 | 4604 | 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 | 4594 | stable |
| marcobambini/gravity Gravity is a lightweight, dynamically typed, class-based scripting language written in portable C99 with no external dependencies, featurin… | 93 | 4560 | active |
| Fody/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… | 75 | 4541 | 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 | 4540 | 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… | 82 | 4521 | 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… | 91 | 4481 | stable |
| dhall-lang/dhall-lang Dhall is a programmable, non-Turing-complete configuration language with functions, types, and imports, formally specified so multiple lang… | 67 | 4475 | active |
| devxoul/Then Then is a tiny Swift library providing syntactic sugar for object initialization via then(), with(), and do() closure-based helpers. It wor… | 55 | 4392 | stable |
| 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… | 57 | 4377 | stable |
| janet-lang/janet Janet is a dynamic functional and imperative Lisp-like programming language with its own bytecode VM, implemented in a single embeddable C … | 85 | 4370 | 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… | 95 | 4368 | active |
| libffi/libffi libffi is a portable C library providing a high-level interface to various calling conventions, allowing code to call compiled functions wh… | 94 | 4361 | 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… | 90 | 4355 | active |
| evhub/coconut Coconut is a functional programming language that is a superset of Python, compiling to Python code while adding features like pattern matc… | 61 | 4349 | active |
| LuaLS/lua-language-server A Language Server Protocol implementation for Lua, written in Lua, providing features like autocompletion, type checking, diagnostics, form… | 98 | 4347 | stable |
| unjs/magic-regexp magic-regexp is a TypeScript library providing a readable, natural-language builder for regular expressions with automatically typed captur… | 82 | 4335 | 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 | 4323 | stable |
| dragonwell-project/dragonwell8 Alibaba Dragonwell8 is a downstream, production-hardened distribution of OpenJDK 8 (LTS) optimized for large-scale online e-commerce, finan… | 93 | 4317 | active |
| rocky/python-uncompyle6 uncompyle6 is a cross-version Python bytecode decompiler that translates bytecode from Python 1.0 through 3.8 back into equivalent Python s… | 62 | 4316 | active |