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 |
|---|---|---|---|
| Emojicode Emojicode is an open-source, multi-paradigm programming language whose syntax consists of emojis, featuring object-orientation, optionals, … | 23 | 3417 | active |
| skulpt/skulpt Skulpt is a JavaScript implementation of the Python programming language that runs entirely in the browser. It is primarily used to embed i… | 66 | 3401 | active |
| oils-for-unix/oils Oils is a Unix shell project providing OSH, a bash-compatible shell that runs existing scripts, and YSH, a modern shell language for users … | 76 | 3397 | active |
| Zephir Zephir is a high-level, statically/dynamically typed programming language with a compiler CLI that transpiles code to C for building PHP ex… | 98 | 3384 | active |
| microsoft/Power-Fx Microsoft Power Fx is a low-code general-purpose programming language based on spreadsheet-like formulas, strongly typed, declarative, and … | 66 | 3365 | 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 |
| 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 |
| CosmosOS/Cosmos Cosmos is an operating system construction kit that lets developers build bare-metal OS kernels using .NET languages like C#, VB.NET, and F… | 99 | 3217 | active |
| Faust Faust (Functional Audio Stream) is a functional programming language for real-time digital signal processing and sound synthesis, developed… | 96 | 3188 | stable |
| 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 |
| F* F* is a general-purpose proof-oriented programming language combining dependent types with SMT-based proof automation and interactive theor… | 100 | 3121 | 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 |
| Alinshans/MyTinySTL A C++11 reimplementation of a large portion of the C++ Standard Template Library, including containers, iterators, and algorithms. Original… | 23 | 12474 | maintenance |
| 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 |
| 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 |
| google/mangle Mangle is a deductive database programming language implemented as an embeddable Go library. It extends Datalog with aggregation, function … | 73 | 2993 | 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 |
| 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 |
| Agda Agda is a dependently typed functional programming language that doubles as an interactive theorem prover based on intuitionistic type theo… | 86 | 2931 | active |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| aardappel/lobster Lobster is a statically typed, general-purpose programming language with a Python-like indentation syntax, flow-sensitive type inference, a… | 94 | 2741 | active |
| zhanyong-wan/dongbei dongbei is a novelty programming language whose keywords are based on Northeastern Chinese (Dongbei) dialect vocabulary, implemented on top… | 66 | 2659 | active |
| mattwparas/steel Steel is an embeddable Scheme dialect interpreter implemented in Rust, running on a bytecode virtual machine with mostly R5RS compliance. I… | 86 | 2592 | active |
| Reason Reason is an alternative syntax and toolchain for the OCaml programming language, offering simple, fast, type-safe code with a JavaScript-f… | 88 | 10324 | maintenance |
| Circle Circle is a C++ compiler by Sean Baxter that extends C++ with new language features like choice types, pattern matching, interfaces, and re… | 32 | 2577 | active |
| thepowersgang/mrustc mrustc is an alternative Rust compiler written in C++ whose primary purpose is bootstrapping rustc without needing an existing Rust binary.… | 76 | 2533 | active |
| lfe/lfe Lisp Flavoured Erlang (LFE) is a Lisp syntax front-end to the Erlang compiler, producing code fully compatible with normal Erlang. It inclu… | 85 | 2460 | active |
| mthom/scryer-prolog Scryer Prolog is a modern, ISO-compliant Prolog interpreter written mostly in Rust, built on a Warren Abstract Machine implementation. It a… | 66 | 2453 | active |
| KCL KCL is a constraint-based record and functional configuration and policy language implemented in Rust, with this repo providing the languag… | 100 | 2432 | active |
| CatalaLang/catala Catala is a domain-specific programming language for deriving faithful-by-construction algorithms from legislative texts via literate progr… | 94 | 2417 | active |
| Perl/perl5 Perl 5 is a general-purpose, dynamically typed programming language originally developed for text manipulation, now used for system adminis… | 77 | 2344 | stable |
| OpenEXR Open Shading Language (OSL) is a small, C-like programmable shading language with a compiler and runtime library for advanced production re… | 94 | 2343 | stable |
| rune-rs/rune Rune is an embeddable dynamic programming language for Rust, running on an efficient stack-based virtual machine. It offers clean Rust inte… | 78 | 2331 | 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… | 70 | 2265 | active |
| uiua-lang/uiua Uiua is a tacit, stack-based array programming language implemented in Rust, inspired by APL. It ships as a local interpreter/REPL with a b… | 96 | 2170 | active |
| NVIDIA/cutile-python cuTile Python is a tile-based programming language and library from NVIDIA for writing parallel kernels that run on NVIDIA GPUs, compiling … | 62 | 2151 | active |
| EvgSkv/logica Logica is an open-source declarative logic programming language in the Datalog family that compiles to SQL. It lets users write logic-style… | 77 | 2147 | active |
| latex3/latex3 The development repository for expl3, the LaTeX3 programming layer that forms the modern kernel of the LaTeX typesetting system. It contain… | 99 | 2129 | active |
| pocketpy/pocketpy pocketpy is a portable Python 3.x interpreter written in C11 with no dependencies beyond the C standard library, designed as a Lua alternat… | 92 | 2125 | active |
| corretto/corretto-8 Amazon Corretto 8 is a no-cost, production-ready distribution of OpenJDK 8 maintained by Amazon and used internally for production services… | 95 | 2124 | stable |
| vtereshkov/umka-lang Umka is a statically typed, embeddable scripting language implemented in C99, with a bytecode compiler and virtual machine distributed as a… | 88 | 2110 | active |
| Amaranth HDL Amaranth is a Python-based hardware definition language and toolchain for designing synchronous digital logic, including a standard library… | 91 | 2102 | active |
| chapel-lang/chapel Chapel is a modern open-source programming language designed for productive parallel computing at scale, with first-class support for task … | 90 | 2047 | active |
| SpinalHDL SpinalHDL is an open-source Scala-based hardware description language (HDL) library for describing digital hardware at the register-transfe… | 87 | 2045 | active |
| Fengari Fengari is a complete Lua 5.3 virtual machine, parser, and base libraries ported from the Lua C library to JavaScript ES6, runnable in Node… | 52 | 2033 | active |
| oracle/graaljs GraalJS is a high-performance, ECMAScript-compliant JavaScript engine implemented in Java on top of GraalVM. It can execute JavaScript and … | 94 | 2032 | active |
| Hermit Hermit is a lightweight unikernel written entirely in Rust, targeting scalable and predictable runtimes for high-performance and cloud comp… | 83 | 1970 | active |
| DanielXMoore/Civet Civet is a programming language that is a superset of TypeScript, compiling to TypeScript or JavaScript with concise syntax like indentatio… | 77 | 1959 | active |
| fusionlanguage/fut Fusion is a programming language designed for writing reusable library components in a single codebase that transpiles to C, C++, C#, D, Ja… | 94 | 1932 | active |
| middleclass Middleclass is a lightweight object-orientation library for Lua providing classes, inheritance, metamethods, class variables, and mixin sup… | 51 | 1928 | stable |
| lmorg/murex Murex is a smarter shell and scripting language written in Go, with typed pipelines supporting JSON, YAML, XML, and CSV natively. It adds u… | 91 | 1925 | active |
| PistonDevelopers/dyon Dyon is a dynamically typed scripting language implemented in Rust, designed for embedding in Rust applications, particularly games in the … | 65 | 1921 | active |
| MadAppGang/dingo Dingo is a meta-language for Go that adds Result types, error propagation with ?, pattern matching, sum types, tuples, and safe navigation,… | 67 | 1916 | active |
| starkware-libs/cairo Cairo is a Turing-complete programming language for writing provable programs, implemented as a compiler toolchain written in Rust. It comp… | 98 | 1907 | active |
| Raku (Rakudo) Rakudo is the primary, production-ready compiler implementation of the Raku programming language, targeting the MoarVM, JVM, and JavaScript… | 98 | 1906 | stable |
| 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 |
| bminor/glibc The GNU C Library (glibc), the standard C library for GNU/Linux and GNU/Hurd systems, providing the system API for C and C-compatible langu… | 10 | 1895 | stable |
| 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 |
| olofk/serv SERV is an award-winning bit-serial RISC-V CPU core written in Verilog, claimed to be the world's smallest RISC-V CPU at around 200 LUTs on… | 66 | 1887 | 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 | 7131 | maintenance |
| 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 |
| factor/factor Factor is a concatenative, stack-based programming language with dynamic types, extensible syntax, macros, and garbage collection. It ships… | 88 | 1863 | active |
| 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 |
| 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 |
| 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 |
| 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 |
| coalton-lang/coalton Coalton is a statically typed functional programming language embedded in Common Lisp, drawing ideas from Haskell, Scheme, and OCaml. It co… | 92 | 1779 | 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 |
| wa-lang/wa Wa (凹) is a general-purpose, statically typed programming language designed for WebAssembly, with a fully self-developed compiler and runti… | 71 | 1770 | 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 |
| LuxLang/lux Lux is a functional, statically-typed Lisp programming language with a compiler that targets the JVM, JavaScript, Python, Lua, and Ruby. It… | 70 | 1748 | active |
| 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 | 1741 | active |
| quint-co/quint Quint is an executable specification language based on the Temporal Logic of Actions (TLA+), designed for modeling and verifying the behavi… | 88 | 1730 | 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 |
| 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 |
| 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 | 1688 | 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 |
| 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 |
| ganelson/inform Inform 7 is a programming language for writing interactive fiction using natural-language syntax, and this repository holds the core compil… | 59 | 1654 | active |
| oracle/graalpython GraalPy is a high-performance Python 3.12 implementation for the JVM built on GraalVM. It supports embedding Python in Java applications an… | 93 | 1647 | active |
| JohnEarnest/Decker Decker is a multimedia platform and sketchpad for creating and sharing interactive documents with sound, images, hypertext, and scripted be… | 77 | 1647 | active |
| Cherri Cherri is a domain-specific programming language and compiler, written in Go, that compiles source files into signed Apple Siri Shortcuts. … | 91 | 1644 | active |
| clash-lang/clash-compiler Clash is a functional hardware description language based on Haskell, with a compiler that transforms high-level descriptions into synthesi… | 93 | 1619 | active |
| moonsharp-devs/moonsharp MoonSharp is a complete Lua 5.2 interpreter written entirely in C# for .NET, Mono, Xamarin, and Unity, with no external dependencies. It in… | 72 | 1618 | active |
| jmoenig/Snap Snap! is a visual, blocks-based programming language and IDE inspired by Scratch, written in JavaScript and runnable in the browser. It sup… | 100 | 1616 | active |
| austral/austral Austral is a new systems programming language featuring linear types for provably safe resource and memory management, and linear capabilit… | 34 | 1586 | active |