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 |
|---|---|---|---|
| cesanta/elk Elk is a tiny embeddable JavaScript engine written in C that implements a small subset of ES6, designed for microcontrollers with footprint… | 52 | 1902 | active |
| shepmaster/snafu SNAFU is a Rust library for ergonomically creating domain-specific error types and attaching context to underlying errors. It uses a derive… | 70 | 1899 | stable |
| KronicDeth/intellij-elixir An Elixir language plugin for the IntelliJ Platform, providing IDE support across JetBrains IDEs like IntelliJ IDEA, RubyMine, WebStorm, an… | 96 | 1898 | active |
| mxcl/swift-sh swift-sh is a command-line tool that lets you write Swift scripts with third-party dependencies declared inline via import comments, withou… | 57 | 1891 | active |
| liljencrantz/crush Crush is a command line shell written in Rust that doubles as a modern programming language with a type system, closures, and lexical scopi… | 75 | 1889 | active |
| TartanLlama/expected A single-header C++11/14/17 implementation of std::expected with functional-style extensions like map, and_then, and or_else. It lets devel… | 48 | 1887 | stable |
| jquery/esprima Esprima is a high-performance, standard-compliant ECMAScript (JavaScript) parser written in TypeScript/JavaScript, producing ESTree-format … | 32 | 7140 | maintenance |
| orangeduck/Cello Cello is a C library that adds a higher-level runtime system to C, providing generic data structures, polymorphism, interfaces/type classes… | 23 | 7131 | maintenance |
| ruby/did_you_mean A Ruby gem that enhances error messages by suggesting corrections for misspelled method, variable, class, and key names in NameError, NoMet… | 59 | 1881 | stable |
| ZoKrates ZoKrates is a toolbox for zkSNARKs on Ethereum, providing a high-level domain-specific language for writing verifiable off-chain programs a… | 23 | 1872 | active |
| phpenv phpenv is a shell-based PHP version manager inspired by rbenv, letting developers install and switch between multiple PHP builds per projec… | 79 | 1871 | active |
| olmps/memo Memo is an open-source, programming-oriented spaced repetition software (SRS) built with Flutter. It is a mobile application monorepo targe… | 23 | 1869 | active |
| CS-Script CS-Script is a CLR-based scripting platform that uses ECMA-compliant C# as its scripting language, supporting both standalone CLI execution… | 84 | 1868 | stable |
| dart-lang/dart-pad DartPad is a free, open-source online editor for writing, compiling, and running Dart and Flutter code directly in the browser. It includes… | 76 | 1867 | active |
| factor/factor Factor is a concatenative, stack-based programming language with dynamic types, extensible syntax, macros, and garbage collection. It ships… | 88 | 1863 | active |
| alexreardon/tiny-invariant A tiny, zero-dependency invariant assertion function for JavaScript and TypeScript that throws when a condition is falsy. It also narrows t… | 23 | 1863 | stable |
| xorvoid/sectorc SectorC is a C compiler written in x86-16 assembly that fits entirely within a 512-byte x86 boot sector. It supports a small but usable sub… | 56 | 1862 | active |
| clj-kondo/clj-kondo clj-kondo is a static analyzer and linter for Clojure, ClojureScript, and EDN code that detects errors and style issues without executing t… | 91 | 1861 | active |
| ReactiveX/RxKotlin RxKotlin is a lightweight library of Kotlin extension functions for RxJava, streamlining reactive programming on the JVM. It centralizes id… | 23 | 7026 | maintenance |
| cpplint/cpplint Cpplint is a command-line static code checker that checks C/C++ files for style issues according to Google's C++ style guide. It is a commu… | 78 | 1854 | active |
| boostorg/hana Boost.Hana is a header-only C++14 metaprogramming library providing a standard library for computations on both types and values, including… | 63 | 1847 | stable |
| egraphs-good/egg egg is a Rust library implementing e-graphs and equality saturation, providing a fast and flexible data structure for compactly representin… | 76 | 1842 | active |
| mkobuolys/flutter-design-patterns An open-source mobile application built with Dart and Flutter that demonstrates OOP design patterns with interactive examples and explanati… | 71 | 1840 | active |
| EmmyLua EmmyLua is an IntelliJ IDEA plugin providing Lua language support, including syntax highlighting, code completion, navigation, refactoring,… | 63 | 1838 | active |
| Vexu/arocc Aro is a modern C compiler written in Zig that aims for fast compilation, low memory usage, and high-quality diagnostics, with support for … | 76 | 1832 | active |
| aantron/better-enums Better Enums is a single-header C++ library that adds reflection to enums, enabling string conversion, iteration, and counting at compile t… | 23 | 1830 | stable |
| lhartikk/ArnoldC ArnoldC is an esoteric programming language whose keywords are Arnold Schwarzenegger movie one-liners, implemented in Scala. It ships as a … | 32 | 6888 | maintenance |
| metacall/core MetaCall is an extensible, embeddable polyglot runtime that lets you call functions, methods, or procedures across multiple programming lan… | 99 | 1827 | active |
| Tai-e Tai-e is an easy-to-learn, developer-friendly static analysis framework for Java and Android programs, offering pointer analysis, taint ana… | 82 | 1825 | active |
| composer/packagist The source code of Packagist.org, the default package repository for Composer that aggregates public PHP packages. It is a Symfony web appl… | 76 | 1823 | active |
| natemcmaster/DotNetCorePlugins A .NET library (McMaster.NETCore.Plugins) for dynamically loading .NET assemblies as plugins into a host application, with dependency isola… | 65 | 1823 | active |
| erlang/rebar3 Rebar3 is the official build tool for Erlang, handling compilation, dependency and Hex package management, testing, and release packaging i… | 96 | 1822 | stable |
| viperproject/prusti-dev Prusti is a static verifier for Rust that formally proves absence of panics, integer overflows, and other bugs, and checks user-specified c… | 66 | 1817 | active |
| vgvassilev/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 | 1810 | active |
| parinfer/parinfer.js Parinfer.js is a JavaScript library implementing the Parinfer system, which auto-adjusts parentheses in Lisp code as indentation changes an… | 62 | 1807 | active |
| LSP An LSP client implementation for Sublime Text that connects the editor to language servers via the Language Server Protocol. It provides ID… | 97 | 1803 | active |
| spinel-coop/rv rv is an extremely fast Ruby version and gem manager written in Rust, handling Ruby installation, project gem installation, and isolated ge… | 83 | 1803 | active |
| pypy/pypy PyPy is a fast, compliant alternative implementation of the Python programming language built on the RPython compiler framework. It feature… | 70 | 1800 | stable |
| jacktasia/dumb-jump Dumb Jump is an Emacs package providing 'jump to definition' and 'find references' navigation for 60+ programming languages. It works with … | 66 | 1800 | active |
| sindresorhus/is A TypeScript library for checking the type of values at runtime, with type guards and assertions. It provides a simple API like `is.string(… | 85 | 1798 | active |
| doctrine/annotations Doctrine Annotations is a PHP library that parses docblock annotations (@-syntax in PHPDoc comments) and exposes them via reflection-based … | 44 | 6728 | maintenance |
| agronholm/typeguard Typeguard is a Python library that performs run-time type checking based on PEP 484 type annotations, complementing static type checkers. I… | 90 | 1792 | active |
| glycerine/zygomys Zygomys is an embeddable Lisp interpreter written in pure Go, with an optional infix syntax subset of Go and a standalone REPL called zygo.… | 77 | 1790 | active |
| pypa/twine Twine is a utility for publishing Python packages to PyPI, providing build-system-independent uploads of source and binary distribution art… | 85 | 1789 | active |
| symfony/string A PHP library from the Symfony ecosystem providing an object-oriented API for string manipulation that uniformly handles bytes, UTF-8 code … | 97 | 1785 | stable |
| eyre eyre is a Rust library providing eyre::Report, a trait-object based error handling type for idiomatic error handling and reporting in appli… | 72 | 1785 | stable |
| vinniefalco/LuaBridge LuaBridge is a lightweight, dependency-free, header-only C++ library for binding Lua data, functions, and classes between C++ and Lua. It s… | 49 | 1784 | active |
| coalton-lang/coalton Coalton is a statically typed functional programming language embedded in Common Lisp, drawing ideas from Haskell, Scheme, and OCaml. It co… | 91 | 1779 | active |
| andrivet/ADVobfuscator ADVobfuscator is a C++20 header-only library that obfuscates and encrypts strings and data blocks at compile time using metaprogramming, wi… | 88 | 1779 | active |
| rcore-os/zCore zCore is a reimplementation of Google's Zircon microkernel written in safe Rust, runnable both as a userspace libos program and on bare met… | 83 | 1779 | active |
| ElixirLS ElixirLS is a language server for Elixir implementing the Language Server Protocol, providing IDE features like completion, go-to-definitio… | 88 | 1778 | active |
| bnjbvr/rouille Rouille is a Rust proc-macro crate that lets you write Rust programs using French keywords, function names, and idioms, fully interoperable… | 51 | 1778 | active |
| greyblake/nutype Nutype is a Rust procedural macro that enhances the newtype pattern with built-in sanitization and validation constraints. It guarantees th… | 88 | 1776 | active |
| Joker Joker is a small Clojure dialect interpreter written in Go that also serves as a Clojure/ClojureScript linter and formatter. It offers fast… | 96 | 1774 | active |
| hashicorp/go-version A Go library for parsing, comparing, and verifying semantic versions and version constraints. It supports prerelease versions, sorting coll… | 80 | 1773 | stable |
| typelevel/spire Spire is a numeric library for Scala providing powerful new number types (like Rational, Complex, and more) and generic numeric abstraction… | 62 | 1772 | active |
| wa-lang/wa Wa (凹) is a general-purpose, statically typed programming language designed for WebAssembly, with a fully self-developed compiler and runti… | 70 | 1770 | active |
| tgrysztar/fasm flat assembler (fasm) is a fast self-assembling assembler for x86 and x86-64 that generates executable files directly. This repository hold… | 60 | 1766 | stable |
| selfrefactor/rambda Rambda is a TypeScript-focused functional programming utility library similar to Ramda, Remeda, and Radashi. It centers on curried function… | 76 | 1757 | active |
| andrewlock/StronglyTypedId A Roslyn-powered compile-time source generator for .NET that creates strongly-typed ID types from a simple attribute, eliminating boilerpla… | 32 | 1756 | active |
| GraalVM GraalVM CE builds is the official distribution repository of GraalVM Community Edition binaries built on OpenJDK. GraalVM is a high-perform… | 93 | 1755 | active |
| pikasTech/PikaPython PikaPython is an ultra-lightweight Python interpreter written in C that runs on microcontrollers with as little as 4KB of RAM and 64KB of f… | 81 | 1755 | active |
| manateelazycat/lsp-bridge lsp-bridge is a high-performance LSP (Language Server Protocol) client for Emacs that offloads LSP requests and data analysis to an externa… | 75 | 1753 | active |
| foundweekends/giter8 Giter8 is a command line tool that generates files and directories from templates published on GitHub or any other Git repository. It is im… | 67 | 1751 | active |
| LuxLang/lux Lux is a functional, statically-typed Lisp programming language with a compiler that targets the JVM, JavaScript, Python, Lua, and Ruby. It… | 69 | 1748 | active |
| LemonAppDev/konsist Konsist is a structural linter and static code analyzer for Kotlin that enforces codebase consistency and architecture rules. Checks are wr… | 98 | 1746 | active |
| haskell/cabal Cabal is the official build and packaging system for Haskell, comprising the Cabal library, the .cabal file format specification, and the c… | 90 | 1745 | stable |
| magnars/dash.el dash.el is a modern list manipulation library for Emacs Lisp, providing a rich functional-style list API without requiring the cl library. … | 67 | 1744 | stable |
| MightyPirates/OpenComputers OpenComputers is a Minecraft mod that adds programmable computers, robots, and peripherals to the game, powered by a persistent Lua 5.2 run… | 10 | 1743 | active |
| radian-software/riju Riju is an extremely fast online playground that lets users run code in hundreds of programming languages directly in the browser, with sub… | 62 | 1735 | active |
| fthomas/refined refined is a Scala library for refinement types, letting you attach type-level predicates to base types so value constraints are checked at… | 81 | 1732 | active |
| Bacon.js Bacon.js is a functional reactive programming (FRP) library for TypeScript and JavaScript, built around event streams and observable proper… | 36 | 6453 | maintenance |
| quint-co/quint Quint is an executable specification language based on the Temporal Logic of Actions (TLA+), designed for modeling and verifying the behavi… | 87 | 1730 | active |
| joshiemoore/snakeware snakeware is a free Linux distribution whose userspace is written entirely in Python, booting directly into a Python interpreter inspired b… | 23 | 1730 | active |
| justjake/quickjs-emscripten TypeScript bindings for the QuickJS JavaScript interpreter compiled to WebAssembly, letting you safely evaluate untrusted JavaScript inside… | 70 | 1729 | active |
| jzimmerman/langcc langcc is a next-generation compiler compiler that generates efficient linear-time parsers and full compiler frontends (AST definitions, tr… | 32 | 1729 | stable |
| mihaifm/linq linq.js is a pure JavaScript implementation of the .NET LINQ library with no dependencies, providing all original .NET methods plus additio… | 23 | 1728 | stable |
| Symfony Polyfill A Symfony component that backports PHP 8.0 core features (such as str_contains, str_starts_with, str_ends_with, Stringable, ValueError, and… | 89 | 1724 | stable |
| JLLeitschuh/ktlint-gradle A Gradle plugin that wraps the ktlint Kotlin linter, adding tasks to run style checks and auto-format Kotlin code. It activates automatical… | 84 | 1722 | active |
| michaelb/sniprun Sniprun is a Neovim plugin written in Lua and Rust that runs selected lines or blocks of code independently of the rest of the file, suppor… | 77 | 1716 | active |
| clojerl/clojerl Clojerl is an unofficial implementation of the Clojure programming language that runs on the Erlang VM (BEAM). It provides a REPL, compiler… | 23 | 1715 | active |
| SVF-tools/SVF SVF is a C++ static analysis framework built on LLVM that provides scalable and precise value-flow analysis and pointer analysis for source… | 83 | 1714 | active |
| nvim-java/nvim-java A Neovim plugin that provides a batteries-included Java development environment, bundling the jdtls language server, Spring Boot tools, deb… | 87 | 1707 | active |
| ocaml/merlin Merlin is an editor service providing modern IDE features such as context-sensitive completion, type inference display, navigation, and ref… | 90 | 1706 | active |
| IRkernel/IRkernel IRkernel is an R kernel for Jupyter that lets users run R code in Jupyter notebooks, consoles, and other Jupyter frontends. It registers R … | 23 | 1699 | stable |
| iden3/circom Circom is a domain-specific language and compiler for defining arithmetic circuits used to generate zero-knowledge proofs (zk-SNARKs). Writ… | 73 | 1698 | active |
| vygr/ChrysaLisp ChrysaLisp is a 64-bit parallel operating system environment featuring a virtual processor, GUI, terminal, OO assembler, C-Script compiler,… | 98 | 1695 | active |
| cormullion/juliamono JuliaMono is a free, open-source monospaced typeface designed for scientific and technical programming, with comprehensive Unicode coverage… | 80 | 1692 | active |
| ferrocene/ferrocene Ferrocene is a safety-critical Rust toolchain, a downstream fork of the official Rust compiler, qualified for use in safety- and mission-cr… | 73 | 1689 | active |
| SeaQL/FireDBG.for.Rust FireDBG is a time travel visual debugger for Rust that records program execution and lets developers inspect call trees, variables, and tim… | 21 | 1681 | active |
| AvdLee/Swift-Concurrency-Agent-Skill A packaged Agent Skill in the open Agent Skills/Agent Plugin format that injects expert Swift Concurrency knowledge into AI coding assistan… | 78 | 1677 | active |
| svaarala/duktape Duktape is an embeddable JavaScript (ECMAScript E5/E5.1 with partial ES2015+) engine written in C, focused on portability and a compact foo… | 65 | 6215 | maintenance |
| Jedi Jedi is a static analysis library for Python focused on autocompletion, goto functionality, refactoring, and code search. It is typically e… | 77 | 6182 | maintenance |
| stm32-rs/stm32-rs A collection of Rust peripheral access crates (PACs) for all STM32 microcontroller families, generated from SVD files via svd2rust with com… | 66 | 1666 | active |
| kerl/kerl kerl is a POSIX shell script for easily building and installing Erlang/OTP instances. It tracks downloaded and built releases so new instal… | 38 | 1666 | active |
| glot glot is an open source online code playground (glot.io) that lets users run and share code snippets in dozens of languages. It executes cod… | 32 | 1665 | active |
| indygreg/PyOxidizer PyOxidizer is a Rust-based tool for packaging Python applications into self-contained binaries that embed a Python interpreter and all reso… | 23 | 6157 | maintenance |
| JetBrains/MPS JetBrains MPS is an open-source meta-programming system (language workbench) for designing domain-specific languages with a complete develo… | 77 | 1660 | stable |
| clojure/clojure-clr ClojureCLR is a native implementation of the Clojure programming language on the .NET Common Language Runtime, written in C# and Clojure. I… | 77 | 1658 | active |
| fornwall/rust-script rust-script is a command-line tool that runs Rust files and expressions as scripts without any setup or explicit compilation step. It gener… | 36 | 1657 | active |