domain: programming-languages
1849 products, primary matches first, then adoption-weighted; health v2 shown.
| Product | Health v2 | Stars | Maturity |
|---|---|---|---|
| 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… | 61 | 1892 | active |
| jquery/esprima Esprima is a high-performance, standard-compliant ECMAScript (JavaScript) parser written in TypeScript/JavaScript, producing ESTree-format … | 32 | 7139 | maintenance |
| 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… | 49 | 1886 | active |
| 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 | 7128 | 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… | 63 | 1881 | stable |
| 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… | 53 | 1879 | stable |
| Zokrates/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 |
| olmps/memo Memo is an open-source, programming-oriented spaced repetition software (SRS) built with Flutter. It is a mobile application monorepo targe… | 23 | 1870 | active |
| oleg-shilo/cs-script CS-Script is a CLR-based scripting platform that uses ECMA-compliant C# as its scripting language, supporting both standalone CLI execution… | 91 | 1868 | stable |
| phpenv/phpenv phpenv is a shell-based PHP version manager inspired by rbenv, letting developers install and switch between multiple PHP builds per projec… | 85 | 1865 | 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 |
| ReactiveX/RxKotlin RxKotlin is a lightweight library of Kotlin extension functions for RxJava, streamlining reactive programming on the JVM. It centralizes id… | 23 | 7029 | maintenance |
| 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… | 77 | 1859 | 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… | 66 | 1852 | 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… | 59 | 1852 | 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… | 94 | 1851 | active |
| factor/factor Factor is a concatenative, stack-based programming language with dynamic types, extensible syntax, macros, and garbage collection. It ships… | 74 | 1850 | active |
| 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… | 69 | 1846 | 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… | 75 | 1840 | active |
| EmmyLua/IntelliJ-EmmyLua EmmyLua is an IntelliJ IDEA plugin providing Lua language support, including syntax highlighting, code completion, navigation, refactoring,… | 67 | 1836 | active |
| creusot-rs/creusot Creusot is a deductive verifier for Rust that proves code is free of panics, overflows, and assertion failures, and—with Pearlite contracts… | 94 | 1833 | active |
| lhartikk/ArnoldC ArnoldC is an esoteric programming language whose keywords are Arnold Schwarzenegger movie one-liners, implemented in Scala. It ships as a … | 32 | 6881 | maintenance |
| 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 | 1828 | 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… | 74 | 1822 | active |
| natemcmaster/DotNetCorePlugins A .NET library (McMaster.NETCore.Plugins) for dynamically loading .NET assemblies as plugins into a host application, with dependency isola… | 55 | 1820 | active |
| erlang/rebar3 Rebar3 is the official build tool for Erlang, handling compilation, dependency and Hex package management, testing, and release packaging i… | 86 | 1818 | stable |
| 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… | 77 | 1818 | active |
| metacall/core MetaCall is an extensible, embeddable polyglot runtime that lets you call functions, methods, or procedures across multiple programming lan… | 97 | 1813 | 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… | 76 | 1808 | active |
| 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… | 67 | 1806 | 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… | 84 | 1804 | 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… | 66 | 1804 | 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 | 1802 | active |
| jacktasia/dumb-jump Dumb Jump is an Emacs package providing 'jump to definition' and 'find references' navigation for 60+ programming languages. It works with … | 72 | 1797 | active |
| doctrine/annotations Doctrine Annotations is a PHP library that parses docblock annotations (@-syntax in PHPDoc comments) and exposes them via reflection-based … | 59 | 6731 | maintenance |
| sublimelsp/LSP An LSP client implementation for Sublime Text that connects the editor to language servers via the Language Server Protocol. It provides ID… | 96 | 1794 | 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(… | 81 | 1791 | active |
| pypa/twine Twine is a utility for publishing Python packages to PyPI, providing build-system-independent uploads of source and binary distribution art… | 89 | 1787 | 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.… | 73 | 1787 | 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… | 82 | 1786 | active |
| pypy/pypy PyPy is a fast, compliant alternative implementation of the Python programming language built on the RPython compiler framework. It feature… | 71 | 1783 | stable |
| symfony/string A PHP library from the Symfony ecosystem providing an object-oriented API for string manipulation that uniformly handles bytes, UTF-8 code … | 96 | 1781 | stable |
| agronholm/typeguard Typeguard is a Python library that performs run-time type checking based on PEP 484 type annotations, complementing static type checkers. I… | 91 | 1780 | active |
| 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… | 53 | 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… | 23 | 1777 | 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… | 55 | 1775 | active |
| elixir-lsp/elixir-ls ElixirLS is a language server for Elixir implementing the Language Server Protocol, providing IDE features like completion, go-to-definitio… | 95 | 1774 | 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… | 73 | 1772 | active |
| typelevel/spire Spire is a numeric library for Scala providing powerful new number types (like Rational, Complex, and more) and generic numeric abstraction… | 65 | 1772 | active |
| matz/spinel Spinel is an ahead-of-time compiler that translates Ruby source code into standalone native executables via whole-program type inference an… | 59 | 1771 | active |
| hashicorp/go-version A Go library for parsing, comparing, and verifying semantic versions and version constraints. It supports prerelease versions, sorting coll… | 83 | 1770 | stable |
| eyre-rs/eyre eyre is a Rust library providing eyre::Report, a trait-object based error handling type for idiomatic error handling and reporting in appli… | 76 | 1769 | stable |
| candid82/joker Joker is a small Clojure dialect interpreter written in Go that also serves as a Clojure/ClojureScript linter and formatter. It offers fast… | 99 | 1767 | active |
| wa-lang/wa Wa (凹) is a general-purpose, statically typed programming language designed for WebAssembly, with a fully self-developed compiler and runti… | 81 | 1767 | active |
| greyblake/nutype Nutype is a Rust procedural macro that enhances the newtype pattern with built-in sanitization and validation constraints. It guarantees th… | 80 | 1761 | active |
| selfrefactor/rambda Rambda is a TypeScript-focused functional programming utility library similar to Ramda, Remeda, and Radashi. It centers on curried function… | 79 | 1754 | 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… | 93 | 1752 | 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… | 70 | 1752 | active |
| andrewlock/StronglyTypedId A Roslyn-powered compile-time source generator for .NET that creates strongly-typed ID types from a simple attribute, eliminating boilerpla… | 35 | 1752 | active |
| graalvm/graalvm-ce-builds GraalVM CE builds is the official distribution repository of GraalVM Community Edition binaries built on OpenJDK. GraalVM is a high-perform… | 95 | 1748 | 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… | 77 | 1748 | 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… | 85 | 1747 | 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… | 89 | 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. … | 66 | 1745 | stable |
| LuxLang/lux Lux is a functional, statically-typed Lisp programming language with a compiler that targets the JVM, JavaScript, Python, Lua, and Ruby. It… | 72 | 1741 | 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… | 63 | 1739 | 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 | 1739 | 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… | 66 | 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… | 85 | 1733 | active |
| 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 | 1732 | stable |
| baconjs/bacon.js Bacon.js is a functional reactive programming (FRP) library for TypeScript and JavaScript, built around event streams and observable proper… | 40 | 6456 | maintenance |
| jzimmerman/langcc langcc is a next-generation compiler compiler that generates efficient linear-time parsers and full compiler frontends (AST definitions, tr… | 32 | 1728 | stable |
| joshiemoore/snakeware snakeware is a free Linux distribution whose userspace is written entirely in Python, booting directly into a Python interpreter inspired b… | 23 | 1728 | active |
| symfony/polyfill-php80 A Symfony component that backports PHP 8.0 core features (such as str_contains, str_starts_with, str_ends_with, Stringable, ValueError, and… | 84 | 1725 | stable |
| LemonAppDev/konsist Konsist is a structural linter and static code analyzer for Kotlin that enforces codebase consistency and architecture rules. Checks are wr… | 76 | 1716 | active |
| 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… | 85 | 1715 | 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 |
| 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… | 84 | 1708 | 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… | 86 | 1705 | active |
| ocaml/merlin Merlin is an editor service providing modern IDE features such as context-sensitive completion, type inference display, navigation, and ref… | 97 | 1704 | 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 | 1698 | 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 | 1698 | stable |
| justjake/quickjs-emscripten TypeScript bindings for the QuickJS JavaScript interpreter compiled to WebAssembly, letting you safely evaluate untrusted JavaScript inside… | 75 | 1696 | active |
| vygr/ChrysaLisp ChrysaLisp is a 64-bit parallel operating system environment featuring a virtual processor, GUI, terminal, OO assembler, C-Script compiler,… | 98 | 1691 | active |
| iden3/circom Circom is a domain-specific language and compiler for defining arithmetic circuits used to generate zero-knowledge proofs (zk-SNARKs). Writ… | 71 | 1688 | active |
| cormullion/juliamono JuliaMono is a free, open-source monospaced typeface designed for scientific and technical programming, with comprehensive Unicode coverage… | 90 | 1687 | 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… | 24 | 1679 | 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… | 23 | 6209 | maintenance |
| 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… | 72 | 1667 | active |
| Jedi Jedi is a static analysis library for Python focused on autocompletion, goto functionality, refactoring, and code search. It is typically e… | 73 | 6173 | maintenance |
| glotcode/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 | 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 | 1664 | 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 | 6150 | 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… | 64 | 1657 | active |
| JetBrains/MPS JetBrains MPS is an open-source meta-programming system (language workbench) for designing domain-specific languages with a complete develo… | 77 | 1656 | 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… | 74 | 1653 | 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… | 40 | 1653 | active |
| foonathan/type_safe A C++ library providing zero-overhead abstractions that leverage the type system to prevent bugs at compile time. It offers improved wrappe… | 44 | 1649 | active |
| geiger-rs/cargo-geiger cargo-geiger is a cargo plugin that scans a Rust crate and its dependency tree to report statistics on unsafe Rust code usage. It provides … | 67 | 1643 | active |
| rust-openssl/rust-openssl Rust bindings to the OpenSSL cryptography and TLS library, exposing its APIs (certificates, keys, hashing, SSL/TLS connections) to Rust pro… | 95 | 1641 | stable |