domain: programming-languages
1849 products, primary matches first, then adoption-weighted; health v2 shown.
| Product | Health v2 | Stars | Maturity |
|---|---|---|---|
| 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… | 73 | 4311 | active |
| pyscript/pyscript PyScript is an open source platform for running Python directly in the browser, built on Pyodide (CPython), MicroPython, and WebAssembly. I… | 97 | 18692 | maintenance |
| JonathanSalwan/Triton Triton is a dynamic binary analysis library providing dynamic symbolic execution, taint analysis, and ISA semantics for x86, x86-64, ARM32,… | 65 | 4274 | active |
| mint-lang/mint Mint is a programming language that compiles to JavaScript, designed specifically for building front-end web applications. It provides buil… | 96 | 4266 | 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 | 4258 | 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… | 95 | 4228 | stable |
| 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… | 33 | 4211 | active |
| eth-sri/lmql LMQL is a query/programming language for large language models, implemented as a Python-based superset that lets developers interleave prom… | 32 | 4208 | 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… | 76 | 4182 | 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 | 4182 | stable |
| HJLebbink/asm-dude AsmDude2 is a Visual Studio 2022 extension providing assembly syntax highlighting, code completion, hover descriptions, and signature help … | 66 | 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… | 83 | 4157 | 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… | 76 | 4129 | 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. … | 77 | 4113 | active |
| uber/NullAway NullAway is an Error Prone plugin that performs fast, annotation-based nullability checking for Java code to eliminate NullPointerException… | 99 | 4092 | active |
| MaskRay/ccls ccls is a C/C++/Objective-C language server implementing the Language Server Protocol, originating from cquery. It provides code completion… | 76 | 4083 | active |
| commercialhaskell/stack Stack is a cross-platform build tool and package manager for developing Haskell projects. It manages GHC toolchains, dependencies via Stack… | 87 | 4077 | stable |
| 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-… | 84 | 4075 | 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 … | 94 | 4068 | active |
| 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… | 71 | 4054 | active |
| westes/flex flex is the classic fast lexical analyzer generator that produces C/C++ scanner code from regular-expression pattern specifications. It is … | 66 | 4039 | 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… | 66 | 4012 | stable |
| ron-rs/ron RON (Rusty Object Notation) is a readable data serialization format that resembles Rust syntax and supports the full Serde data model, incl… | 92 | 3997 | stable |
| spf13/cast Cast is a Go library providing safe and consistent type conversion functions, such as converting interfaces, strings, and numbers between G… | 71 | 3981 | stable |
| bflattened/bflat bflat is a C# compiler and ahead-of-time runtime that combines Roslyn and NativeAOT to produce small, self-contained native executables wit… | 52 | 3970 | active |
| ruby/rubygems RubyGems is the package management framework for Ruby, providing the `gem` command to install, create, manage, and load gems (Ruby packages… | 95 | 3954 | stable |
| Mathlib Mathlib is the community-maintained mathematics library for the Lean 4 theorem prover, containing formalized mathematical theories, tactics… | 99 | 3948 | 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… | 75 | 3917 | 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… | 97 | 3915 | 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… | 74 | 3903 | stable |
| 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… | 73 | 3900 | active |
| froggey/Mezzano Mezzano is an operating system written entirely in Common Lisp, featuring its own compiler, GUI, networking stack, and file system support.… | 67 | 3887 | 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… | 79 | 3878 | stable |
| sindresorhus/ow ow is a TypeScript library providing expressive, chainable runtime validation of function arguments and values with descriptive error messa… | 59 | 3865 | stable |
| jashkenas/coffeescript CoffeeScript is a small programming language that compiles one-to-one into readable JavaScript, exposing JavaScript's good parts with clean… | 32 | 16599 | maintenance |
| ballerina-platform/ballerina-lang Ballerina is an open-source, cloud-native programming language optimized for integration, developed by WSO2, with built-in support for JSON… | 97 | 3847 | active |
| morelinq/MoreLINQ MoreLINQ is a C# library that extends LINQ to Objects with additional extension methods for IEnumerable<T>, such as Batch, DistinctBy, MaxB… | 47 | 3834 | 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… | 58 | 3831 | 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… | 93 | 3806 | active |
| Kotlin/dokka Dokka is an API documentation engine for Kotlin that understands KDoc and Javadoc comments in mixed-language projects. It generates documen… | 80 | 3805 | active |
| sorbet/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… | 95 | 3797 | 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 | 3789 | 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… | 24 | 3766 | active |
| locutusjs/locutus Locutus is a collection of ~800 TypeScript implementations of standard library functions from 18 programming languages such as PHP, Go, Pyt… | 82 | 3763 | active |
| dmmulroy/anti-slop A set of opinionated Oxlint plugin rules that reject low-evidence TypeScript and JavaScript patterns, designed to be vendored into a reposi… | 57 | 3763 | 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… | 93 | 3757 | 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 | 3754 | active |
| 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 | 3742 | stable |
| luarocks/luarocks LuaRocks is the package manager for the Lua programming language, installing Lua modules as self-contained packages called rocks. It suppor… | 84 | 3722 | 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… | 65 | 3709 | stable |
| swiftlang/swift-syntax A set of Swift libraries for parsing, inspecting, generating, and transforming Swift source code via a source-accurate syntax tree (SwiftSy… | 91 | 3693 | stable |
| wjakob/nanobind nanobind is a small C++ library for creating Python bindings of C++ types and functions, with syntax nearly identical to pybind11 and Boost… | 77 | 3691 | 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 | 3683 | stable |
| ShahjalalShohag/code-library A personal code library of templates, algorithms, and data structures for competitive programming, written mostly in C++. It includes pract… | 64 | 3682 | active |
| clojure-emacs/cider CIDER is an Emacs package that turns Emacs into a full interactive development environment for Clojure and ClojureScript. It connects to a … | 93 | 3677 | active |
| gvergnaud/hotscript HotScript is a TypeScript library of composable type-level functions for transforming types, offering higher-order functions like Map, Filt… | 31 | 3677 | active |
| openrewrite/rewrite OpenRewrite is an open-source automated refactoring ecosystem that parses source code into Lossless Semantic Trees and applies prepackaged … | 95 | 3673 | active |
| p-org/P P is a state machine based programming language for formally modeling and specifying complex distributed systems as collections of communic… | 90 | 3668 | 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… | 89 | 3656 | 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… | 32 | 3628 | stable |
| standard-schema/standard-schema Standard Schema is a specification defining a shared interface for TypeScript schema validation libraries, so tools can accept any complian… | 75 | 3598 | 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 | 15180 | maintenance |
| immutables/immutables A Java annotation processor that generates immutable value classes, builders, and copy-with methods from interfaces, abstract classes, and … | 92 | 3570 | 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… | 79 | 3563 | stable |
| denoland/std The official Deno Standard Library, a collection of high-quality TypeScript packages published on JSR covering assertions, async utilities,… | 96 | 3558 | stable |
| DetachHead/basedpyright basedpyright is a fork of Microsoft's pyright static type checker for Python with additional type checking improvements and pylance feature… | 88 | 3557 | 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… | 81 | 3550 | stable |
| eclipse-openj9/openj9 Eclipse OpenJ9 is an independent, enterprise-grade Java Virtual Machine implementation for OpenJDK, built on Eclipse OMR. It is optimized f… | 94 | 3537 | active |
| bdwgc/bdwgc The Boehm-Demers-Weiser conservative garbage collector (libgc) for C and C++, usable as a drop-in replacement for malloc/new that automatic… | 89 | 3529 | 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… | 76 | 3516 | 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… | 78 | 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 | 3510 | stable |
| 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… | 75 | 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 … | 72 | 3499 | active |
| open-goal/jak-project OpenGOAL is a project that decompiles the Jak & Daxter PS2 games and recompiles them into native x86-64 ports, including a from-scratch imp… | 99 | 3489 | active |
| 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… | 86 | 3486 | 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 | 3484 | stable |
| 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… | 98 | 3475 | active |
| google/ksp Kotlin Symbol Processing (KSP) is an API from Google for developing lightweight Kotlin compiler plugins, primarily used for annotation proc… | 98 | 3475 | 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… | 88 | 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… | 81 | 14570 | maintenance |
| joernio/joern Joern is an open-source code analysis platform that generates code property graphs (CPGs) from source code, bytecode, and binaries for C/C+… | 95 | 3453 | active |
| gluon-lang/gluon Gluon is a small, statically-typed functional programming language with type inference, implemented in Rust and designed for embedding in a… | 97 | 3435 | active |
| travisjeffery/timecop Timecop is a Ruby gem that provides time travel, time freezing, and time acceleration capabilities for testing time-dependent code. It offe… | 67 | 3425 | stable |
| 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 | 3415 | stable |
| emojicode/emojicode Emojicode is an open-source, multi-paradigm programming language whose syntax consists of emojis, featuring object-orientation, optionals, … | 23 | 3412 | active |
| minitest/minitest Minitest is a small, fast, and readable testing suite for Ruby supporting TDD, BDD, spec-style expectations, and benchmarking. It ships as … | 74 | 3411 | 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… | 85 | 3409 | active |
| 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… | 76 | 3407 | active |
| 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… | 66 | 3404 | active |
| samber/mo samber/mo is a Go library providing monads and functional programming abstractions such as Option, Result, Either, Future, IO, Task, and St… | 90 | 3403 | stable |
| milessabin/shapeless shapeless is a type class and dependent type based generic programming library for Scala. It enables deriving type class instances automati… | 67 | 3402 | stable |
| 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… | 73 | 3399 | 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… | 55 | 3396 | 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… | 99 | 3392 | active |
| zephir-lang/zephir Zephir is a high-level, statically/dynamically typed programming language with a compiler CLI that transpiles code to C for building PHP ex… | 99 | 3386 | active |
| 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 … | 70 | 3385 | active |
| microsoft/Power-Fx Microsoft Power Fx is a low-code general-purpose programming language based on spreadsheet-like formulas, strongly typed, declarative, and … | 67 | 3364 | active |
| Byebug Byebug is a feature-rich debugger for Ruby implemented as a C extension using the TracePoint and Debug Inspector APIs. It provides stepping… | 74 | 3349 | 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… | 83 | 3342 | active |