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 |
|---|---|---|---|
| facebookincubator/Glean Glean is a system for collecting, storing, and querying facts about source code, such as symbol definitions, references, call hierarchies, … | 77 | 1430 | active |
| snake A 54-byte snake game written in x86 assembly for DOS, created as a code-golfing exercise in extreme binary size optimization. It includes a… | 71 | 1428 | active |
| titzer/virgil Virgil is a fast, lightweight, statically-typed systems programming language that blends functional and object-oriented paradigms. Its self… | 77 | 1427 | active |
| yinwang0/pysonar2 PySonar2 is a Java library that performs interprocedural type inference and semantic indexing of Python codebases. The resulting index powe… | 60 | 1424 | active |
| Kotlin/kotlinx.collections.immutable A Kotlin Multiplatform library providing immutable and persistent collection interfaces and efficient implementations (lists, sets, maps) w… | 93 | 1423 | 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… | 88 | 1414 | 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… | 64 | 1414 | active |
| huandu/xstrings A Go library providing string manipulation functions commonly found in other languages but missing from Go's standard strings package. Func… | 98 | 1411 | 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… | 81 | 1410 | stable |
| 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 | 1409 | stable |
| 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 … | 79 | 1408 | 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 | 1407 | active |
| nim-lang/nimble Nimble is the default package manager for the Nim programming language, bundled with the Nim compiler. It handles searching, installing, an… | 93 | 1405 | active |
| 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… | 82 | 1405 | 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… | 76 | 1405 | stable |
| pgcentralfoundation/plrust PL/Rust is a loadable procedural language handler for PostgreSQL that lets developers write database functions in Rust, compiled to native … | 50 | 1405 | active |
| pytype Pytype is a static type analyzer for Python that checks and infers types without requiring type annotations, using inference rather than gr… | 10 | 5036 | maintenance |
| Noir Noir is a Rust-inspired domain-specific language for writing privacy-preserving programs that compile to zero-knowledge (SNARK) proofs via … | 96 | 1402 | 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… | 74 | 1400 | 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.… | 75 | 1397 | active |
| toitlang/toit The Toit language implementation, consisting of a compiler, virtual machine, and standard libraries for running a modern high-level languag… | 97 | 1394 | active |
| JetBrains/phpstorm-stubs A collection of syntactically correct PHP stub files describing the signatures, constants, and PHPDoc annotations of PHP core and standard … | 87 | 1392 | active |
| haskell/haskell-mode Haskell Mode is an Emacs major mode for editing, developing, and debugging Haskell programs. It provides syntax highlighting, indentation, … | 65 | 1392 | 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… | 96 | 1387 | 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.… | 79 | 1384 | active |
| ocaml/opam opam is the source-based package manager for OCaml, supporting multiple simultaneous compiler installations via switches, flexible package … | 88 | 1381 | stable |
| esseks/monicelli Monicelli is an esoteric programming language based on the 'supercazzole' gibberish from the Italian comedy film Amici Miei. It ships with … | 47 | 1381 | active |
| google/j2cl J2CL is a transpiler from Google that converts Java source code into Closure-style JavaScript, tightly integrated with Closure Compiler for… | 81 | 1380 | 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… | 98 | 1378 | stable |
| 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… | 89 | 1377 | active |
| cvc5/cvc5 cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems, determining the satisfiability of first-… | 95 | 1374 | 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… | 91 | 1374 | 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 | 1372 | stable |
| PEG.js 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 | 4902 | 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… | 64 | 1368 | 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 | 4886 | maintenance |
| 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 … | 91 | 1365 | 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… | 76 | 1364 | active |
| 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… | 28 | 1364 | active |
| Bundler Bundler is the standard dependency manager for Ruby applications, tracking and installing the exact gems and versions a project needs via a… | 10 | 4875 | maintenance |
| dtolnay/inventory A Rust crate providing typed distributed plugin registration, allowing plugins to be registered into a registry from any source file linked… | 94 | 1362 | stable |
| PCRE2Project/pcre2 PCRE2 is a self-contained C library implementing Perl-compatible regular expression pattern matching, with Unicode support and an optional … | 85 | 1362 | stable |
| 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. … | 78 | 1361 | active |
| paralleldrive/sudolang SudoLang is a pseudocode-style programming language designed for collaborating with AI language models, using natural language constraints,… | 55 | 1356 | active |
| fortls - Fortran Language Server A community-driven de facto standard library for Fortran, providing utilities, algorithms, and mathematical routines missing from the ISO F… | 85 | 1354 | active |
| 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… | 74 | 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,… | 57 | 1353 | 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… | 71 | 1352 | 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… | 75 | 1351 | 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… | 68 | 1346 | stable |
| Julia VS Code Extension The official Julia language extension for Visual Studio Code, providing IDE features such as syntax highlighting, code completion, an integ… | 98 | 1345 | 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 | 1344 | active |
| 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… | 50 | 1342 | active |
| hexdigest/gowrap GoWrap is a command line tool that generates decorator implementations for Go interface types using templates. It lets developers quickly a… | 89 | 1339 | active |
| dbreunig/whenwords whenwords is a relative time formatting library that ships only a specification (SPEC.md), language-agnostic test cases (tests.yaml), and i… | 41 | 1337 | 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 | 4760 | maintenance |
| 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… | 90 | 1334 | 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 | 1334 | 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… | 31 | 1334 | stable |
| pschanely/CrossHair CrossHair is a Python analysis tool that verifies functions against type annotations and contracts using symbolic execution backed by an SM… | 95 | 1333 | active |
| Kotlin/ktfmt ktfmt is a program that pretty-prints (formats) Kotlin source code according to the common community standard for Kotlin code conventions, … | 94 | 1332 | active |
| py2many/py2many py2many is a Python-based source-to-source transpiler that converts Python code into multiple statically-typed languages including Rust, C+… | 84 | 1330 | active |
| Symfony Polyfill 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 | 4726 | maintenance |
| 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.… | 96 | 1327 | active |
| 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 | 1327 | stable |
| clojure-lsp clojure-lsp is a Language Server Protocol (LSP) implementation for Clojure and ClojureScript, providing static analysis-based editing featu… | 94 | 1324 | 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).… | 77 | 1319 | 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 | 1317 | 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… | 70 | 1315 | stable |
| 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… | 39 | 4666 | maintenance |
| Symfony Polyfill A Symfony utility library providing shared helpers for the Symfony Polyfill components, which backport newer PHP features to older PHP vers… | 90 | 1314 | stable |
| skvadrik/re2c re2c is a free and open-source lexer generator that compiles regular expressions into fast, direct-coded lexers for many languages includin… | 91 | 1312 | stable |
| theMackabu/ant Ant is a lightweight, high-performance JavaScript runtime built from scratch in C, featuring its own hand-built engine (Ant Silver) with a … | 84 | 1311 | 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 | 1307 | active |
| 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… | 66 | 1307 | active |
| stutter A small, zero-dependency conservative mark-and-sweep garbage collector for C that replaces malloc/calloc/realloc/free. It is designed to be… | 32 | 1307 | 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… | 84 | 1306 | active |
| 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 | 1306 | 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… | 48 | 1301 | 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… | 83 | 1299 | 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 … | 83 | 1296 | stable |
| brendanzab/codespan A Rust library (codespan-reporting) for rendering beautiful, compiler-style diagnostic error messages for text-based programming languages,… | 55 | 1296 | active |
| dotnet/dotnet dotnet/dotnet is the Virtual Monolithic Repository (VMR) containing all source code needed to build the .NET SDK, joining sources from repo… | 95 | 1295 | active |
| amantinband/throw A fluent, extensible .NET 6+ library for throwing exceptions with customizable guard clauses and argument validation. It provides chainable… | 32 | 1289 | stable |
| SWI-Prolog SWI-Prolog is a comprehensive, open-source (BSD-2) implementation of the Prolog logic programming language, implemented in C and Prolog wit… | 97 | 1288 | stable |
| open-watcom/open-watcom-v2 Open Watcom V2 is the continued development of the classic Watcom C/C++ and Fortran compiler toolchain, including compilers, linker, debugg… | 86 | 1285 | active |
| 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 | 1283 | 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 | 1283 | active |
| 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… | 97 | 1277 | active |
| TedDriggs/darling Darling is a Rust proc-macro helper library that lets macro authors declaratively parse attribute arguments into structs, inspired by serde… | 94 | 1276 | active |
| javacc/javacc JavaCC is a parser generator that reads grammar specifications and generates recursive-descent parsers in Java, C++, or C#. It includes sup… | 32 | 1275 | stable |
| 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… | 63 | 1273 | 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 | 4490 | 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… | 86 | 1271 | active |
| 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… | 72 | 1270 | active |
| google/codeworld CodeWorld is a web-based educational programming environment built on Haskell, letting students create geometric drawings, animations, and … | 57 | 1270 | stable |
| Wandbox Wandbox is an online compiler service (wandbox.org) that lets users write, compile, and run code snippets in dozens of languages — C++, Rus… | 76 | 1269 | stable |
| 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… | 62 | 1269 | 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… | 75 | 1267 | active |
| 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… | 68 | 1266 | active |