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 |
|---|---|---|---|
| kisielk/godepgraph A command-line tool that generates dependency graphs of Go packages, outputting Graphviz dot or Mermaid format. It color-codes packages by … | 32 | 1265 | 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… | 81 | 1262 | active |
| volarjs/volar.js Volar.js is a framework for building language tooling for embedded languages, powering language servers like Vue, Astro, and MDX. It provid… | 74 | 1260 | 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… | 46 | 1260 | stable |
| michaelbull/kotlin-result A Kotlin multiplatform library providing a Result monad for modelling success or failure operations without exceptions. It supports Ok/Err … | 80 | 1259 | active |
| Chaquopy Chaquopy is an SDK that lets developers include Python code in Android apps. It integrates with Android Studio's Gradle build system and pr… | 71 | 1259 | active |
| Ravi Ravi is a dialect of Lua 5.3 with limited optional static typing, a MIR-based JIT compiler, and AOT compilation to native code. It enhances… | 65 | 1259 | active |
| foonathan/lexy lexy is a parser combinator library for C++17 and onwards that lets you define grammars directly in C++ as a DSL. It generates hand-written… | 40 | 1259 | active |
| lmbelo/pyscripter PyScripter is a free, open-source, lightweight Python IDE for Windows built in Pascal, aiming to compete with commercial IDEs. It includes … | 49 | 1257 | active |
| scalalandio/chimney Chimney is a battle-tested Scala library for boilerplate-free, type-safe data transformations between case classes and other types. It uses… | 92 | 1256 | stable |
| JetBrains/fernflower Fernflower is an analytical decompiler that converts Java bytecode (class, jar, zip files) back into readable Java source code. It is bundl… | 77 | 4423 | maintenance |
| wch/r-source A read-only Git mirror of the official R source code from the upstream SVN repository, updated hourly. It lets developers browse, clone, an… | 77 | 1255 | active |
| lfortran/lfortran LFortran is a modern open-source interactive Fortran compiler built on LLVM that can execute code interactively like a REPL and also compil… | 99 | 1254 | active |
| gustavoguichard/string-ts A TypeScript library providing common string manipulation functions (like replace, camelCase, deepCamelKeys) that preserve literal string t… | 61 | 1253 | active |
| fscheck/FsCheck FsCheck is a property-based testing library for .NET, ported from Haskell's QuickCheck. Programmers specify properties that functions shoul… | 92 | 1252 | active |
| KaisenAmin/c_std A pure C17 library that reimplements a large slice of the C++ Standard Library (containers, algorithms, smart pointers) plus Python-style u… | 72 | 1252 | active |
| Colobot: Gold Edition Colobot: Gold Edition is an open-source real-time strategy game where players program their units in CBOT, a language similar to C++ and Ja… | 63 | 1250 | active |
| m-ou-se/inline-python A Rust library providing a python!{} macro that lets you write Python code directly inside Rust source files. It uses pyo3 to embed the Pyt… | 41 | 1250 | active |
| foresterre/cargo-msrv cargo-msrv is a Cargo subcommand that finds, sets, shows, and verifies the Minimum Supported Rust Version (MSRV) of a Rust crate by testing… | 100 | 1249 | active |
| swiftlang/swift-java A set of tools and libraries from Apple's swiftlang org enabling Swift and Java interoperability. It includes the SwiftJava library with ma… | 87 | 1249 | active |
| gfngfn/SATySFi SATySFi is a typesetting system built around a statically-typed, functional programming language, producing PDF documents. It combines a La… | 53 | 1248 | active |
| Roave/BetterReflection Better Reflection is a PHP library providing an enhanced reflection API that can reflect on classes not yet loaded, from code strings, and … | 97 | 1247 | active |
| davidbonnet/astring Astring is a tiny, fast, dependency-free JavaScript code generator that produces JavaScript source code from ESTree-compliant ASTs. It supp… | 23 | 1247 | stable |
| AndreaCrotti/yasnippet-snippets The official collection of YASnippet snippets for Emacs, covering many programming languages and frameworks. It installs as an Emacs packag… | 51 | 1246 | stable |
| zaach/jison Jison is a parser generator for JavaScript with an API similar to Bison, taking JSON or Bison-style grammar definitions and generating bott… | 32 | 4378 | maintenance |
| 42school/norminette The official C code style linter (norminette) for 42 Network schools, enforcing the 42 coding standard on .c and .h files. It is a Python-b… | 94 | 1243 | active |
| holepunchto/bare Bare is a small, modular JavaScript runtime built on V8 (via libjs) and libuv, designed for desktop and mobile with embedding and cross-dev… | 99 | 1242 | active |
| batsh-dev-team/Batsh Batsh is a C-based programming language that compiles to both Bash and Windows Batch scripts, letting you write shell scripts once that run… | 23 | 4351 | maintenance |
| fables-tales/rubyfmt rubyfmt is a fast, opinionated autoformatter for Ruby source code, written in Rust. It runs as a CLI tool and integrates with editors like … | 88 | 1234 | active |
| morganstanley/hobbes Hobbes is a strongly typed domain-specific language with an embedded JIT compiler and runtime for efficient dynamic expression evaluation, … | 76 | 1230 | active |
| weavejester/cljfmt cljfmt is a tool for detecting and fixing formatting errors in Clojure code, with defaults based on the Clojure Style Guide and extensive c… | 97 | 1228 | active |
| tbenthompson/cppimport cppimport is a Python library that lets you import C++ files directly as Python extension modules, compiling them transparently on first im… | 65 | 1228 | active |
| IntelliJ Scala Plugin The official JetBrains plugin that adds Scala language support to IntelliJ IDEA and Android Studio. It provides coding assistance, navigati… | 77 | 1227 | active |
| CC: Tweaked CC: Tweaked is a Minecraft mod that adds programmable computers, turtles, and peripherals controllable via Lua. It is an actively maintaine… | 95 | 1226 | active |
| hugoduncan/criterium Criterium is a benchmarking library for Clojure that measures expression computation time while addressing JVM benchmarking pitfalls. It ap… | 72 | 1225 | active |
| GaloisInc/cryptol Cryptol is a domain-specific language and interpreter for specifying cryptographic algorithms, developed by Galois. It provides an executab… | 86 | 1224 | active |
| lloydmeta/enumeratum Enumeratum is a type-safe, reflection-free enumeration library for Scala with exhaustive pattern match warnings and compile-time macro-base… | 84 | 1223 | stable |
| meriyah/meriyah Meriyah is a fully ECMAScript 2024-compliant, self-hosted JavaScript parser written in TypeScript that emits ESTree-compatible ASTs. It foc… | 99 | 1220 | stable |
| dtolnay/no-panic A Rust attribute macro that makes the compiler prove at link time that a marked function can never panic, failing compilation with a linker… | 85 | 1220 | stable |
| Mathics3/mathics-core Mathics3 Core is the kernel of Mathics3, a free open-source computer algebra system with Mathematica-compatible syntax. It provides Python … | 83 | 1219 | active |
| clojure/core.match An optimized pattern matching library for Clojure and ClojureScript, part of the official org.clojure ecosystem. It compiles match expressi… | 55 | 1219 | stable |
| jhipster/prettier-java A Prettier plugin that adds opinionated code formatting support for the Java language. It parses Java source code and reprints it with cons… | 99 | 1217 | active |
| veselink1/refl-cpp refl-cpp is a header-only C++17 library providing static, compile-time reflection and introspection. It encodes type metadata in the type s… | 23 | 1215 | stable |
| meziantou/Meziantou.Analyzer Meziantou.Analyzer is a C# Roslyn analyzer distributed as a NuGet package that performs static analysis to detect bugs, security issues, an… | 96 | 1214 | active |
| jmrozanec/cron-utils cron-utils is a Java library for defining, parsing, validating, and migrating cron expressions across different cron dialects (Unix, Quartz… | 44 | 1210 | active |
| ankurp/Dollar Dollar is a Swift utility library providing functional programming helpers for arrays, dictionaries, and functions, inspired by Lo-Dash and… | 23 | 4233 | maintenance |
| clj-python/libpython-clj A Clojure library providing deep bidirectional integration between the JVM and Python, allowing Clojure/Java code to call Python libraries … | 72 | 1209 | active |
| OriginQ/QPanda-2 QPanda 2 is an open-source quantum computing framework by Origin Quantum for building, running, and optimizing quantum algorithms, with a C… | 23 | 1209 | active |
| FriendsOfPHP/proxy-manager-lts A fork of ocramius/proxy-manager that generates and manages OOP proxy classes in PHP, adding long-term support for a wider range of PHP ver… | 44 | 1208 | active |
| elonlit/Genesis Genesis is an interpreted, procedural, Turing-complete esoteric programming language whose keywords are written in Paleo-Hebrew characters,… | 23 | 1208 | stable |
| DanielGavin/ols ols is a language server (LSP implementation) for the Odin programming language, providing completions, hover, go-to-definition, references… | 95 | 1207 | active |
| Aaronontheweb/dotnet-skills A plugin of 30 skills and 5 specialized sub-agents that give AI coding assistants (Claude Code, Codex, GitHub Copilot, OpenCode) expert kno… | 82 | 1206 | active |
| MagicStack/immutables A high-performance immutable mapping type for Python based on a Hash Array Mapped Trie (HAMT). It is the implementation used in CPython's c… | 29 | 1205 | stable |
| CakeML/cakeml CakeML is a functional programming language based on a substantial subset of Standard ML, together with a formally verified compiler that i… | 92 | 1204 | active |
| mbutterick/pollen Pollen is a book-publishing system written in Racket that treats documents as programs, letting authors embed a full programming language w… | 10 | 1204 | stable |
| idanarye/rust-typed-builder A Rust proc-macro crate that derives a compile-time type-checked builder pattern for structs. It enforces at compile time that all mandator… | 77 | 1203 | active |
| arclanguage/anarki Anarki is a community-managed, permissively-maintained fork of the Arc dialect of Lisp, implemented on Racket and distributed as an interac… | 39 | 1203 | active |
| SethBling/cbscript CBScript is a transpiled programming language and compiler by SethBling that compiles .cbscript source files into Minecraft datapack zip fi… | 32 | 1203 | active |
| Scala Steward Scala Steward is a bot that automatically keeps Scala project dependencies and build plugins up-to-date by opening pull requests when new v… | 92 | 1200 | active |
| ramsey/collection ramsey/collection is a PHP library for representing and manipulating collections such as arrays, maps, queues, and sets, inspired by the Ja… | 74 | 1200 | stable |
| ndmitchell/ghcid ghcid is a very simple Haskell development tool that runs GHCi and reloads on every file save, showing errors and warnings in a small conso… | 64 | 1199 | active |
| YPLiang19/Mango MangoFix is an iOS hotfix SDK built around a DSL whose syntax closely resembles Objective-C, allowing developers to replace any Objective-C… | 31 | 1196 | active |
| sasha-s/go-deadlock A Go library providing drop-in replacements for sync.Mutex and sync.RWMutex that detect deadlocks at runtime. It records lock ordering per … | 83 | 1194 | active |
| StepfenShawn/Cantonese Cantonese is a programming language whose keywords are written in Cantonese (Chinese), implemented with a Rust compiler and distributed via… | 75 | 1194 | active |
| mckaywrigley/ai-code-translator A web application that uses AI (LLMs) to translate source code from one programming language to another. It is a Next.js/TypeScript app tha… | 31 | 4165 | maintenance |
| GaijinEntertainment/daScript Daslang (formerly daScript) is a high-performance, statically strong-typed scripting language built at Gaijin Entertainment for games and r… | 94 | 1193 | active |
| DMOJ Online Judge DMOJ is a modern open-source online judge and contest platform for hosting programming competitions and practice problems. It supports sand… | 67 | 1193 | active |
| leaningtech/cheerp-meta Cheerp is an LLVM/Clang-based C/C++ compiler toolchain that compiles C and C++ code to WebAssembly and JavaScript for use in browsers and N… | 39 | 1191 | active |
| Jamesbarford/holyc-lang A from-scratch compiler for HolyC, the language of TempleOS, written in C. It provides AOT and JIT compilation, a REPL, LSP support, an ass… | 86 | 1190 | active |
| swiftlang/swift-corelibs-xctest The open-source Swift core library providing the XCTest unit testing framework for Swift packages and applications across all platforms Swi… | 88 | 1189 | active |
| rvirding/luerl Luerl is an implementation of the Lua 5.3 scripting language written in pure Erlang/OTP. It is a library that lets Erlang host programs exe… | 77 | 1189 | active |
| vscode-R A Visual Studio Code extension providing R language support, including a language service (completion, diagnostics, formatting), R terminal… | 94 | 1184 | active |
| google/capslock Capslock is a capability analysis CLI for Go packages that classifies which privileged operations a package can access via transitive calls… | 74 | 1183 | active |
| Spu7Nix/SPWN-language SPWN is a programming language written in Rust that compiles to Geometry Dash levels, letting creators build levels and trigger logic throu… | 23 | 1183 | active |
| peggyjs/peggy Peggy is a parser generator for JavaScript based on parsing expression grammars (PEG), producing fast parsers with excellent error reportin… | 87 | 1181 | active |
| AliveToolkit/alive2 Alive2 is a set of C++ libraries and tools for automatically verifying LLVM code and optimization transformations using symbolic execution … | 70 | 1179 | active |
| total-typescript/tsconfig A set of preset tsconfig. base configurations for TypeScript projects, packaged as an npm library that you extend via the 'extends' field. … | 59 | 1179 | active |
| DulLabs/bhai-lang BhaiLang is a dynamically typed toy programming language written in TypeScript, built as an inside joke with Hindi slang keywords like 'hi … | 32 | 4092 | maintenance |
| Ryven Ryven is a Qt-based visual node editor and framework for flow-based visual scripting in Python, letting users build dataflow graphs from cu… | 10 | 4092 | maintenance |
| souffle-lang/souffle Soufflé is a Datalog variant language for expressing static analyses in Horn clauses, with records, strong typing, aggregation, and compone… | 61 | 1175 | active |
| benjamn/ast-types A TypeScript library providing an Esprima-compatible implementation of the Mozilla JS Parser API abstract syntax tree type hierarchy. It of… | 94 | 1174 | stable |
| VerbalExpressions A C# library that provides a fluent, chainable API for constructing regular expressions without writing raw regex syntax. It is part of the… | 60 | 1174 | stable |
| Hex Hexpm is the API server and website powering hex.pm, the package registry for the Erlang ecosystem (Elixir, Erlang, Gleam). It handles pack… | 77 | 1173 | active |
| formal-land/rocq-of-rust rocq-of-rust is a formal verification tool that translates Rust programs (from the compiler's THIR representation) into the Rocq proof assi… | 77 | 1170 | active |
| hazelgrove/hazel Hazel is a web-based live functional programming environment for an Elm/ML-like language built around typed holes, allowing typechecking, e… | 68 | 1168 | active |
| Eclipse Temurin A collection of shell scripts and Dockerfiles for building OpenJDK binaries, defaulting to Eclipse Temurin distributions. It powers the Ado… | 66 | 1168 | active |
| betaveros/noulith Noulith is a scripting programming language implemented in Rust, designed for quick-and-dirty scripts with heavy syntax sugar such as every… | 57 | 1165 | active |
| curv3d/curv Curv is a pure functional programming language for creating 2D and 3D art using mathematics, built on Function Representation (F-Rep) with … | 10 | 1165 | active |
| Provable snarkVM is a zero-knowledge virtual machine (zkVM) for Decentralized Private Computations, the core execution engine of the Aleo blockchain… | 95 | 1164 | active |
| rstudio/renv renv is an R package that creates reproducible project environments for R projects. It gives each project a private package library and rec… | 99 | 1163 | stable |
| bitflags/bitflags A Rust crate providing a macro to generate structures that behave like sets of bitflags with well-defined semantics and ergonomic APIs. It … | 91 | 1163 | stable |
| replit/upm UPM is a universal package manager written in Go that provides a single consistent interface for managing packages across many programming … | 70 | 1163 | active |
| ncalc/ncalc NCalc is a fast, lightweight expression evaluator library for .NET that parses and evaluates mathematical and logical expressions at runtim… | 96 | 1159 | active |
| scalameta/scalameta Scalameta is a Scala library for reading, analyzing, transforming, and generating Scala programs via lossless syntax trees and quasiquotes.… | 98 | 1158 | active |
| P-p-H-d/mlib M*LIB is a header-only C library providing generic, type-safe containers and data structures (arrays, lists, hashmaps, trees, queues, strin… | 77 | 1158 | active |
| scoder/lupa Lupa embeds the Lua and LuaJIT runtimes into CPython via Cython, allowing Python code to execute and interoperate with Lua code. It support… | 79 | 1155 | active |
| fannheyward/coc-rust-analyzer A coc.nvim extension that integrates the rust-analyzer language server into Vim and Neovim. It provides Rust IDE features such as code comp… | 76 | 1155 | active |
| alibaba/coobjc coobjc is a coroutine library for Objective-C and Swift on iOS, adding async/await, generators, actor model, and tuple support similar to C… | 32 | 4008 | maintenance |
| janestreet/hardcaml Hardcaml is an OCaml library for designing and testing hardware circuits, letting users express hardware designs using OCaml's type system … | 60 | 1154 | active |
| jspecify/jspecify JSpecify is a standard, tool-neutral set of Java annotations with precisely specified semantics for powering static analysis, currently foc… | 84 | 1153 | stable |