domain: programming-languages
1849 products, primary matches first, then adoption-weighted; health v2 shown.
| Product | Health v2 | Stars | Maturity |
|---|---|---|---|
| waf/CSharpRepl A cross-platform command-line C# REPL distributed as a .NET global tool, built on Roslyn. It offers syntax highlighting, intellisense, NuGe… | 96 | 3341 | active |
| screeps/screeps A standalone, distributed game server for Screeps, an MMO RTS sandbox game where players program their units' AI in JavaScript. It lets you… | 57 | 3341 | active |
| ardalis/GuardClauses A small, extensible C# library providing guard clause extension methods for fail-fast argument validation. It offers checks like null, empt… | 67 | 3314 | stable |
| D Programming Language (dmd + Phobos) DMD is the reference compiler for the D programming language, a statically typed systems and applications language with C-like syntax and n… | 88 | 3303 | active |
| jupyter-xeus/xeus-cling xeus-cling is a Jupyter kernel for the C++ programming language, built on the Cling C++ interpreter and the native xeus implementation of t… | 54 | 3294 | active |
| ghc/ghc The Glasgow Haskell Compiler (GHC), the state-of-the-art open-source compiler and interactive environment (GHCi) for the Haskell functional… | 77 | 3275 | active |
| nvimtools/none-ls.nvim none-ls.nvim is the community-maintained fork of null-ls.nvim, a Neovim plugin that turns Neovim itself into a language server so non-LSP t… | 72 | 3259 | active |
| checkedc/checkedc Checked C is an extension to the C programming language that adds bounds checking and improved type safety through opt-in annotations, impl… | 23 | 3255 | active |
| truffleruby/truffleruby TruffleRuby is a high-performance implementation of the Ruby programming language built on GraalVM's Truffle framework. It aims for full MR… | 89 | 3220 | active |
| pedroCabrera/PyFlow PyFlow is a general-purpose visual scripting framework for Python built on Qt/PySide2, letting users compose programs as node graphs with s… | 41 | 3198 | active |
| dotnet/sdk The .NET SDK repository containing core project creation and build functionality shared between Visual Studio and the .NET CLI, including M… | 98 | 3194 | active |
| wuseal/JsonToKotlinClass An IntelliJ IDEA and Android Studio plugin that generates Kotlin data class code from JSON strings, with support for annotations like Gson,… | 36 | 3179 | active |
| TypeStrong/ts-node ts-node is a TypeScript execution engine and REPL for Node.js that JIT-transforms TypeScript into JavaScript so it can be run directly with… | 23 | 13126 | maintenance |
| NASA-SW-VnV/ikos IKOS is a static analyzer for C and C++ programs based on the theory of Abstract Interpretation, built on LLVM. It provides reusable abstra… | 64 | 3160 | active |
| fable-compiler/Fable Fable is an open-source F# compiler that translates F# code to JavaScript, TypeScript, Python, Rust, Dart, and Erlang/BEAM. It makes F# a f… | 99 | 3144 | active |
| grame-cncm/faust Faust (Functional Audio Stream) is a functional programming language for real-time digital signal processing and sound synthesis, developed… | 88 | 3138 | stable |
| cognitive-engineering-lab/aquascope Aquascope is a tool that generates interactive visualizations of Rust programs, showing how the borrow checker reasons about permissions at… | 76 | 3131 | active |
| dtolnay/cargo-expand A Cargo subcommand that prints the result of macro and #[derive] expansion for a Rust crate, wrapping the verbose `cargo rustc -- -Zunprett… | 98 | 3126 | stable |
| saghul/txiki.js txiki.js is a tiny JavaScript runtime built on the QuickJS-ng engine and libuv, targeting modern ECMAScript and WinterTC compliance. It shi… | 96 | 3126 | active |
| FStarLang/FStar F* is a general-purpose proof-oriented programming language combining dependent types with SMT-based proof automation and interactive theor… | 99 | 3100 | active |
| konsoletyper/teavm TeaVM is an ahead-of-time compiler that translates Java bytecode (from Java, Kotlin, or Scala) into JavaScript, WebAssembly, or C. It ships… | 91 | 3098 | active |
| mrcjkb/rustaceanvim rustaceanvim is a Neovim plugin that enhances Rust development with rust-analyzer-specific features beyond the built-in LSP client. It is a… | 95 | 3097 | active |
| apache/netbeans Apache NetBeans is a free, open-source integrated development environment (IDE) supporting Java, JavaScript, PHP, HTML5, CSS, and more, wit… | 94 | 3095 | active |
| cel-expr/cel-go cel-go is a Go implementation of the Common Expression Language (CEL), a fast, portable, non-Turing complete expression language with gradu… | 99 | 3085 | stable |
| samber/cc-skills-golang A curated collection of 46 Go-specific agent skills (reusable instruction sets) for AI coding assistants like Claude Code, Codex, Gemini CL… | 81 | 3077 | active |
| willcrichton/flowistry Flowistry is a Rust IDE plugin (VS Code extension plus rustc plugin) that performs modular information flow analysis to determine which cod… | 63 | 3071 | active |
| uncrustify/uncrustify Uncrustify is a highly configurable source code beautifier for C, C++, C#, Objective-C, D, Java, Pawn, and Vala. It reformats code by adjus… | 83 | 3066 | stable |
| dotnet/vscode-csharp The official C# extension for Visual Studio Code, providing rich language support via a Language Server Protocol server powered by Roslyn a… | 96 | 3064 | active |
| cuelang/cue CUE is an open-source data validation language and inference engine, rooted in logic programming, that merges types and values into a singl… | 10 | 3056 | active |
| sanctuary-js/sanctuary Sanctuary is a JavaScript functional programming library inspired by Haskell and PureScript, offering a stricter, safer alternative to Ramd… | 23 | 3052 | stable |
| idris-lang/Idris2 Idris 2 is a purely functional programming language with first-class types and full dependent types, designed for type-driven development. … | 72 | 3048 | active |
| hashie/hashie Hashie is a Ruby gem providing a collection of classes and mixins that extend Ruby's Hash with powerful features like method access, key in… | 75 | 3035 | stable |
| peteromallet/desloppify Desloppify is a multi-language codebase health scanner and technical debt tracker designed as an agent harness for AI coding agents. It com… | 69 | 3034 | active |
| lem-project/lem Lem is a general-purpose text editor and IDE written in and extensible with Common Lisp, offering Emacs/Vim-style keyboard workflows, built… | 66 | 3032 | active |
| TinyCC/tinycc TinyCC (tcc) is a very small and fast ANSI C compiler that can compile, link, and run C code directly, including as shebang-style C scripts… | 75 | 3019 | active |
| tlaplus/tlaplus The official TLA+ tools repository containing TLC, a model checker for TLA+ specifications, plus the SANY parser, PlusCal translator, REPL,… | 85 | 3018 | active |
| dotnet-script/dotnet-script dotnet-script is a .NET global tool that lets you run C# scripts (.csx) directly from the .NET CLI, with inline NuGet package references an… | 81 | 3008 | active |
| TheDan64/inkwell Inkwell is a Rust library providing a safe, strongly-typed wrapper around llvm-sys for building compilers and JIT engines. It mirrors LLVM … | 90 | 3006 | active |
| srdja/Collections-C Collections-C is a generic data structures library for the C language, providing pointer containers (dynamic arrays, linked lists, deques, … | 69 | 3002 | stable |
| apache/commons-lang Apache Commons Lang is a Java utility library providing helper methods that supplement the java.lang API, including string manipulation, re… | 77 | 2999 | stable |
| jbevain/cecil Mono.Cecil is a C# library for inspecting, modifying, and generating .NET assemblies in ECMA CIL form. It provides a powerful object model … | 41 | 2994 | stable |
| chaosprint/glicol Glicol is a graph-oriented live coding language for computer music with both its language and audio DSP engine written in Rust. It compiles… | 30 | 2993 | active |
| mmcloughlin/avo avo is a Go library for generating x86-64 assembly using Go programs, providing an assembly-like API with register allocation and automatic… | 66 | 2989 | active |
| google/mangle Mangle is a deductive database programming language implemented as an embeddable Go library. It extends Datalog with aggregation, function … | 73 | 2986 | active |
| 1Password/typeshare Typeshare is a CLI tool and Rust library that parses Rust type definitions annotated with serde attributes and generates equivalent type de… | 81 | 2984 | active |
| mirage/mirage MirageOS is a library operating system written in OCaml that compiles application code into fully standalone, specialized unikernels for se… | 96 | 2981 | active |
| nickel-lang/nickel Nickel is a configuration language that generates static configuration files like JSON, YAML, and XML, essentially 'JSON with functions'. I… | 91 | 2981 | active |
| ashmind/SharpLab SharpLab is a .NET code playground (source of sharplab.io) that shows intermediate steps and results of code compilation, including decompi… | 34 | 2974 | active |
| espruino/Espruino Espruino is an open-source JavaScript interpreter and firmware for microcontrollers, designed to run on devices with as little as 128kB Fla… | 76 | 2965 | active |
| swiftlang/swift-format swift-format is the official Swift source code formatter, providing formatting technology used by SourceKit-LSP. It can be used as a comman… | 88 | 2952 | active |
| haskell/haskell-language-server The official Haskell language server implementing the Language Server Protocol, providing IDE features like diagnostics, completions, and r… | 84 | 2952 | active |
| mozilla/cbindgen cbindgen is a tool that generates C and C++11 header files from Rust crates that expose a public C API. It can be used as a standalone CLI … | 91 | 2945 | active |
| ispc/ispc Intel ISPC is a compiler for a C-based SPMD (single program, multiple data) language that targets SIMD vector units on CPUs and GPUs. It le… | 89 | 2945 | stable |
| unjs/jiti jiti is a zero-dependency Node.js library and CLI that provides runtime TypeScript and ESM support with seamless ESM/CommonJS interoperabil… | 93 | 2939 | active |
| agda/agda Agda is a dependently typed functional programming language that doubles as an interactive theorem prover based on intuitionistic type theo… | 67 | 2920 | active |
| standardrb/standard Standard Ruby is a linter and formatter for Ruby built on RuboCop, offering a deliberately unconfigurable, opinionated ruleset to eliminate… | 67 | 2919 | active |
| postmodern/chruby chruby is a minimal shell script (~100 LOC) for switching between installed Ruby versions in bash and zsh. It updates PATH, GEM_HOME, and r… | 45 | 2912 | stable |
| sentrux/sentrux Sentrux is a pure-Rust static analysis tool that computes a single architectural quality score (0–10,000) from five graph-theoretic root-ca… | 61 | 2911 | active |
| terralang/terra Terra is a low-level system programming language that is embedded in and meta-programmed by the Lua programming language. It allows Lua cod… | 98 | 2906 | active |
| rui314/chibicc chibicc is a small C compiler written in C that implements most of the C11 standard and can compile real-world programs like Git, SQLite, a… | 32 | 11855 | maintenance |
| JuliaLang/IJulia.jl IJulia is a Jupyter kernel that lets you run the Julia language inside Jupyter Notebook, JupyterLab, and nteract. It combines Julia's compu… | 85 | 2897 | active |
| wemake-services/wemake-python-styleguide wemake-python-styleguide is the strictest and most opinionated Python linter, implemented as a flake8 plugin. It enforces a comprehensive s… | 95 | 2894 | active |
| verus-lang/verus Verus is a verification tool for statically proving the correctness of Rust code against developer-written specifications, using SMT solver… | 95 | 2890 | active |
| LightTable/LightTable Light Table is a next-generation code editor and IDE built with ClojureScript that provides instant feedback by connecting code execution t… | 10 | 11689 | maintenance |
| aws/jsii jsii is a toolchain that lets TypeScript class libraries be consumed natively from Python, Java, C#/.NET, Go, and JavaScript by generating … | 99 | 2866 | active |
| moovweb/gvm GVM (Go Version Manager) is a shell-based tool for installing, switching between, and managing multiple versions of the Go programming lang… | 32 | 11677 | maintenance |
| voidint/g g is a command-line tool for managing and switching between multiple versions of the Go programming language environment on Linux, macOS, a… | 63 | 2862 | active |
| erg-lang/erg Erg is a statically typed, Python-compatible general-purpose programming language with a powerful type system featuring dependent and refin… | 59 | 2860 | active |
| pypa/setuptools Setuptools is the official build system and packaging library for Python, enabling developers to build, package, and distribute Python proj… | 97 | 2854 | stable |
| cashapp/turbine Turbine is a small Kotlin testing library for kotlinx.coroutines Flow. It wraps flows in a Turbine channel-based API with awaitItem/awaitCo… | 67 | 2854 | active |
| DotNetAnalyzers/StyleCopAnalyzers StyleCop.Analyzers implements StyleCop style rules as Roslyn analyzers for C#, distributed as a NuGet package. It includes code fixes for m… | 50 | 2854 | active |
| orangeduck/mpc mpc is a lightweight parser combinator library for C, shipped as a single ANSI C source file. It supports type-generic parsers, predictive … | 39 | 2851 | stable |
| TidalCycles Strudel is a web-based environment for live coding algorithmic music patterns, offering a faithful JavaScript port of the Haskell-based Tid… | 10 | 2850 | active |
| rustviz/rustviz RustViz generates interactive timeline visualizations of ownership and borrowing events for short Rust programs, integrating directly with … | 74 | 2849 | active |
| beefytech/Beef Beef is an open-source, performance-oriented compiled programming language derived from C# syntax with C-style low-level control, bundled w… | 67 | 2846 | active |
| mlua mlua is a Rust library providing safe, high-level bindings to Lua 5.5/5.4/5.3/5.2/5.1 (including LuaJIT) and Luau, with async/await support… | 94 | 2844 | active |
| symfony/expression-language A Symfony PHP component providing an engine that compiles and evaluates one-line expressions with a syntax similar to PHP and Twig. It acts… | 95 | 2840 | stable |
| cargo-bins/cargo-binstall cargo-binstall is a Rust subcommand that installs prebuilt binaries of crates.io packages instead of compiling them from source with cargo … | 95 | 2839 | active |
| gcanti/fp-ts fp-ts is a library for typed functional programming in TypeScript, providing popular data types (Option, Either, IO, Task), type classes (F… | 58 | 11540 | maintenance |
| YarnSpinnerTool/YarnSpinner Yarn Spinner is the core compiler and engine-agnostic runtime for the Yarn dialogue language, a screenplay-like format for writing interact… | 84 | 2832 | stable |
| vkhorikov/CSharpFunctionalExtensions A C# library providing functional programming extensions, including Result and Maybe monads, value objects, and fluent method chaining. It … | 72 | 2826 | stable |
| jOOQ/jOOR jOOR is a small, dependency-free fluent API wrapper around Java's java.lang.reflect package, making reflection more intuitive and concise. … | 32 | 2825 | stable |
| Engelberg/instaparse Instaparse is a Clojure/ClojureScript library that turns context-free grammars written in standard EBNF or ABNF notation into executable pa… | 32 | 2822 | stable |
| mono/mono Mono is an open source implementation of Microsoft's .NET Framework based on the ECMA standards for C# and the Common Language Runtime, inc… | 32 | 11466 | maintenance |
| teal-language/tl tl is the compiler and type checker for Teal, a statically-typed dialect of Lua that adds type annotations, generics, and records while com… | 78 | 2814 | active |
| roslynpad/roslynpad RoslynPad is a cross-platform C# code editor and runner built on the Roslyn compiler platform and an Avalonia-based editor. It provides IDE… | 98 | 2812 | active |
| Chevrotain/chevrotain Chevrotain is a fast, feature-rich parser building toolkit for JavaScript with built-in LL(K) grammar support. Grammars are written as pure… | 67 | 2797 | stable |
| diku-dk/futhark Futhark is a purely functional, statically typed data-parallel array programming language in the ML family, developed at the University of … | 95 | 2793 | active |
| IoLanguage/io Io is a small, dynamic prototype-based programming language implemented in C, inspired by Self, Smalltalk, Lisp, and Lua, where everything … | 66 | 2790 | active |
| com-lihaoyi/mill Mill is a JVM build tool for Java, Scala, and Kotlin, designed to be simpler than Maven and easier than Gradle. It offers 3-7x faster devel… | 98 | 2783 | active |
| clasp-developers/clasp Clasp is a Common Lisp implementation that compiles to native code via LLVM and seamlessly interoperates with C++ libraries and programs. I… | 85 | 2782 | active |
| WAVM/WAVM WAVM is a WebAssembly virtual machine designed for non-browser applications, using LLVM to JIT-compile WebAssembly to near-native machine c… | 70 | 2775 | active |
| bpython/bpython bpython is a fancy curses-based interface to the Python interactive interpreter that adds IDE-like features such as in-line syntax highligh… | 70 | 2771 | stable |
| Tencent/UnLua UnLua is a highly optimized Lua scripting plugin for Unreal Engine that lets UE programmers write gameplay logic in Lua with zero learning … | 57 | 2770 | active |
| rafamadriz/friendly-snippets A community-driven collection of preconfigured code snippets for many programming languages, packaged in VS Code snippet format. It is desi… | 61 | 2769 | stable |
| manifold-systems/manifold Manifold is a Java compiler plugin that extends the Java language at compile time with features like extension methods, properties, operato… | 76 | 2759 | active |
| IronPython IronPython is an open-source implementation of the Python programming language built on the .NET Dynamic Language Runtime, targeting Python… | 67 | 2759 | active |
| google/starlark-go Starlark in Go is a Go implementation of the Starlark interpreter, a deterministic dialect of Python designed as an embedded configuration … | 73 | 2754 | stable |
| bakpakin/Fennel Fennel is a Lisp dialect that compiles to Lua with zero runtime overhead and full Lua compatibility. It supports compile-time macros, patte… | 52 | 2745 | stable |
| pf4j/pf4j PF4J is a lightweight (~100KB) plugin framework for Java that lets applications load, start, and stop third-party plugins implementing decl… | 95 | 2740 | stable |