Open-source programming-language software
469 open-source libraries, tools and applications tagged programming-language, ranked by how closely programming-language 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.
469 products, primary matches first, then adoption-weighted; health v2 shown.
| Product | Health v2 | Stars | Maturity |
|---|---|---|---|
| rust-lang/rust Rust is a modern systems programming language with its own compiler, standard library, and tooling. It enables developers to write fast, me… | 98 | 119477 | active |
| swiftlang/swift The Swift programming language: a high-performance, memory-safe systems and application programming language with a modern syntax and seaml… | 93 | 70465 | stable |
| FuelLabs/sway Sway is a domain‑specific programming language and compiler for writing smart contracts on the Fuel blockchain. It provides a full toolchai… | 97 | 61390 | active |
| Kotlin Kotlin is a statically typed programming language developed by JetBrains that compiles to JVM bytecode, JavaScript, WebAssembly, and native… | 95 | 53481 | stable |
| Julia Julia is a high-level, high-performance dynamic programming language designed for technical and scientific computing. It combines the ease … | 100 | 49218 | active |
| ziglang/zig Zig is a general-purpose systems programming language with a self-hosted optimizing compiler, C interop, and cross-compilation support. The… | 50 | 43311 | active |
| vlang/v The V programming language: a simple, fast, safe compiled language whose compiler bootstraps itself in under a second with zero library dep… | 91 | 38018 | 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… | 76 | 33868 | active |
| modular/modular Modular Platform is an open‑source stack that includes the Mojo systems programming language and the MAX framework for building, optimizing… | 90 | 29847 | active |
| Elixir Elixir is a functional, concurrent programming language built on the Erlang VM. It enables developers to write clear, maintainable code tha… | 97 | 26688 | active |
| Elixir Elixir is a dynamic, functional programming language built on the Erlang VM (BEAM), designed for building scalable and maintainable applica… | 97 | 26688 | stable |
| Solidity Solidity is a statically‑typed, contract‑oriented programming language for writing smart contracts on the Ethereum Virtual Machine. It incl… | 93 | 25747 | active |
| D2 D2 is a modern declarative diagram scripting language that turns plain text descriptions into diagrams. It ships as a CLI compiler with the… | 92 | 25596 | active |
| Ruby Programming Language The official Ruby programming language implementation, an interpreted object-oriented language with a JIT compiler, written in C and Rust. … | 99 | 23780 | stable |
| Bend Bend is a fast, parallel programming language with built‑in dependent types and proof checking. It compiles to native CPU and GPU code and … | 95 | 23454 | active |
| MicroPython MicroPython is a lean implementation of Python 3 that runs on microcontrollers and other constrained devices. It provides a REPL, bytecode … | 89 | 22130 | active |
| gleam-lang/gleam Gleam is a statically‑typed functional programming language that compiles to BEAM bytecode. It includes a compiler, build tool, formatter a… | 99 | 21991 | active |
| Crystal Crystal is a general‑purpose, object‑oriented programming language with Ruby‑like syntax and static type inference. It compiles to efficien… | 98 | 20446 | active |
| Crystal Crystal is a general-purpose, statically type-checked programming language with Ruby-inspired syntax that compiles to efficient native code… | 98 | 20446 | active |
| Wenyan Language Wenyan is an esoteric programming language that uses classical Chinese grammar and characters. It provides a compiler that targets JavaScri… | 23 | 20274 | active |
| nim-lang/Nim Nim is a statically typed, compiled systems programming language whose repository contains the compiler, standard library, tools, and docum… | 75 | 18242 | stable |
| AssemblyScript AssemblyScript is a compiler that translates a TypeScript-like language with WebAssembly types into lean WebAssembly modules, built on Bina… | 93 | 18033 | active |
| NixOS/nix Nix is a purely functional package manager that builds packages in isolation for reproducible, reliable, declarative package management. It… | 77 | 17889 | stable |
| Pyodide Pyodide is a port of CPython to WebAssembly/Emscripten, distributed for the browser and Node.js. It lets you run Python, including packages… | 96 | 14855 | 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 | 12361 | stable |
| Odin Programming Language Odin is a general-purpose, statically typed systems programming language designed for high performance and data-oriented programming, posit… | 98 | 12083 | 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 | 11312 | 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 | 11301 | 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… | 83 | 11153 | active |
| 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 | 10973 | 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… | 96 | 10862 | stable |
| lua/lua The official development repository of Lua, a powerful, lightweight, embeddable scripting language implemented in C. It includes the langua… | 85 | 10388 | 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 … | 96 | 9658 | active |
| Lean 4 theorem prover Lean 4 is an open-source dependently typed functional programming language and interactive theorem prover used for formalizing mathematics … | 100 | 9610 | 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… | 95 | 9481 | active |
| 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… | 92 | 9423 | active |
| ClojureScript ClojureScript is a compiler that translates Clojure code into JavaScript, designed to emit output compatible with Google Closure's advanced… | 90 | 9391 | stable |
| PureScript PureScript is a small, strongly typed functional programming language inspired by Haskell that compiles to readable JavaScript. It features… | 70 | 8913 | 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… | 90 | 8658 | active |
| Wren Wren is a small, fast, class-based concurrent scripting language implemented as an embeddable C library with a bytecode VM and lightweight … | 43 | 8141 | stable |
| penrose/penrose Penrose is a platform and TypeScript library for creating mathematical and technical diagrams declaratively by writing plain-text notation … | 82 | 7982 | active |
| Elm The official compiler for Elm, a statically typed functional programming language designed for building reliable web applications that comp… | 94 | 7913 | 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 | 7782 | active |
| ReScript ReScript is a robustly typed programming language that compiles to efficient, human-readable JavaScript, with a lightning-fast compiler too… | 93 | 7465 | 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… | 82 | 7365 | 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… | 63 | 6987 | 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 | 6946 | 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… | 70 | 6878 | active |
| SuperCollider SuperCollider is a platform for real-time audio synthesis and algorithmic composition, comprising the scsynth/supernova audio servers, the … | 74 | 6790 | stable |
| Unison Unison is a statically-typed functional programming language with type inference, an effect (abilities) system, and content-addressed code … | 99 | 6756 | active |
| ocaml/ocaml The core OCaml compiler system, including bytecode and native-code compilers, a runtime system with generational garbage collection, and th… | 92 | 6571 | stable |
| Imba Imba is a full-stack programming language that compiles to JavaScript and ships with a built-in declarative DOM framework for building web … | 68 | 6512 | active |
| Elvish Elvish is a powerful scripting language and versatile interactive shell written in Go, distributed as a single statically linked binary. It… | 53 | 6383 | 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… | 92 | 6305 | stable |
| ponylang/ponyc ponyc is the compiler for Pony, an open-source, object-oriented, actor-model, capabilities-secure, high-performance programming language th… | 100 | 6202 | 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… | 60 | 6193 | 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 | 6009 | active |
| 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… | 74 | 5949 | active |
| C3 Language c3c is the official compiler for the C3 programming language, an evolution of C with modern features like modules, generics, error handling… | 95 | 5880 | 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… | 77 | 5803 | stable |
| Slang Slang is a shading language and compiler for building large, modular, high-performance GPU shader codebases. It compiles to D3D12, Vulkan, … | 96 | 5752 | active |
| rhaiscript/rhai Rhai is an embedded scripting language and evaluation engine for Rust, offering a simple dynamically-typed language similar to JavaScript+R… | 88 | 5714 | 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 | 5617 | stable |
| Rocq Prover The Rocq Prover (formerly Coq) is an interactive theorem prover and proof assistant based on the Calculus of Inductive Constructions, provi… | 88 | 5591 | stable |
| Raspberry Pi Firmware & Kernel The Raspberry Pi fork of the Linux kernel source tree, containing patches and drivers for Raspberry Pi hardware. It is the upstream source … | 92 | 5577 | active |
| 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 | 5474 | 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… | 87 | 5439 | active |
| killme2008/aviatorscript AviatorScript is a high-performance, lightweight scripting language that runs on the JVM (including Android). It compiles scripts to JVM by… | 78 | 5246 | stable |
| 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 | 5218 | stable |
| Racket Racket is a mature, general-purpose programming language and ecosystem designed for language-oriented programming, with a core implementati… | 87 | 5215 | stable |
| vyperlang/vyper Vyper is a Pythonic smart contract language that compiles to Ethereum Virtual Machine (EVM) bytecode, emphasizing security, simplicity, and… | 73 | 5185 | 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… | 52 | 5117 | active |
| crablang/crab CrabLang is a community fork of the Rust programming language, providing the compiler, standard library, and toolchain renamed to avoid tra… | 31 | 5063 | active |
| 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… | 77 | 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… | 77 | 4919 | active |
| Leo Programming Language Leo is an imperative, statically-typed programming language for writing zero-knowledge applications that compile to circuits for the Aleo b… | 98 | 4823 | active |
| Chisel Chisel is an open-source hardware description language (HDL) embedded in Scala for describing digital electronics at the register-transfer … | 98 | 4807 | stable |
| Scala.js Scala.js is a compiler that translates Scala code into efficient JavaScript, letting developers write type-safe applications for browsers, … | 89 | 4710 | stable |
| mozilla/rhino Rhino is an open-source implementation of JavaScript written entirely in Java, maintained by Mozilla. It is typically embedded into Java ap… | 87 | 4641 | active |
| 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 | 4632 | active |
| marcobambini/gravity Gravity is a lightweight, dynamically typed, class-based scripting language written in portable C99 with no external dependencies, featurin… | 95 | 4582 | active |
| Janet programming language Janet is a dynamic functional and imperative Lisp-like programming language with its own bytecode VM, implemented in a single embeddable C … | 94 | 4463 | stable |
| HIP HIP is a C++ runtime API and kernel programming language for AMD GPUs that mirrors the NVIDIA CUDA programming interface. It enables develo… | 90 | 4406 | active |
| evhub/coconut Coconut is a functional programming language that is a superset of Python, compiling to Python code while adding features like pattern matc… | 55 | 4356 | active |
| Mathlib Mathlib is the community-maintained mathematics library for the Lean 4 theorem prover, containing formalized mathematical theories, tactics… | 100 | 4331 | 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… | 68 | 4317 | active |
| mint-lang/mint Mint is a programming language that compiles to JavaScript, designed specifically for building front-end web applications. It provides buil… | 91 | 4267 | 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… | 29 | 4221 | active |
| atopile/atopile atopile is a language, compiler, and toolchain for designing electronic circuit boards as code using declarative .ato files. It provides de… | 67 | 3976 | 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… | 99 | 3923 | active |
| Ballerina Ballerina is an open-source, cloud-native programming language optimized for integration, developed by WSO2, with built-in support for JSON… | 98 | 3864 | 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 | 16594 | maintenance |
| 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… | 66 | 3840 | stable |
| 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… | 88 | 3805 | 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 | 3764 | active |
| HigherOrderCO/Kind Kind is a minimal proof language and proof checker based on dependent type theory and lambda calculus, rewritten from JavaScript to Haskell… | 23 | 3760 | active |
| p-org/P P is a state machine based programming language for formally modeling and specifying complex distributed systems as collections of communic… | 85 | 3690 | 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… | 73 | 3578 | 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… | 78 | 14562 | maintenance |
| gluon Gluon is a small, statically-typed functional programming language with type inference, implemented in Rust and designed for embedding in a… | 91 | 3451 | active |
page 1 / 5 next →