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 |
|---|---|---|---|
| JonathanSalwan/Triton Triton is a dynamic binary analysis library providing dynamic symbolic execution, taint analysis, and ISA semantics for x86, x86-64, ARM32,… | 67 | 4334 | active |
| Mathlib Mathlib is the community-maintained mathematics library for the Lean 4 theorem prover, containing formalized mathematical theories, tactics… | 100 | 4331 | 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… | 55 | 4324 | active |
| zenc-lang/zenc Zen C is a modern, strictly typed systems programming language that transpiles to human-readable GNU C/C11, offering type inference, patter… | 68 | 4317 | active |
| Alibaba Dragonwell Alibaba Dragonwell8 is a downstream, production-hardened distribution of OpenJDK 8 (LTS) optimized for large-scale online e-commerce, finan… | 97 | 4315 | active |
| PyScript PyScript is an open source platform for running Python directly in the browser, built on Pyodide (CPython), MicroPython, and WebAssembly. I… | 93 | 18688 | maintenance |
| mint-lang/mint Mint is a programming language that compiles to JavaScript, designed specifically for building front-end web applications. It provides buil… | 91 | 4267 | active |
| golang/vscode-go The official Go extension for Visual Studio Code, providing rich language support via the gopls language server. It offers IntelliSense, co… | 93 | 4259 | active |
| jboss-javassist/javassist Javassist is a Java class library for editing Java bytecode, enabling programs to define new classes at runtime or modify class files as th… | 89 | 4233 | stable |
| eth-sri/lmql LMQL is a query/programming language for large language models, implemented as a Python-based superset that lets developers interleave prom… | 29 | 4221 | active |
| idealvin/coost Coost is a lightweight, cross-platform C++11 base library similar to Boost but much smaller (~1MB static library). It bundles coroutines, a… | 86 | 4220 | active |
| root-project/cling Cling is an interactive C++ interpreter built on top of Clang and LLVM, implementing a read-eval-print loop (REPL) for rapid C++ developmen… | 70 | 4195 | active |
| rust-lang/rust.vim rust.vim is the official Vim plugin for Rust development, providing file detection, syntax highlighting, formatting via rustfmt, and integr… | 32 | 4191 | stable |
| HJLebbink/asm-dude AsmDude2 is a Visual Studio 2022 extension providing assembly syntax highlighting, code completion, hover descriptions, and signature help … | 63 | 4177 | active |
| square/kotlinpoet KotlinPoet is a Kotlin and Java API for generating .kt source files, inspired by JavaPoet. It is commonly used for annotation processing an… | 89 | 4163 | stable |
| troessner/reek Reek is a code smell detector for Ruby that examines classes, modules, and methods and reports code smells like uncommunicative names, long… | 75 | 4131 | active |
| uber/NullAway NullAway is an Error Prone plugin that performs fast, annotation-based nullability checking for Java code to eliminate NullPointerException… | 99 | 4125 | active |
| asottile/pyupgrade pyupgrade is a CLI tool and pre-commit hook that automatically rewrites Python source code to use modern syntax for newer Python versions. … | 76 | 4115 | active |
| mvdan/gofumpt gofumpt is a stricter, backwards-compatible fork of gofmt that formats Go source code with additional idiomatic style rules. It works as a … | 91 | 4089 | active |
| ccls ccls is a C/C++/Objective-C language server implementing the Language Server Protocol, originating from cquery. It provides code completion… | 63 | 4089 | active |
| ts-essentials/ts-essentials A collection of essential TypeScript utility types for writing type-safe code, installable via npm. It provides stricter versions of built-… | 78 | 4079 | active |
| Stack Stack is a cross-platform build tool and package manager for developing Haskell projects. It manages GHC toolchains, dependencies via Stack… | 84 | 4078 | stable |
| mcintyre321/OneOf OneOf is a C# library providing F#-style discriminated unions via a generic OneOf<T0,...,Tn> type with exhaustive compile-time matching. It… | 68 | 4055 | active |
| westes/flex flex is the classic fast lexical analyzer generator that produces C/C++ scanner code from regular-expression pattern specifications. It is … | 62 | 4042 | stable |
| rust-lang/regex The standard regular expression crate for Rust, built on finite automata (DFAs/NFAs) to guarantee worst-case linear-time matching. It suppo… | 63 | 4038 | stable |
| RON RON (Rusty Object Notation) is a readable data serialization format that resembles Rust syntax and supports the full Serde data model, incl… | 87 | 4021 | stable |
| ebitengine/purego purego is a Go library for calling C functions from Go without using Cgo, using assembly-based FFI and runtime symbol loading. It enables p… | 94 | 4020 | active |
| spf13/cast Cast is a Go library providing safe and consistent type conversion functions, such as converting interfaces, strings, and numbers between G… | 76 | 3981 | stable |
| ruby/rubygems RubyGems is the package management framework for Ruby, providing the `gem` command to install, create, manage, and load gems (Ruby packages… | 94 | 3976 | stable |
| bflat bflat is a C# compiler and ahead-of-time runtime that combines Roslyn and NativeAOT to produce small, self-contained native executables wit… | 46 | 3972 | active |
| thonny/thonny Thonny is a free, open-source Python IDE designed specifically for beginners learning to program. It ships with a bundled Python interprete… | 78 | 3951 | active |
| jruby/jruby JRuby is an implementation of the Ruby programming language that runs on the Java Virtual Machine. It offers true parallelism without a glo… | 99 | 3923 | active |
| uber-go/nilaway NilAway is a static analysis tool from Uber that detects potential nil pointer panics in Go code at compile time rather than runtime. It us… | 72 | 3918 | active |
| swiftlang/sourcekit-lsp SourceKit-LSP is a Language Server Protocol implementation for Swift and C-based languages, built on sourcekitd and clangd. It provides int… | 90 | 3915 | stable |
| Mezzano Mezzano is an operating system written entirely in Common Lisp, featuring its own compiler, GUI, networking stack, and file system support.… | 67 | 3914 | active |
| alecthomas/participle Participle is a parser and lexer library for Go that lets you define grammars declaratively using annotated Go struct tags, similar in styl… | 78 | 3894 | stable |
| Ballerina Ballerina is an open-source, cloud-native programming language optimized for integration, developed by WSO2, with built-in support for JSON… | 98 | 3864 | active |
| jashkenas/coffeescript CoffeeScript is a small programming language that compiles one-to-one into readable JavaScript, exposing JavaScript's good parts with clean… | 32 | 16594 | maintenance |
| sindresorhus/ow ow is a TypeScript library providing expressive, chainable runtime validation of function arguments and values with descriptive error messa… | 78 | 3862 | stable |
| d5/tengo Tengo is a small, dynamic, fast scripting language implemented in pure Go, compiled to bytecode and executed on a stack-based VM. It is des… | 66 | 3840 | stable |
| morelinq/MoreLINQ MoreLINQ is a C# library that extends LINQ to Objects with additional extension methods for IEnumerable<T>, such as Batch, DistinctBy, MaxB… | 44 | 3837 | stable |
| Kotlin/dokka Dokka is an API documentation engine for Kotlin that understands KDoc and Javadoc comments in mixed-language projects. It generates documen… | 78 | 3816 | active |
| Sorbet Sorbet is a fast, gradual static type checker for Ruby, built in C++ at Stripe. It ships as a CLI (srb tc) plus a runtime gem for type anno… | 96 | 3806 | active |
| quickjs-ng/quickjs QuickJS-NG is a small, embeddable JavaScript engine written in C that aims to support the latest ECMAScript specification. It is an activel… | 88 | 3805 | active |
| facebookincubator/MetaPython Meta's fork of the CPython runtime (historically named Cinder), maintained by Facebook Incubator. It tracks upstream Python 3.14+ and pairs… | 77 | 3793 | active |
| OpenRewrite OpenRewrite is an open-source automated refactoring ecosystem that parses source code into Lossless Semantic Trees and applies prepackaged … | 95 | 3790 | active |
| apple/swift-argument-parser A Swift library from Apple for type-safe command-line argument parsing using property wrappers and the ParsableCommand protocol. It automat… | 89 | 3782 | stable |
| bigskysoftware/_hyperscript hyperscript is a small, HyperTalk-inspired scripting language for the web that lets you embed behavior directly in HTML via attributes like… | 76 | 3764 | active |
| HigherOrderCO/Kind Kind is a minimal proof language and proof checker based on dependent type theory and lambda calculus, rewritten from JavaScript to Haskell… | 23 | 3760 | active |
| locutusjs/locutus Locutus is a collection of ~800 TypeScript implementations of standard library functions from 18 programming languages such as PHP, Go, Pyt… | 76 | 3759 | active |
| LuaRocks LuaRocks is the package manager for the Lua programming language, installing Lua modules as self-contained packages called rocks. It suppor… | 82 | 3746 | stable |
| kach/nearley nearley is a JavaScript parser toolkit built on the Earley parsing algorithm, consisting of a BNF-based grammar DSL compiler and a lightwei… | 23 | 3741 | stable |
| nanobind nanobind is a small C++ library for creating Python bindings of C++ types and functions, with syntax nearly identical to pybind11 and Boost… | 76 | 3732 | stable |
| rust-lang/crates.io The source code and infrastructure for crates.io, the official package registry for the Rust programming language. It includes a Rust backe… | 77 | 3720 | stable |
| ShahjalalShohag/code-library A personal code library of templates, algorithms, and data structures for competitive programming, written mostly in C++. It includes pract… | 60 | 3712 | active |
| swiftlang/swift-syntax A set of Swift libraries for parsing, inspecting, generating, and transforming Swift source code via a source-accurate syntax tree (SwiftSy… | 94 | 3710 | stable |
| tc39/proposal-temporal The TC39 Temporal proposal, a Stage 4 ECMAScript standard adding a modern date and time API to JavaScript as a global namespace object with… | 62 | 3706 | stable |
| p-org/P P is a state machine based programming language for formally modeling and specifying complex distributed systems as collections of communic… | 85 | 3690 | active |
| CIDER CIDER is an Emacs package that turns Emacs into a full interactive development environment for Clojure and ClojureScript. It connects to a … | 91 | 3681 | active |
| gvergnaud/hotscript HotScript is a TypeScript library of composable type-level functions for transforming types, offering higher-order functions like Map, Filt… | 31 | 3680 | active |
| standard-schema/standard-schema Standard Schema is a specification defining a shared interface for TypeScript schema validation libraries, so tools can accept any complian… | 76 | 3638 | active |
| dave/jennifer Jennifer is a Go library for generating Go source code programmatically via a fluent API. It handles identifiers, imports, and rendering wi… | 76 | 3631 | stable |
| DetachHead/basedpyright basedpyright is a fork of Microsoft's pyright static type checker for Python with additional type checking improvements and pylance feature… | 89 | 3627 | active |
| java-decompiler/jd-gui JD-GUI is a standalone graphical Java decompiler that displays Java source code reconstructed from .class files. It lets users browse decom… | 23 | 15208 | maintenance |
| Joern Joern is an open-source code analysis platform that generates code property graphs (CPGs) from source code, bytecode, and binaries for C/C+… | 96 | 3581 | active |
| maciejhirsz/logos Logos is a Rust lexer generator library that derives fast tokenizers from enum definitions using token and regex attributes. It combines al… | 79 | 3578 | stable |
| dafny-lang/dafny Dafny is a verification-aware programming language with native support for writing specifications and a built-in static verifier powered by… | 73 | 3578 | active |
| eliben/pycparser pycparser is a complete C99 parser written in pure Python with no external dependencies. It produces an AST that can be used for static ana… | 91 | 3576 | stable |
| OpenGOAL OpenGOAL is a project that decompiles the Jak & Daxter PS2 games and recompiles them into native x86-64 ports, including a from-scratch imp… | 100 | 3574 | active |
| immutables/immutables A Java annotation processor that generates immutable value classes, builders, and copy-with methods from interfaces, abstract classes, and … | 99 | 3574 | active |
| denoland/std The official Deno Standard Library, a collection of high-quality TypeScript packages published on JSR covering assertions, async utilities,… | 97 | 3557 | stable |
| Eclipse OpenJ9 Eclipse OpenJ9 is an independent, enterprise-grade Java Virtual Machine implementation for OpenJDK, built on Eclipse OMR. It is optimized f… | 94 | 3547 | active |
| Boehm-Demers-Weiser Garbage Collector The Boehm-Demers-Weiser conservative garbage collector (libgc) for C and C++, usable as a drop-in replacement for malloc/new that automatic… | 86 | 3545 | stable |
| carthage-software/mago Mago is an extremely fast PHP toolchain written in Rust that provides linting, formatting, static analysis, and automated fixes through a u… | 86 | 3524 | active |
| AmrDeveloper/GQL GitQL is a SQL-like query language with an in-memory query engine, implemented in Rust, that executes queries directly on .git files withou… | 72 | 3512 | active |
| Suor/funcy Funcy is a Python library providing a practical collection of functional programming tools inspired by Clojure and Underscore. It offers ut… | 76 | 3511 | stable |
| beartype/beartype Beartype is a pure-Python, PEP-compliant runtime type checker that validates type hints at near-real-time speed with O(1) constant-time che… | 83 | 3506 | active |
| model-checking/kani Kani is a bit-precise model checker for Rust that formally verifies safety and correctness properties of Rust programs. It uses proof harne… | 93 | 3504 | active |
| lalrpop/lalrpop LALRPOP is an LR(1) parser generator for Rust focused on usability, letting you write compact, DRY, readable grammars with macros, type inf… | 77 | 3504 | stable |
| whitesmith/rubycritic RubyCritic is a Ruby gem that wraps static analysis tools like Reek, Flay, and Flog to generate a quality report of Ruby code. It provides … | 76 | 3503 | active |
| dotnet/roslynator Roslynator is a set of code analysis tools for C# built on the Roslyn compiler platform. It ships as IDE extensions for Visual Studio and V… | 94 | 3485 | active |
| rttrorg/rttr RTTR (Run Time Type Reflection) is an open-source C++ library that adds runtime reflection, letting programs introspect and modify objects'… | 23 | 3483 | stable |
| google/ksp Kotlin Symbol Processing (KSP) is an API from Google for developing lightweight Kotlin compiler plugins, primarily used for annotation proc… | 97 | 3481 | active |
| grain-lang/grain Grain is a strongly-typed functional programming language that compiles to WebAssembly, together with its compiler toolchain and CLI. It ai… | 85 | 3468 | active |
| scala/scala The Scala 2 programming language compiler and standard library, hosted by the Scala organization. Scala 2 is in maintenance mode, with acti… | 78 | 14562 | maintenance |
| gluon Gluon is a small, statically-typed functional programming language with type inference, implemented in Rust and designed for embedding in a… | 91 | 3451 | active |
| Canop/bacon Bacon is a background code checker for Rust that watches source directories and reruns cargo check, clippy, tests, or custom jobs on file c… | 97 | 3438 | active |
| dtolnay/syn Syn is a Rust parsing library that converts a stream of Rust tokens into a syntax tree of Rust source code. It is primarily designed for us… | 99 | 3433 | stable |
| travisjeffery/timecop Timecop is a Ruby gem that provides time travel, time freezing, and time acceleration capabilities for testing time-dependent code. It offe… | 75 | 3426 | stable |
| samber/mo samber/mo is a Go library providing monads and functional programming abstractions such as Option, Result, Either, Future, IO, Task, and St… | 87 | 3421 | stable |
| prabirshrestha/vim-lsp An async Language Server Protocol (LSP) client plugin for Vim 8 and Neovim, written in Vim Script with Lua performance optimizations. It pr… | 74 | 3420 | active |
| Emojicode Emojicode is an open-source, multi-paradigm programming language whose syntax consists of emojis, featuring object-orientation, optionals, … | 23 | 3417 | active |
| uber-go/mock GoMock (go.uber.org/mock) is a mocking framework for Go that generates mock implementations of interfaces via the mockgen code-generation t… | 69 | 3416 | active |
| minitest Minitest is a small, fast, and readable testing suite for Ruby supporting TDD, BDD, spec-style expectations, and benchmarking. It ships as … | 70 | 3413 | stable |
| mono/CppSharp CppSharp is a tool and library set that parses C/C++ headers and libraries and generates glue code to expose native APIs as managed .NET AP… | 60 | 3403 | active |
| skulpt/skulpt Skulpt is a JavaScript implementation of the Python programming language that runs entirely in the browser. It is primarily used to embed i… | 66 | 3401 | active |
| milessabin/shapeless shapeless is a type class and dependent type based generic programming library for Scala. It enables deriving type class instances automati… | 65 | 3400 | stable |
| oils-for-unix/oils Oils is a Unix shell project providing OSH, a bash-compatible shell that runs existing scripts, and YSH, a modern shell language for users … | 76 | 3397 | active |
| Zephir Zephir is a high-level, statically/dynamically typed programming language with a compiler CLI that transpiles code to C for building PHP ex… | 98 | 3384 | active |
| microsoft/Power-Fx Microsoft Power Fx is a low-code general-purpose programming language based on spreadsheet-like formulas, strongly typed, declarative, and … | 66 | 3365 | active |