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 |
|---|---|---|---|
| verus-lang/verus Verus is a verification tool for statically proving the correctness of Rust code against developer-written specifications, using SMT solver… | 96 | 3364 | active |
| waf/CSharpRepl A cross-platform command-line C# REPL distributed as a .NET global tool, built on Roslyn. It offers syntax highlighting, intellisense, NuGe… | 92 | 3352 | 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… | 68 | 3351 | active |
| Screeps A standalone, distributed game server for Screeps, an MMO RTS sandbox game where players program their units' AI in JavaScript. It lets you… | 53 | 3350 | active |
| 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… | 77 | 3337 | active |
| D Programming Language (DMD toolchain) DMD is the reference compiler for the D programming language, a statically typed systems and applications language with C-like syntax and n… | 85 | 3328 | active |
| ardalis/GuardClauses A small, extensible C# library providing guard clause extension methods for fail-fast argument validation. It offers checks like null, empt… | 66 | 3314 | stable |
| 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… | 51 | 3297 | active |
| 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… | 56 | 3289 | 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 |
| Checked C Checked C is an extension to the C programming language that adds bounds checking and improved type safety through opt-in annotations, impl… | 23 | 3263 | active |
| 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… | 68 | 3262 | active |
| .NET SDK The .NET SDK repository containing core project creation and build functionality shared between Visual Studio and the .NET CLI, including M… | 100 | 3230 | 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… | 92 | 3227 | active |
| 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… | 92 | 3207 | 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… | 37 | 3201 | active |
| Faust Faust (Functional Audio Stream) is a functional programming language for real-time digital signal processing and sound synthesis, developed… | 96 | 3188 | 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… | 74 | 3183 | 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,… | 33 | 3179 | active |
| 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… | 57 | 3166 | 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 | 13119 | maintenance |
| 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… | 63 | 3153 | active |
| 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 | 3152 | 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… | 93 | 3151 | active |
| apache/netbeans Apache NetBeans is a free, open-source integrated development environment (IDE) supporting Java, JavaScript, PHP, HTML5, CSS, and more, wit… | 91 | 3140 | 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… | 99 | 3134 | stable |
| TeaVM TeaVM is an ahead-of-time compiler that translates Java bytecode (from Java, Kotlin, or Scala) into JavaScript, WebAssembly, or C. It ships… | 95 | 3132 | active |
| F* F* is a general-purpose proof-oriented programming language combining dependent types with SMT-based proof automation and interactive theor… | 100 | 3121 | active |
| Common Expression Language (CEL) cel-go is a Go implementation of the Common Expression Language (CEL), a fast, portable, non-Turing complete expression language with gradu… | 96 | 3121 | stable |
| tlaplus/tlaplus The official TLA+ tools repository containing TLC, a model checker for TLA+ specifications, plus the SANY parser, PlusCal translator, REPL,… | 86 | 3114 | active |
| idris-lang/Idris2 Idris 2 is a purely functional programming language with first-class types and full dependent types, designed for type-driven development. … | 70 | 3094 | 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… | 57 | 3074 | active |
| 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… | 94 | 3072 | 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… | 81 | 3070 | stable |
| 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… | 68 | 3059 | 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 | 3057 | active |
| sanctuary-js/sanctuary Sanctuary is a JavaScript functional programming library inspired by Haskell and PureScript, offering a stricter, safer alternative to Ramd… | 23 | 3050 | stable |
| 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 | 3041 | 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… | 73 | 3039 | stable |
| 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 … | 96 | 3031 | active |
| 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 | 3015 | stable |
| 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… | 78 | 3012 | active |
| 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… | 26 | 3009 | active |
| srdja/Collections-C Collections-C is a generic data structures library for the C language, providing pointer containers (dynamic arrays, linked lists, deques, … | 66 | 3006 | stable |
| Cecil Mono.Cecil is a C# library for inspecting, modifying, and generating .NET assemblies in ECMA CIL form. It provides a powerful object model … | 38 | 3005 | stable |
| nickel-lang/nickel Nickel is a configuration language that generates static configuration files like JSON, YAML, and XML, essentially 'JSON with functions'. I… | 93 | 3002 | active |
| mirage/mirage MirageOS is a library operating system written in OCaml that compiles application code into fully standalone, specialized unikernels for se… | 89 | 2993 | active |
| google/mangle Mangle is a deductive database programming language implemented as an embeddable Go library. It extends Datalog with aggregation, function … | 73 | 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 | 2990 | 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… | 83 | 2988 | 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… | 95 | 2984 | stable |
| ashmind/SharpLab SharpLab is a .NET code playground (source of sharplab.io) that shows intermediate steps and results of code compilation, including decompi… | 34 | 2981 | active |
| Espruino Espruino is an open-source JavaScript interpreter and firmware for microcontrollers, designed to run on devices with as little as 128kB Fla… | 77 | 2978 | active |
| unjs/jiti jiti is a zero-dependency Node.js library and CLI that provides runtime TypeScript and ESM support with seamless ESM/CommonJS interoperabil… | 90 | 2974 | active |
| haskell/haskell-language-server The official Haskell language server implementing the Language Server Protocol, providing IDE features like diagnostics, completions, and r… | 89 | 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 | 2960 | 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 … | 85 | 2951 | active |
| Agda Agda is a dependently typed functional programming language that doubles as an interactive theorem prover based on intuitionistic type theo… | 86 | 2931 | active |
| Standard Ruby Standard Ruby is a linter and formatter for Ruby built on RuboCop, offering a deliberately unconfigurable, opinionated ruleset to eliminate… | 65 | 2926 | 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… | 93 | 2918 | 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 | 11914 | maintenance |
| 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… | 92 | 2914 | active |
| 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 … | 94 | 2911 | 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… | 41 | 2911 | stable |
| 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… | 87 | 2908 | active |
| 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… | 64 | 2887 | active |
| jsii jsii is a toolchain that lets TypeScript class libraries be consumed natively from Python, Java, C#/.NET, Go, and JavaScript by generating … | 99 | 2870 | 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… | 91 | 2870 | 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 | 11694 | maintenance |
| beefytech/Beef Beef is an open-source, performance-oriented compiled programming language derived from C# syntax with C-style low-level control, bundled w… | 68 | 2869 | active |
| Light Table 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 |
| 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 | 2864 | active |
| erg-lang/erg Erg is a statically typed, Python-compatible general-purpose programming language with a powerful type system featuring dependent and refin… | 55 | 2864 | active |
| pypa/setuptools Setuptools is the official build system and packaging library for Python, enabling developers to build, package, and distribute Python proj… | 93 | 2863 | stable |
| DotNetAnalyzers/StyleCopAnalyzers StyleCop.Analyzers implements StyleCop style rules as Roslyn analyzers for C#, distributed as a NuGet package. It includes code fixes for m… | 86 | 2860 | active |
| Yarn Spinner Yarn Spinner is the core compiler and engine-agnostic runtime for the Yarn dialogue language, a screenplay-like format for writing interact… | 82 | 2856 | stable |
| 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 … | 35 | 2854 | stable |
| rustviz/rustviz RustViz generates interactive timeline visualizations of ownership and borrowing events for short Rust programs, integrating directly with … | 68 | 2851 | active |
| TidalCycles Strudel is a web-based environment for live coding algorithmic music patterns, offering a faithful JavaScript port of the Haskell-based Tid… | 10 | 2846 | 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… | 54 | 11548 | maintenance |
| 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… | 94 | 2838 | stable |
| vkhorikov/CSharpFunctionalExtensions A C# library providing functional programming extensions, including Result and Maybe monads, value objects, and fluent method chaining. It … | 66 | 2831 | stable |
| 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… | 74 | 2829 | active |
| Engelberg/instaparse Instaparse is a Clojure/ClojureScript library that turns context-free grammars written in standard EBNF or ABNF notation into executable pa… | 32 | 2827 | 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. … | 88 | 2824 | 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 |
| 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… | 94 | 2818 | active |
| 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 | 2809 | 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 | 2809 | stable |
| IoLanguage/io Io is a small, dynamic prototype-based programming language implemented in C, inspired by Self, Smalltalk, Lisp, and Lua, where everything … | 67 | 2803 | 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 | 2796 | active |
| 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 … | 53 | 2791 | 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… | 82 | 2785 | 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 … | 77 | 2783 | stable |
| WAVM/WAVM WAVM is a WebAssembly virtual machine designed for non-browser applications, using LLVM to JIT-compile WebAssembly to near-native machine c… | 64 | 2782 | 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… | 75 | 2777 | stable |
| 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… | 67 | 2776 | 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… | 77 | 2766 | active |
| flix/flix Flix is a statically typed, effect-oriented programming language that combines functional, imperative, and logic programming paradigms, dev… | 99 | 2758 | active |
| Fennel Fennel is a Lisp dialect that compiles to Lua with zero runtime overhead and full Lua compatibility. It supports compile-time macros, patte… | 49 | 2758 | stable |