domain: programming-languages
1849 products, primary matches first, then adoption-weighted; health v2 shown.
| Product | Health v2 | Stars | Maturity |
|---|---|---|---|
| flix/flix Flix is a statically typed, effect-oriented programming language that combines functional, imperative, and logic programming paradigms, dev… | 99 | 2734 | active |
| aardappel/lobster Lobster is a statically typed, general-purpose programming language with a Python-like indentation syntax, flow-sensitive type inference, a… | 95 | 2732 | active |
| jessevdk/go-flags go-flags is a Go library for parsing command line options, offering more features than the standard flag package. It uses structs, reflecti… | 23 | 2697 | stable |
| swiftlang/swift-foundation The Swift Foundation project, providing the core implementation of key Foundation API types such as URL, Data, JSONDecoder, Locale, and Cal… | 96 | 2680 | active |
| comby-tools/comby Comby is a command-line tool for structural search and replace across ~every programming language using lightweight syntax-aware templates.… | 62 | 2670 | active |
| sharkdp/numbat Numbat is a statically typed programming language for scientific computations with first-class support for physical dimensions and units, i… | 99 | 2668 | active |
| schmittjoh/php-option A PHP library implementing the Option type (Some/None) to represent optional values instead of returning null. It forces developers to expl… | 91 | 2664 | stable |
| zhanyong-wan/dongbei dongbei is a novelty programming language whose keywords are based on Northeastern Chinese (Dongbei) dialect vocabulary, implemented on top… | 70 | 2659 | active |
| ray-x/go.nvim A feature-rich Neovim plugin for Go development, written in Lua, integrating gopls LSP, treesitter, DAP debugging, and AI assistance. It co… | 74 | 2656 | active |
| vnmakarov/mir MIR is a lightweight JIT compiler project built around a strongly typed Medium Internal Representation, with a C11 JIT compiler and interpr… | 62 | 2647 | active |
| IHaskell/IHaskell IHaskell is a Jupyter kernel that lets you run Haskell code interactively in Jupyter frontends like the console and notebook. It supports G… | 76 | 2646 | active |
| redplanetlabs/specter Specter is a Clojure/ClojureScript library for querying and transforming immutable nested and recursive data structures via composable 'nav… | 52 | 2622 | stable |
| VerbalExpressions/JavaVerbalExpressions A Java library providing a fluent builder API for constructing regular expressions in readable, chainable code instead of raw regex strings… | 66 | 2618 | stable |
| HotswapProjects/HotswapAgent HotswapAgent is a Java agent providing unlimited runtime class and resource redefinition, enabling real-time code changes without applicati… | 77 | 2611 | active |
| zkat/miette miette is a Rust diagnostic library that extends std::error::Error with a Diagnostic protocol, derive macros, and pretty, detailed error re… | 63 | 2601 | stable |
| python-lsp/python-lsp-server A Python 3.9+ implementation of the Language Server Protocol, maintained by the Spyder IDE team as a community fork of python-language-serv… | 79 | 2592 | active |
| reasonml/reason Reason is an alternative syntax and toolchain for the OCaml programming language, offering simple, fast, type-safe code with a JavaScript-f… | 91 | 10323 | maintenance |
| seanbaxter/circle Circle is a C++ compiler by Sean Baxter that extends C++ with new language features like choice types, pattern matching, interfaces, and re… | 32 | 2574 | active |
| opis/closure Opis Closure is a PHP library that serializes closures, anonymous classes, and arbitrary data, overcoming PHP's native serialization limita… | 77 | 2571 | stable |
| facet-rs/facet Facet is a Rust reflection ecosystem: a single derive macro gives types a runtime SHAPE description (fields, variants, attributes, layout) … | 82 | 2570 | active |
| google/zerocopy A Rust library providing safe, zero-cost APIs for casting between byte sequences and typed values without copying memory. It encapsulates t… | 94 | 2565 | stable |
| microsoft/PTVS Python Tools for Visual Studio (PTVS) is Microsoft's Python support extension for Visual Studio, providing IntelliSense, debugging, profili… | 67 | 2564 | active |
| tsdjs/tsd tsd is a CLI tool and library for testing TypeScript type definitions (.d.ts files). It statically analyzes .test-d.ts files containing ass… | 42 | 2557 | active |
| typescript-language-server/typescript-language-server A community-maintained Language Server Protocol implementation for TypeScript and JavaScript, wrapping the tsserver API so any LSP-capable … | 99 | 2553 | active |
| joaotavora/eglot Eglot is an Emacs client for Language Server Protocol (LSP) servers, providing IDE-like features such as completion, diagnostics, and go-to… | 76 | 2553 | stable |
| NuGetPackageExplorer/NuGetPackageExplorer NuGet Package Explorer is a GUI application for creating, editing, inspecting, and deploying NuGet packages, available on Windows via the M… | 66 | 2548 | active |
| mattwparas/steel Steel is an embeddable Scheme dialect interpreter implemented in Rust, running on a bytecode virtual machine with mostly R5RS compliance. I… | 89 | 2546 | active |
| mewwts/addict addict is a Python library providing a Dict class that subclasses dict and allows values to be accessed and set via attribute syntax as wel… | 56 | 2546 | stable |
| go-nv/goenv goenv is a Go version manager modeled after pyenv and rbenv, letting users switch global, per-project, and environment-variable-overridden … | 98 | 2539 | active |
| TypeScriptToLua/TypeScriptToLua TypeScriptToLua is a generic TypeScript to Lua transpiler that lets developers write code in TypeScript and compile it to Lua. It targets a… | 73 | 2538 | active |
| flycheck/flycheck Flycheck is a modern on-the-fly syntax checking extension for GNU Emacs that runs linters and LSP diagnostics as you edit. It supports many… | 98 | 2534 | active |
| kisielk/errcheck errcheck is a static analysis tool for Go that finds silently ignored error return values. It can be run as a CLI or integrated via the go/… | 78 | 2528 | active |
| cloudwu/coroutine A small asymmetric coroutine library for C, similar to Lua's coroutines. Coroutines in a schedule share a single stack, so many coroutines … | 32 | 2522 | stable |
| thepowersgang/mrustc mrustc is an alternative Rust compiler written in C++ whose primary purpose is bootstrapping rustc without needing an existing Rust binary.… | 77 | 2521 | active |
| r-lib/devtools devtools is an R package that streamlines R package development with functions for loading, documenting, testing, building, and installing … | 88 | 2517 | stable |
| yonaskolb/Mint Mint is a command-line package manager that installs and runs executable Swift packages built with the Swift Package Manager. It caches bui… | 50 | 2509 | active |
| thecodingmachine/safe Safe-PHP redeclares PHP core functions in a Safe namespace so they throw exceptions instead of returning false on error. It also provides S… | 89 | 2496 | active |
| fastapi/asyncer Asyncer is a small Python library built on AnyIO that provides a handful of utility functions for working with async/await and concurrent c… | 96 | 2485 | active |
| pyparsing/pyparsing pyparsing is a Python library for building Parsing Expression Grammar (PEG) parsers directly in Python code using composable classes and op… | 83 | 2485 | stable |
| peachpiecompiler/peachpie PeachPie is an open-source PHP compiler built on Microsoft Roslyn that compiles PHP code to .NET and .NET Core, with a reimplemented PHP ru… | 67 | 2485 | active |
| 0xd4d/dnlib dnlib is a C# library that reads and writes .NET assemblies and modules, including method bodies and IL code. It supports loading modules f… | 61 | 2483 | stable |
| sprache/Sprache Sprache is a tiny, lightweight C# library for building text parsers directly in code using monadic parser combinators and LINQ query syntax… | 32 | 2474 | stable |
| uber/piranha PolyglotPiranha is a lightweight code transformation toolset from Uber for automating large-scale code changes, primarily cleaning up stale… | 81 | 2472 | active |
| lfe/lfe Lisp Flavoured Erlang (LFE) is a Lisp syntax front-end to the Erlang compiler, producing code fully compatible with normal Erlang. It inclu… | 88 | 2453 | active |
| mthom/scryer-prolog Scryer Prolog is a modern, ISO-compliant Prolog interpreter written mostly in Rust, built on a Warren Abstract Machine implementation. It a… | 70 | 2446 | active |
| phpmd/phpmd PHPMD is a static analysis tool for PHP source code, a PHP equivalent of the Java PMD tool built on top of PHP Depend's metrics. It scans c… | 67 | 2446 | stable |
| ardalis/SmartEnum A C# base class library for creating strongly-typed enum alternatives with behavior, lookup by name or value, and rich integration support.… | 65 | 2440 | stable |
| rubygems/rubygems.org RubyGems.org is the Ruby community's central gem hosting service, a Rails application that lets developers publish, search, and install Rub… | 77 | 2437 | active |
| aimeos/macro A PHP library providing a Macroable trait that lets developers add closure-based extension points to their classes, allowing users to overr… | 60 | 2431 | stable |
| Peternator7/strum Strum is a small Rust library providing macros and traits for working with enums and strings. It offers custom derives like EnumString, Dis… | 68 | 2429 | stable |
| jpsim/SourceKitten SourceKitten is a Swift framework and command line tool that links with sourcekitd.framework to interact with SourceKit. It parses Swift AS… | 88 | 2426 | stable |
| eclipse-jdtls/eclipse.jdt.ls Eclipse JDT Language Server is a Java implementation of the Language Server Protocol built on Eclipse JDT, LSP4J, M2Eclipse, and Buildship.… | 67 | 2424 | active |
| stencilproject/Stencil Stencil is a template language and engine for Swift with a syntax similar to Django and Mustache. It lets Swift applications render text te… | 23 | 2416 | stable |
| kcl-lang/kcl KCL is a constraint-based record and functional configuration and policy language implemented in Rust, with this repo providing the languag… | 79 | 2403 | active |
| ariebovenberg/whenever Whenever is a Python library providing type-safe datetime and timezone handling that prevents naive/aware mixing at the type level and corr… | 93 | 2398 | active |
| symfony/polyfill-php73 A Symfony polyfill component that backports PHP 7.3 core functions such as array_key_first, array_key_last, hrtime, is_countable, and JsonE… | 84 | 2370 | stable |
| CatalaLang/catala Catala is a domain-specific programming language for deriving faithful-by-construction algorithms from legislative texts via literate progr… | 93 | 2367 | active |
| Neargye/nameof A header-only C++17 library providing nameof macros and functions to obtain the name of variables, types, functions, macros, and enum value… | 91 | 2357 | stable |
| chakra-core/ChakraCore ChakraCore is an open-source JavaScript engine with a C API for embedding JavaScript execution into C or C-compatible applications. It was … | 53 | 9258 | maintenance |
| tracel-ai/cubecl CubeCL is a Rust language extension, JIT compiler, and runtime set for writing high-performance GPU compute kernels in plain Rust. A single… | 81 | 2334 | active |
| googleprojectzero/fuzzilli Fuzzilli is a coverage-guided fuzzer for JavaScript engines, built in Swift by Google Project Zero. It generates test programs via a custom… | 67 | 2334 | active |
| scalameta/metals Metals is a Scala language server implementing the Language Server Protocol to bring rich IDE features to any supported text editor. It pro… | 93 | 2328 | active |
| go-python/gopy gopy is a command-line tool that generates and compiles CPython extension modules from Go packages, letting Python code call Go code direct… | 88 | 2327 | active |
| Vineflower/vineflower Vineflower is a modern Java and JVM bytecode decompiler forked from Fernflower, focused on producing accurate, readable output with support… | 84 | 2327 | active |
| AcademySoftwareFoundation/OpenShadingLanguage Open Shading Language (OSL) is a small, C-like programmable shading language with a compiler and runtime library for advanced production re… | 94 | 2325 | stable |
| Perl/perl5 Perl 5 is a general-purpose, dynamically typed programming language originally developed for text manipulation, now used for system adminis… | 77 | 2320 | stable |
| castleproject/Core Castle Core is a foundational .NET library providing logging service abstractions, the Castle DynamicProxy lightweight runtime proxy genera… | 57 | 2314 | stable |
| rune-rs/rune Rune is an embeddable dynamic programming language for Rust, running on an efficient stack-based virtual machine. It offers clean Rust inte… | 83 | 2312 | active |
| belav/csharpier CSharpier is an opinionated code formatter for C# and XML, ported from Prettier's printing approach. It is distributed as a dotnet tool wit… | 95 | 2308 | active |
| microsoft/pxt Microsoft MakeCode (PXT) is a framework for building beginner-friendly, browser-based programming editors focused on computer science educa… | 77 | 2302 | active |
| PHPCompatibility/PHPCompatibility A set of sniffs (rules) for PHP_CodeSniffer that checks PHP code for cross-version compatibility. It analyses codebases for compatibility w… | 81 | 2301 | active |
| redhat-developer/vscode-java A Visual Studio Code extension providing Java language support via the Eclipse JDT Language Server. It offers code completion, navigation, … | 96 | 2300 | active |
| cosmos72/gomacro gomacro is an almost complete Go interpreter written in pure Go, providing an interactive REPL with line editing and completion, a scriptin… | 66 | 2297 | active |
| GrahamDumpleton/wrapt wrapt is a Python module providing transparent object proxies for building function wrappers, decorators, and monkey patching utilities. It… | 93 | 2295 | stable |
| Dobiasd/FunctionalPlus FunctionalPlus is a small, header-only C++ library providing pure functional programming helpers like keep_if, forward application, and fun… | 81 | 2295 | stable |
| HKUDS/FastCode FastCode is a token-efficient framework for repository-scale code understanding and reasoning, using structural scouting over a semantic ma… | 58 | 2292 | active |
| amaembo/streamex StreamEx is a Java library that enhances the Java 8 Stream API with additional stream classes like StreamEx, IntStreamEx, and EntryStream, … | 83 | 2290 | stable |
| JohnnyMorganz/StyLua StyLua is a deterministic, opinionated code formatter for Lua and its dialects (Lua 5.1-5.4, LuaJIT, Luau, CfxLua), written in Rust and bui… | 93 | 2284 | active |
| jelmer/dulwich Dulwich is a pure-Python implementation of Git's file formats and network protocols, providing both low-level access to Git objects and a h… | 99 | 2272 | active |
| clangd/clangd clangd is a language server that provides C/C++ IDE features such as code completion, diagnostics, go-to-definition, and refactoring to any… | 87 | 2270 | stable |
| luafun/luafun Lua Fun is a high-performance functional programming library for Lua and LuaJIT, providing over 50 primitives like map, filter, reduce, and… | 39 | 2261 | active |
| nette/php-generator A PHP library for programmatically generating PHP code for classes, functions, enums, attributes, and complete files, with support for the … | 77 | 2259 | stable |
| JoshuaKGoldberg/TypeStat TypeStat is a CLI utility that converts JavaScript files to TypeScript and improves type annotations in existing TypeScript code. It applie… | 79 | 2254 | active |
| pypa/flit Flit is a simple Python packaging tool for publishing packages and modules to PyPI. It generates pyproject.toml metadata, builds wheels and… | 76 | 2253 | active |
| BinaryAnalysisPlatform/bap CMU Binary Analysis Platform (BAP) is a suite of OCaml libraries and a plugin-extensible CLI tool for analyzing binary programs. It lifts b… | 59 | 2253 | active |
| tokio-rs/bytes A Rust library providing types and traits (Bytes, BytesMut, Buf, BufMut) for efficiently working with byte buffers, including zero-copy ope… | 89 | 2249 | stable |
| NLua/NLua NLua is a .NET library that bridges the Lua scripting language with C#/.NET, allowing Lua code to be executed from .NET applications and .N… | 84 | 2243 | stable |
| stnolting/neorv32 NEORV32 is a customizable 32-bit RISC-V soft-core CPU and microcontroller-like SoC written in platform-independent VHDL. It bundles the CPU… | 99 | 2242 | active |
| swiftlang/swift-build Swift Build is a high-level build system built on llbuild with strong support for building Swift code. It serves as the build engine behind… | 81 | 2239 | active |
| dynamicexpresso/DynamicExpresso Dynamic Expresso is a .NET library that interprets simple C# expressions at runtime, converting them into expression trees or delegates wit… | 98 | 2238 | active |
| typelevel/cats-effect Cats Effect is a high-performance, purely functional asynchronous runtime for Scala built around the IO monad and a typeclass hierarchy def… | 99 | 2236 | stable |
| python-rope/rope Rope is an open-source Python refactoring library supporting refactoring operations like renaming, extracting methods, and moving code, bui… | 67 | 2234 | active |
| Sergio0694/PolySharp PolySharp is a Roslyn source generator that emits source-only polyfill types (nullability attributes, Index/Range, records support types, e… | 76 | 2222 | active |
| pvieito/PythonKit PythonKit is a Swift framework that lets Swift code interact with the Python runtime, importing Python modules and calling Python objects d… | 73 | 2219 | active |
| atomvm/AtomVM AtomVM is a lightweight implementation of the BEAM virtual machine that runs Erlang, Elixir, and Gleam bytecode on microcontrollers and oth… | 66 | 2217 | active |
| AbsInt/CompCert CompCert is a formally verified C compiler whose correctness is machine-checked with the Coq proof assistant, guaranteeing generated assemb… | 78 | 2215 | active |
| aemkei/jsfuck JSFuck is an esoteric JavaScript library that encodes and executes arbitrary JavaScript using only six characters: []()!+. It works both in… | 37 | 8597 | maintenance |
| tobgu/pyrsistent Pyrsistent is a Python library providing persistent (immutable) data structures such as PVector, PMap, PSet, PRecord, and PClass, inspired … | 62 | 2199 | stable |
| junit-team/junit4 JUnit 4 is a programmer-oriented unit testing framework for Java, following the xUnit architecture with annotations, assertions, and Hamcre… | 66 | 8515 | maintenance |
| dtolnay/async-trait A Rust attribute macro crate that makes async functions in traits work with dyn Trait (dynamic dispatch) via type erasure. It bridges the g… | 98 | 2186 | stable |