domain: programming-languages
1849 products, primary matches first, then adoption-weighted; health v2 shown.
| Product | Health v2 | Stars | Maturity |
|---|---|---|---|
| actionbook/rust-skills Rust Skills is a Claude Code plugin and portable skills pack that injects a meta-cognition knowledge base for Rust development into AI codi… | 60 | 1424 | active |
| Kotlin/kotlinx.collections.immutable A Kotlin Multiplatform library providing immutable and persistent collection interfaces and efficient implementations (lists, sets, maps) w… | 85 | 1417 | active |
| titzer/virgil Virgil is a fast, lightweight, statically-typed systems programming language that blends functional and object-oriented paradigms. Its self… | 77 | 1416 | active |
| objectionary/eo EO (EOLANG) is an experimental pure object-oriented programming language based on 𝜑-calculus, implemented in Java. It deliberately rejects … | 94 | 1415 | active |
| huandu/xstrings A Go library providing string manipulation functions commonly found in other languages but missing from Go's standard strings package. Func… | 23 | 1413 | stable |
| chanhx/crabviz Crabviz is an LSP-based tool that generates interactive call graphs for many programming languages. It is distributed as a VS Code extensio… | 69 | 1410 | active |
| vultix/ts-results A TypeScript library implementing Rust's Result and Option types, bringing compile-time error checking and explicit optional values to Type… | 32 | 1407 | stable |
| HoTT/Coq-HoTT A Coq library for Homotopy Type Theory, interpreting Martin-Löf's intensional type theory into abstract homotopy theory. It provides formal… | 85 | 1403 | active |
| tidyverse/purrr purrr is an R package that enhances R's functional programming toolkit with a complete, consistent set of tools for working with functions … | 81 | 1401 | stable |
| google/pytype Pytype is a static type analyzer for Python that checks and infers types without requiring type annotations, using inference rather than gr… | 65 | 5031 | maintenance |
| nim-lang/nimble Nimble is the default package manager for the Nim programming language, bundled with the Nim compiler. It handles searching, installing, an… | 97 | 1400 | active |
| ray-x/navigator.lua A Neovim plugin that combines LSP and Treesitter to provide code analysis and navigation, including symbol references, definitions, call tr… | 80 | 1400 | active |
| pgcentralfoundation/plrust PL/Rust is a loadable procedural language handler for PostgreSQL that lets developers write database functions in Rust, compiled to native … | 54 | 1397 | active |
| JetBrains/phpstorm-stubs A collection of syntactically correct PHP stub files describing the signatures, constants, and PHPDoc annotations of PHP core and standard … | 89 | 1394 | active |
| noir-lang/noir Noir is a Rust-inspired domain-specific language for writing privacy-preserving programs that compile to zero-knowledge (SNARK) proofs via … | 98 | 1393 | active |
| kamadorueda/alejandra Alejandra is a fast, opinionated code formatter for the Nix expression language, written in Rust. It enforces a comprehensive style guide d… | 61 | 1393 | stable |
| boost-ext/sml Boost::ext.SML is a C++14 one-header-only state machine library with no dependencies, providing a UML-compliant transition table DSL (src_s… | 82 | 1392 | stable |
| facebookincubator/Glean Glean is a system for collecting, storing, and querying facts about source code, such as symbol definitions, references, call hierarchies, … | 77 | 1391 | active |
| ashinn/chibi-scheme Chibi-Scheme is a minimal Scheme implementation designed to be embedded as an extension and scripting language in C programs. It supports R… | 80 | 1390 | stable |
| haskell/haskell-mode Haskell Mode is an Emacs major mode for editing, developing, and debugging Haskell programs. It provides syntax highlighting, indentation, … | 62 | 1389 | active |
| babashka/sci SCI is a small, configurable Clojure and ClojureScript interpreter for evaluating code from user input or building Clojure DSLs. It works o… | 98 | 1381 | active |
| sysprog21/shecc shecc is a self-hosting, educational optimizing C compiler written in ANSI C that targets 32-bit ARMv7-A and RV32IM (RISC-V) Linux systems.… | 77 | 1381 | active |
| esseks/monicelli Monicelli is an esoteric programming language based on the 'supercazzole' gibberish from the Italian comedy film Amici Miei. It ships with … | 53 | 1380 | active |
| ocaml/opam opam is the source-based package manager for OCaml, supporting multiple simultaneous compiler installations via switches, flexible package … | 88 | 1376 | stable |
| google/j2cl J2CL is a transpiler from Google that converts Java source code into Closure-style JavaScript, tightly integrated with Closure Compiler for… | 83 | 1376 | active |
| dadhi/FastExpressionCompiler A .NET library that compiles C# expression trees to delegates far faster than the built-in LINQ compiler, with a lightweight LightExpressio… | 92 | 1374 | stable |
| ZacSweers/metro Metro is a compile-time dependency injection framework for Kotlin Multiplatform, implemented as a Kotlin compiler plugin with FIR/IR code g… | 84 | 1372 | active |
| pegjs/pegjs PEG.js is a parser generator for JavaScript that compiles PEG grammars into fast parsers with excellent error reporting. It is used to buil… | 23 | 4903 | maintenance |
| starkware-libs/cairo-lang Cairo is a programming language for writing provable programs, developed by StarkWare for STARK-based zero-knowledge proofs and StarkNet sm… | 68 | 1369 | active |
| cglib/cglib cglib is a high-level Java bytecode generation and transformation library used to create dynamic proxies, extend classes, and intercept met… | 23 | 4893 | maintenance |
| ldc-developers/ldc LDC is a portable compiler for the D programming language that uses the official DMD frontend and LLVM for optimization and code generation… | 81 | 1366 | active |
| blockly-games/blockly-games Blockly Games is a series of open-source educational games from Google that teach programming concepts using the Blockly visual block-based… | 32 | 1366 | stable |
| rubygems/bundler Bundler is the standard dependency manager for Ruby applications, tracking and installing the exact gems and versions a project needs via a… | 10 | 4877 | maintenance |
| sebas77/Svelto.ECS Svelto.ECS is a C# Entity Component System framework for writing data-oriented, cache-friendly game code. It is platform-agnostic (.NET Sta… | 31 | 1362 | active |
| toitlang/toit The Toit language implementation, consisting of a compiler, virtual machine, and standard libraries for running a modern high-level languag… | 99 | 1361 | active |
| true-myth/true-myth True Myth is a TypeScript library providing type-safe Maybe, Result, and Task types for handling null values, errors, and async operations … | 93 | 1361 | active |
| fannheyward/coc-pyright A coc.nvim extension that wraps Microsoft's Pyright static type checker and language server for Python, adding editor features like semanti… | 75 | 1360 | active |
| cvc5/cvc5 cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems, determining the satisfiability of first-… | 89 | 1357 | active |
| bnjbvr/cargo-machete cargo-machete is a Cargo subcommand that quickly detects unused dependencies in Rust projects by scanning source code for dependency names.… | 83 | 1356 | active |
| paralleldrive/sudolang SudoLang is a pseudocode-style programming language designed for collaborating with AI language models, using natural language constraints,… | 58 | 1354 | active |
| TNG/ArchUnitNET ArchUnitNET is a C# library for specifying and asserting architecture rules in automated tests, forked from Java's ArchUnit. It analyzes as… | 95 | 1353 | active |
| pomsky-lang/pomsky Pomsky is a modern, portable regular expression language that cross-compiles to standard regexes for engines like PCRE, JavaScript, Python,… | 64 | 1352 | active |
| plantain-00/type-coverage A CLI tool that measures type coverage in TypeScript codebases by calculating the percentage of identifiers whose type is not `any`. It can… | 75 | 1350 | active |
| twostraws/Sitrep Sitrep is a source code analyzer for Swift projects that reports high-level code statistics such as type counts, lines of code, longest fil… | 67 | 1349 | active |
| yann-shi/libcsp libcsp is a high-performance concurrency library for C implementing the Communicating Sequential Processes (CSP) model, inspired by Go's go… | 23 | 1345 | active |
| fortran-lang/stdlib A community-driven de facto standard library for Fortran, providing utilities, algorithms, and mathematical routines missing from the ISO F… | 86 | 1344 | active |
| microsoft/tslib tslib is a runtime library containing all of TypeScript's emitted helper functions like __extends and __assign. It is used with the --impor… | 74 | 1343 | stable |
| PCRE2Project/pcre2 PCRE2 is a self-contained C library implementing Perl-compatible regular expression pattern matching, with Unicode support and an optional … | 75 | 1341 | stable |
| gherkins/regexpbuilderphp A PHP library for building regular expressions through chained, human-readable methods instead of raw regex syntax. It is a PHP port of reg… | 57 | 1341 | active |
| julia-vscode/julia-vscode The official Julia language extension for Visual Studio Code, providing IDE features such as syntax highlighting, code completion, an integ… | 96 | 1340 | active |
| dtolnay/inventory A Rust crate providing typed distributed plugin registration, allowing plugins to be registered into a registry from any source file linked… | 92 | 1338 | stable |
| Samsung/netcoredbg NetCoreDbg is a managed code debugger for the .NET Core runtime (CoreCLR) that implements both GDB/MI and the VSCode Debug Adapter Protocol… | 80 | 1338 | active |
| ronmamo/reflections A Java library that scans and indexes classpath metadata at runtime, enabling reverse transitive queries over the type system. It lets you … | 23 | 4764 | maintenance |
| hexdigest/gowrap GoWrap is a command line tool that generates decorator implementations for Go interface types using templates. It lets developers quickly a… | 69 | 1336 | active |
| avh4/elm-format elm-format is a command-line tool that automatically formats Elm source code according to a standard set of rules based on the official Elm… | 35 | 1333 | stable |
| ucsd-progsys/liquidhaskell LiquidHaskell is a formal verification tool that brings refinement types to Haskell via a GHC plugin. It uses the Z3 SMT solver to statical… | 94 | 1332 | active |
| Nicholas3388/LuaNode LuaNode is a Lua SDK/firmware for ESP32, ESP32-C2/C3/C6, ESP8266, and STM32L4 microcontrollers, built on ESP-IDF and ESP8266_RTOS_SDK. It l… | 32 | 1332 | active |
| symfony/polyfill-php72 A Symfony component that backports PHP 7.2 core and mbstring functions (such as spl_object_id, stream_isatty, mb_ord, mb_chr, and utf8_enco… | 32 | 4728 | maintenance |
| golang/pkgsite The source code of pkg.go.dev, the official website for discovering and evaluating Go packages and modules, plus a local documentation serv… | 77 | 1328 | stable |
| jnr/jnr-ffi JNR-FFI is a Java library for loading and calling native (C) libraries from Java without writing JNI code by hand or using tools like SWIG.… | 87 | 1323 | active |
| clojure-lsp/clojure-lsp clojure-lsp is a Language Server Protocol (LSP) implementation for Clojure and ClojureScript, providing static analysis-based editing featu… | 96 | 1322 | active |
| pschanely/CrossHair CrossHair is a Python analysis tool that verifies functions against type annotations and contracts using symbolic execution backed by an SM… | 98 | 1317 | active |
| sirthias/parboiled parboiled is a mixed Java/Scala library for lightweight, easy-to-use parsing of arbitrary text based on Parsing Expression Grammars (PEGs).… | 76 | 1317 | stable |
| symfony/polyfill-util A Symfony utility library providing shared helpers for the Symfony Polyfill components, which backport newer PHP features to older PHP vers… | 88 | 1316 | stable |
| eliaskosunen/scnlib scnlib is a modern C++ library for text parsing, serving as a type-safe and faster replacement for scanf and std::istream. It is the invers… | 78 | 1316 | stable |
| softwaremill/macwire MacWire is a zero-cost, compile-time, type-safe dependency injection library for Scala built on macros. It generates instance-creation code… | 80 | 1314 | stable |
| dbreunig/whenwords whenwords is a relative time formatting library that ships only a specification (SPEC.md), language-agnostic test cases (tests.yaml), and i… | 44 | 1312 | active |
| AlexNisnevich/untrusted Untrusted is a browser-based meta-JavaScript adventure game where players guide Dr. Eval through levels by editing and re-executing the Jav… | 43 | 4657 | maintenance |
| py2many/py2many py2many is a Python-based source-to-source transpiler that converts Python code into multiple statically-typed languages including Rust, C+… | 87 | 1308 | active |
| skvadrik/re2c re2c is a free and open-source lexer generator that compiles regular expressions into fast, direct-coded lexers for many languages includin… | 87 | 1308 | stable |
| rikvdkleij/intellij-haskell An IntelliJ IDEA plugin providing Haskell language support, built on Stack and external tools like GHC and Hoogle. It offers syntax highlig… | 10 | 1308 | active |
| mkirchner/gc A small, zero-dependency conservative mark-and-sweep garbage collector for C that replaces malloc/calloc/realloc/free. It is designed to be… | 32 | 1306 | active |
| Kotlin/ktfmt ktfmt is a program that pretty-prints (formats) Kotlin source code according to the common community standard for Kotlin code conventions, … | 92 | 1304 | active |
| clice-io/clice clice is a next-generation C++ language server built from scratch on LLVM/Clang, designed for high performance and deep code intelligence. … | 76 | 1304 | active |
| metacraft-labs/codetracer CodeTracer is a time-traveling debugger that records program execution into a self-contained, shareable trace file. It provides a GUI for s… | 72 | 1302 | active |
| inko-lang/inko Inko is a statically typed programming language for building concurrent software, compiled to machine code via LLVM. It offers deterministi… | 77 | 1301 | active |
| abo-abo/lispy An Emacs package providing efficient structural editing for Lisp code (Emacs Lisp, Clojure, Scheme, Common Lisp) with vi-like single-key co… | 51 | 1300 | active |
| brendanzab/codespan A Rust library (codespan-reporting) for rendering beautiful, compiler-style diagnostic error messages for text-based programming languages,… | 61 | 1296 | active |
| r-lib/lintr lintr is an R package providing static code analysis for R, checking style adherence, syntax errors, and possible semantic issues. It is hi… | 86 | 1294 | stable |
| roblox-ts/roblox-ts roblox-ts is a TypeScript-to-Luau compiler that lets developers write Roblox game code in TypeScript and transpiles it into functionally eq… | 65 | 1291 | active |
| amantinband/throw A fluent, extensible .NET 6+ library for throwing exceptions with customizable guard clauses and argument validation. It provides chainable… | 32 | 1290 | stable |
| jpype-project/jpype JPype is a Python module that provides full access to Java class libraries from within Python by interfacing natively with the JVM through … | 85 | 1289 | stable |
| yanghuan/CSharp.lua A C# to Lua compiler built on Microsoft Roslyn that transpiles C# source code (up to C# 10) into readable Lua code runnable on a Lua VM. It… | 66 | 1282 | active |
| SWI-Prolog/swipl-devel SWI-Prolog is a comprehensive, open-source (BSD-2) implementation of the Prolog logic programming language, implemented in C and Prolog wit… | 100 | 1278 | stable |
| javacc/javacc JavaCC is a parser generator that reads grammar specifications and generates recursive-descent parsers in Java, C++, or C#. It includes sup… | 35 | 1278 | stable |
| swiftlang/swift-llbuild llbuild is a low-level, library-based build system designed as a reusable and scalable build engine capable of handling dependency graphs w… | 93 | 1277 | active |
| llir/llvm A pure Go library for parsing, building, and manipulating LLVM IR without any C bindings or cgo. It provides an asm package for parsing LLV… | 23 | 1274 | active |
| jspahrsummers/libextobjc libextobjc is a modular Cocoa library that extends the Objective-C language with additional patterns and compile-time checks, such as safe … | 10 | 4499 | maintenance |
| huhu/rust-search-extension A browser extension for Chrome, Firefox, and Edge that provides instant search of Rust documentation, crates, builtin attributes, books, an… | 67 | 1272 | active |
| ruby/debug The official Ruby debugger gem (debug.rb), a fast replacement for the traditional lib/debug.rb standard library for MRI 2.7+. It supports b… | 70 | 1271 | active |
| google/codeworld CodeWorld is a web-based educational programming environment built on Haskell, letting students create geometric drawings, animations, and … | 61 | 1270 | stable |
| mighty-gerbils/gerbil Gerbil is an opinionated dialect of Scheme built on the Gambit runtime and compiler, featuring a state-of-the-art macro system (native synt… | 78 | 1268 | active |
| rust-lang/rust-mode rust-mode is an Emacs major mode providing syntax highlighting, indentation, and integration with Cargo, clippy, and rustfmt for editing Ru… | 65 | 1267 | active |
| TedDriggs/darling Darling is a Rust proc-macro helper library that lets macro authors declaratively parse attribute arguments into structs, inspired by serde… | 98 | 1265 | active |
| melpon/wandbox Wandbox is an online compiler service (wandbox.org) that lets users write, compile, and run code snippets in dozens of languages — C++, Rus… | 70 | 1265 | stable |
| shinh/elvm ELVM is a compiler infrastructure similar to LLVM but targeting esoteric languages, compiling C code (via a modified 8cc frontend) into a s… | 72 | 1263 | active |
| awalterschulze/goderive goderive is a Go code generator that derives mundane functions (like Equal, Compare, DeepCopy, Sort, Hash) from their parameter types. It p… | 87 | 1261 | active |
| mfridman/tparse tparse is a command-line tool that parses and summarizes `go test -` output, showing failures, panics, and package-level summaries with col… | 51 | 1261 | stable |
| kisielk/godepgraph A command-line tool that generates dependency graphs of Go packages, outputting Graphviz dot or Mermaid format. It color-codes packages by … | 35 | 1261 | active |
| regexident/cargo-modules A cargo plugin that visualizes and analyzes a Rust crate's internal module structure. It prints hierarchical module trees, internal depende… | 77 | 1258 | active |