function: programming-language
468 products, primary matches first, then adoption-weighted; health v2 shown.
| Product | Health v2 | Stars | Maturity |
|---|---|---|---|
| golang/go Go is an open-source, statically typed programming language developed by Google, designed for building simple, reliable, and efficient soft… | 77 | 136473 | stable |
| rust-lang/rust The official Rust monorepo containing the rustc compiler, standard library, and documentation for the Rust programming language. Rust is a … | 99 | 116191 | stable |
| Bun Bun is an all-in-one JavaScript and TypeScript toolkit that ships as a single executable combining a fast runtime, bundler, test runner, an… | 99 | 95716 | active |
| python/cpython CPython is the reference implementation of the Python programming language, containing the interpreter, compiler, and standard library. It … | 77 | 74934 | stable |
| swiftlang/swift The Swift programming language: a high-performance, memory-safe systems and application programming language with a modern syntax and seaml… | 92 | 70300 | stable |
| FuelLabs/sway Sway is a Rust-inspired domain-specific programming language for writing smart contracts on the Fuel blockchain and Fuel VM, accompanied by… | 98 | 61483 | active |
| JetBrains/kotlin Kotlin is a statically typed programming language developed by JetBrains that compiles to JVM bytecode, JavaScript, WebAssembly, and native… | 93 | 53354 | stable |
| Julia Julia is a high-level, high-performance dynamic programming language designed for technical computing, combining scripting-language ergonom… | 99 | 49037 | stable |
| ziglang/zig Zig is a general-purpose systems programming language with a self-hosted optimizing compiler, C interop, and cross-compilation support. The… | 56 | 43300 | active |
| php/php-src php-src is the official C source code of the PHP interpreter, a popular general-purpose scripting language especially suited to web develop… | 98 | 40316 | stable |
| vlang/v The V programming language: a simple, fast, safe compiled language whose compiler bootstraps itself in under a second with zero library dep… | 93 | 37803 | active |
| SerenityOS/serenity SerenityOS is a graphical Unix-like operating system for 64-bit x86, Arm, and RISC-V computers, built from scratch in C++ with a custom ker… | 77 | 33784 | active |
| elixir-lang/elixir Elixir is a dynamic, functional programming language built on the Erlang VM (BEAM), designed for building scalable and maintainable applica… | 98 | 26613 | stable |
| Solidity Solidity is a statically-typed, contract-oriented high-level programming language for writing smart contracts that run on the Ethereum Virt… | 93 | 25718 | active |
| v8/v8 V8 is Google's open-source JavaScript engine that implements ECMAScript (ECMA-262), written in C++. It powers Chromium and Node.js and can … | 77 | 25211 | active |
| d2lang/d2 D2 is a modern declarative diagram scripting language that turns plain text descriptions into diagrams. It ships as a CLI compiler with the… | 76 | 25078 | active |
| ruby/ruby The official Ruby programming language implementation, an interpreted object-oriented language with a JIT compiler, written in C and Rust. … | 97 | 23685 | stable |
| MicroPython MicroPython is a lean, efficient implementation of Python 3 designed to run on microcontrollers and other constrained systems, fitting in a… | 91 | 22012 | stable |
| gleam-lang/gleam Gleam is a statically typed, functional programming language that compiles to Erlang and runs on the BEAM virtual machine. It ships with a … | 98 | 21827 | active |
| crystal-lang/crystal Crystal is a general-purpose, statically type-checked programming language with Ruby-inspired syntax that compiles to efficient native code… | 97 | 20388 | active |
| triton-lang/triton Triton is an open-source language and compiler for writing highly efficient custom deep-learning GPU kernels with Python-level productivity… | 92 | 20017 | active |
| nim-lang/Nim Nim is a statically typed, compiled systems programming language whose repository contains the compiler, standard library, tools, and docum… | 77 | 18193 | stable |
| AssemblyScript/assemblyscript AssemblyScript is a compiler that translates a TypeScript-like language with WebAssembly types into lean WebAssembly modules, built on Bina… | 95 | 17993 | active |
| NixOS/nix Nix is a purely functional package manager that builds packages in isolation for reproducible, reliable, declarative package management. It… | 77 | 17575 | stable |
| pyodide/pyodide Pyodide is a port of CPython to WebAssembly/Emscripten, distributed for the browser and Node.js. It lets you run Python, including packages… | 99 | 14802 | active |
| Raspberry Pi Linux Kernel The Raspberry Pi fork of the Linux kernel source tree, containing patches and drivers for Raspberry Pi hardware. It is the upstream source … | 77 | 13104 | active |
| erlang/otp Erlang/OTP is the Erlang programming language together with its runtime system (BEAM) and the Open Telecom Platform, a set of libraries and… | 94 | 12333 | stable |
| odin-lang/Odin Odin is a general-purpose, statically typed systems programming language designed for high performance and data-oriented programming, posit… | 98 | 11791 | active |
| Dart The Dart SDK is the open-source toolkit for the Dart programming language, including the Dart VM with JIT and AOT compilation, JavaScript a… | 77 | 11268 | stable |
| gcc-mirror/gcc The GNU Compiler Collection (GCC), the canonical open-source compiler toolchain supporting C, C++, Fortran, Ada, Go, and other languages wi… | 77 | 11192 | stable |
| microsoft/STL Microsoft's official open-source implementation of the C++ Standard Library (STL) that ships with the MSVC toolset and Visual Studio. The r… | 88 | 11136 | active |
| clojure/clojure Clojure is a dynamic, general-purpose Lisp dialect for the JVM that compiles to Java bytecode while remaining fully dynamic at runtime. It … | 77 | 10954 | stable |
| cython/cython Cython is an optimising static compiler that translates Python and the extended Cython language into C/C++ code for building fast CPython e… | 99 | 10833 | stable |
| lua/lua The official development repository of Lua, a powerful, lightweight, embeddable scripting language implemented in C. It includes the langua… | 86 | 10256 | stable |
| xonsh/xonsh Xonsh is a cross-platform shell whose language is a superset of Python 3, seamlessly mixing shell commands, pipelines, and Python code. It … | 99 | 9622 | active |
| goplus/xgo XGo is a programming language that reads like plain English while remaining fully compatible with Go, allowing Go/XGo code to be mixed in t… | 97 | 9449 | active |
| clojure/clojurescript ClojureScript is a compiler that translates Clojure code into JavaScript, designed to emit output compatible with Google Closure's advanced… | 92 | 9390 | stable |
| BoundaryML/baml BAML is a domain-specific programming language for building LLM agents, with a Rust-like type system, typed errors, built-in tests/evals, a… | 90 | 9078 | active |
| Lean Theorem Prover Lean 4 is an open-source dependently typed functional programming language and interactive theorem prover used for formalizing mathematics … | 99 | 8913 | active |
| PureScript PureScript is a small, strongly typed functional programming language inspired by Haskell that compiles to readable JavaScript. It features… | 76 | 8901 | active |
| wren-lang/wren Wren is a small, fast, class-based concurrent scripting language implemented as an embeddable C library with a bytecode VM and lightweight … | 47 | 8122 | stable |
| penrose/penrose Penrose is a platform and TypeScript library for creating mathematical and technical diagrams declaratively by writing plain-text notation … | 70 | 7969 | active |
| Elm The official compiler for Elm, a statically typed functional programming language designed for building reliable web applications that comp… | 86 | 7886 | stable |
| MystenLabs/sui Sui is a next-generation Layer 1 smart contract blockchain platform written in Rust, featuring high throughput, low latency, and an asset-o… | 95 | 7738 | active |
| ReScript ReScript is a robustly typed programming language that compiles to efficient, human-readable JavaScript, with a lightning-fast compiler too… | 95 | 7435 | active |
| cisco/ChezScheme Chez Scheme is a high-performance implementation of the Scheme programming language, serving as a superset of R6RS with its own compiler, r… | 85 | 7339 | active |
| tile-ai/tilelang TileLang is a Pythonic domain-specific language and compiler (built on TVM) for writing high-performance GPU/CPU/accelerator kernels such a… | 88 | 7288 | active |
| yuin/gopher-lua GopherLua is a Lua 5.1 (plus Lua 5.2 goto) virtual machine and compiler implemented in pure Go. It provides user-friendly Go APIs for embed… | 70 | 6974 | stable |
| HaxeFoundation/haxe Haxe is an open-source, high-level, strictly typed programming language and cross-compiler toolkit that compiles to many targets including … | 67 | 6918 | stable |
| RockstarLang/rockstar Rockstar is an esoteric programming language whose syntax is inspired by 1980s hard rock and heavy metal lyrics, together with its official… | 74 | 6883 | active |
| unisonweb/unison Unison is a statically-typed functional programming language with type inference, an effect (abilities) system, and content-addressed code … | 98 | 6717 | active |
| supercollider/supercollider SuperCollider is a platform for real-time audio synthesis and algorithmic composition, comprising the scsynth/supernova audio servers, the … | 76 | 6704 | stable |
| ocaml/ocaml The core OCaml compiler system, including bytecode and native-code compilers, a runtime system with generational garbage collection, and th… | 92 | 6537 | stable |
| imba/imba Imba is a full-stack programming language that compiles to JavaScript and ships with a built-in declarative DOM framework for building web … | 67 | 6504 | active |
| elves/elvish Elvish is a powerful scripting language and versatile interactive shell written in Go, distributed as a single statically linked binary. It… | 57 | 6365 | active |
| scala/scala3 The Scala 3 compiler (Dotty), along with the Scala 3 standard library and language specification. It compiles Scala 3 source code to JVM by… | 91 | 6296 | stable |
| ponylang/ponyc ponyc is the compiler for Pony, an open-source, object-oriented, actor-model, capabilities-secure, high-performance programming language th… | 99 | 6173 | active |
| bellard/mquickjs MicroQuickJS is a compact JavaScript engine written in C, derived from QuickJS, designed for embedded systems with as little as 10 kB of RA… | 54 | 6130 | active |
| alda-lang/alda Alda is a text-based music composition language where scores are plain text files played back via the `alda` command-line tool. It includes… | 76 | 5935 | active |
| luau-lang/luau Luau is a fast, small, gradually typed scripting language derived from Lua 5.1, designed to be embedded in applications with a sandboxed ru… | 95 | 5805 | active |
| c3lang/c3c c3c is the official compiler for the C3 programming language, an evolution of C with modern features like modules, generics, error handling… | 94 | 5778 | active |
| LuaJIT/LuaJIT LuaJIT is a Just-In-Time (JIT) compiler for the Lua programming language, offering a high-performance interpreter and trace compiler. It in… | 76 | 5740 | stable |
| rhaiscript/rhai Rhai is an embedded scripting language and evaluation engine for Rust, offering a simple dynamically-typed language similar to JavaScript+R… | 91 | 5635 | stable |
| mruby/mruby mruby is a lightweight implementation of the Ruby programming language, ISO-standard compliant and Ruby 4.x syntax compatible, written in C… | 77 | 5601 | stable |
| shader-slang/slang Slang is a shading language and compiler for building large, modular, high-performance GPU shader codebases. It compiles to D3D12, Vulkan, … | 95 | 5580 | active |
| rocq-prover/rocq The Rocq Prover (formerly Coq) is an interactive theorem prover and proof assistant based on the Calculus of Inductive Constructions, provi… | 83 | 5556 | stable |
| apache/groovy Apache Groovy is a multi-faceted programming language for the JVM that offers Java-like syntax with productivity features such as closures,… | 77 | 5464 | stable |
| hylang/hy Hy is a Lisp dialect that compiles to Python AST, giving full access to Python's ecosystem in Lisp syntax. It ships with a REPL, a compiler… | 88 | 5435 | active |
| killme2008/aviatorscript AviatorScript is a high-performance, lightweight scripting language that runs on the JVM (including Android). It compiles scripts to JVM by… | 84 | 5240 | stable |
| racket/racket Racket is a mature, general-purpose programming language and ecosystem designed for language-oriented programming, with a core implementati… | 90 | 5199 | stable |
| vyperlang/vyper Vyper is a Pythonic smart contract language that compiles to Ethereum Virtual Machine (EVM) bytecode, emphasizing security, simplicity, and… | 74 | 5180 | active |
| emacs-mirror/emacs GNU Emacs is the extensible, customizable, self-documenting real-time display text editor built around an Emacs Lisp interpreter. It suppor… | 77 | 5170 | stable |
| crablang/crab CrabLang is a community fork of the Rust programming language, providing the compiler, standard library, and toolchain renamed to avoid tra… | 30 | 5074 | active |
| hundredrabbits/Orca Orca is a two-dimensional esoteric programming language where every letter of the alphabet is an operator, designed to quickly create proce… | 56 | 5073 | active |
| opal/opal Opal is a Ruby to JavaScript source-to-source compiler that ships with its own implementation of the Ruby corelib and stdlib. It lets devel… | 81 | 4926 | stable |
| samuelmtimbo/unit Unit is a general-purpose visual programming language and web-based environment where programs are graphs of MIMO finite state machines, in… | 76 | 4919 | active |
| ProvableHQ/leo Leo is an imperative, statically-typed programming language for writing zero-knowledge applications that compile to circuits for the Aleo b… | 98 | 4821 | active |
| chipsalliance/chisel Chisel is an open-source hardware description language (HDL) embedded in Scala for describing digital electronics at the register-transfer … | 98 | 4763 | stable |
| scala-js/scala-js Scala.js is a compiler that translates Scala code into efficient JavaScript, letting developers write type-safe applications for browsers, … | 91 | 4710 | stable |
| borgo-lang/borgo Borgo is a statically typed programming language with Rust-inspired syntax that transpiles to readable Go code. It offers algebraic data ty… | 31 | 4639 | active |
| mozilla/rhino Rhino is an open-source implementation of JavaScript written entirely in Java, maintained by Mozilla. It is typically embedded into Java ap… | 89 | 4620 | active |
| marcobambini/gravity Gravity is a lightweight, dynamically typed, class-based scripting language written in portable C99 with no external dependencies, featurin… | 93 | 4560 | active |
| ROCm/hip HIP is a C++ runtime API and kernel programming language for AMD GPUs that mirrors the NVIDIA CUDA programming interface. It enables develo… | 95 | 4392 | active |
| janet-lang/janet Janet is a dynamic functional and imperative Lisp-like programming language with its own bytecode VM, implemented in a single embeddable C … | 85 | 4370 | stable |
| evhub/coconut Coconut is a functional programming language that is a superset of Python, compiling to Python code while adding features like pattern matc… | 61 | 4349 | active |
| 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 |
| 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 |
| 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 |
| Mathlib Mathlib is the community-maintained mathematics library for the Lean 4 theorem prover, containing formalized mathematical theories, tactics… | 99 | 3948 | 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| atopile/atopile atopile is a language, compiler, and toolchain for designing electronic circuit boards as code using declarative .ato files. It provides de… | 72 | 3651 | active |
| 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 |
| 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 |
page 1 / 5 next →