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 |
|---|---|---|---|
| mattn/anko Anko is a scriptable interpreter written in Go that provides its own JavaScript-like scripting language. It can be embedded in Go applicati… | 70 | 1582 | active |
| Hylo programming language Hylo (formerly Val) is a systems programming language built around mutable value semantics and generic programming, implemented in Swift wi… | 80 | 1570 | active |
| ivov/lisette Lisette is a small programming language inspired by Rust that compiles to readable Go, featuring Hindley-Milner type inference, algebraic d… | 78 | 1554 | active |
| ThakeeNathees/pocketlang Pocketlang is a lightweight, fast, embeddable scripting language written in C with a Ruby-flavored Python-like syntax, including its own by… | 56 | 1548 | active |
| jart/sectorlisp SectorLISP is a 512-byte LISP implementation that fits in a boot sector and boots John McCarthy's meta-circular evaluator on bare metal fro… | 68 | 1526 | stable |
| fubark/cyber Cyber is a fast, memory-safe scripting language with a VM and JIT, supporting dynamic and optional static typing plus concurrency via fiber… | 45 | 1523 | active |
| ngs-lang/ngs Next Generation Shell (NGS) is a modern programming language and shell designed specifically for DevOps tasks, combining a bash-like syntax… | 66 | 1519 | active |
| rxi/fe A tiny embeddable Lisp-like scripting language implemented in under 800 lines of portable ANSI C. It offers a simple C API, lexical scoping… | 32 | 1513 | stable |
| Csound Csound is a sound and music computing system, originally an audio programming language descended from the MUSIC-N family, with a core C lib… | 99 | 1510 | active |
| Rainbow-Dreamer/musicpy Musicpy is a Python library and music programming language for writing music with concise, human-readable syntax built on a fully computeri… | 66 | 1496 | active |
| Pharo Pharo is a pure, reflective, dynamically typed object-oriented programming language in the Smalltalk tradition, shipped with an immersive l… | 73 | 1487 | active |
| Carbon Language Carbon is an experimental successor language to C++ with bidirectional C++ interoperability, built on LLVM for C++-level performance. The r… | 85 | 33900 | experimental |
| ring-lang/ring Ring is a simple, lightweight, embeddable, multi-paradigm dynamic programming language implemented in C, supporting imperative, procedural,… | 84 | 1470 | active |
| objectionary/eo EO (EOLANG) is an experimental pure object-oriented programming language based on 𝜑-calculus, implemented in Java. It deliberately rejects … | 92 | 1462 | active |
| gambit/gambit Gambit is a complete, portable, and efficient implementation of the Scheme programming language, including an interpreter (gsi) and an opti… | 77 | 1447 | stable |
| sylefeb/Silice Silice is an open-source hardware description language designed to make writing FPGA hardware algorithms with pipelines and parallelism eas… | 75 | 1432 | active |
| titzer/virgil Virgil is a fast, lightweight, statically-typed systems programming language that blends functional and object-oriented paradigms. Its self… | 77 | 1427 | active |
| ashinn/chibi-scheme Chibi-Scheme is a minimal Scheme implementation designed to be embedded as an extension and scripting language in C programs. It supports R… | 76 | 1405 | stable |
| Noir Noir is a Rust-inspired domain-specific language for writing privacy-preserving programs that compile to zero-knowledge (SNARK) proofs via … | 96 | 1402 | active |
| toitlang/toit The Toit language implementation, consisting of a compiler, virtual machine, and standard libraries for running a modern high-level languag… | 97 | 1394 | active |
| babashka/sci SCI is a small, configurable Clojure and ClojureScript interpreter for evaluating code from user input or building Clojure DSLs. It works o… | 96 | 1387 | active |
| esseks/monicelli Monicelli is an esoteric programming language based on the 'supercazzole' gibberish from the Italian comedy film Amici Miei. It ships with … | 47 | 1381 | active |
| starkware-libs/cairo-lang Cairo is a programming language for writing provable programs, developed by StarkWare for STARK-based zero-knowledge proofs and StarkNet sm… | 64 | 1368 | active |
| paralleldrive/sudolang SudoLang is a pseudocode-style programming language designed for collaborating with AI language models, using natural language constraints,… | 55 | 1356 | active |
| SkriptLang/Skript Skript is a Paper plugin that lets Minecraft server admins customize their servers using an English-like scripting language instead of writ… | 96 | 1341 | active |
| benfry/processing4 Processing 4 is the source code for the Processing Development Environment, a Java-based creative coding platform and IDE for writing visua… | 23 | 1328 | stable |
| BlueOS Kernel BlueOS kernel is an operating system kernel written in Rust by Vivo, emphasizing security, lightweight design, and generality. It is POSIX-… | 63 | 1310 | active |
| inko-lang/inko Inko is a statically typed programming language for building concurrent software, compiled to machine code via LLVM. It offers deterministi… | 77 | 1307 | active |
| SWI-Prolog SWI-Prolog is a comprehensive, open-source (BSD-2) implementation of the Prolog logic programming language, implemented in C and Prolog wit… | 97 | 1288 | stable |
| jspahrsummers/libextobjc libextobjc is a modular Cocoa library that extends the Objective-C language with additional patterns and compile-time checks, such as safe … | 10 | 4490 | maintenance |
| mighty-gerbils/gerbil Gerbil is an opinionated dialect of Scheme built on the Gambit runtime and compiler, featuring a state-of-the-art macro system (native synt… | 72 | 1270 | active |
| Ravi Ravi is a dialect of Lua 5.3 with limited optional static typing, a MIR-based JIT compiler, and AOT compilation to native code. It enhances… | 65 | 1259 | active |
| wch/r-source A read-only Git mirror of the official R source code from the upstream SVN repository, updated hourly. It lets developers browse, clone, an… | 77 | 1254 | active |
| gfngfn/SATySFi SATySFi is a typesetting system built around a statically-typed, functional programming language, producing PDF documents. It combines a La… | 54 | 1248 | active |
| batsh-dev-team/Batsh Batsh is a C-based programming language that compiles to both Bash and Windows Batch scripts, letting you write shell scripts once that run… | 23 | 4351 | maintenance |
| morganstanley/hobbes Hobbes is a strongly typed domain-specific language with an embedded JIT compiler and runtime for efficient dynamic expression evaluation, … | 77 | 1230 | active |
| CC: Tweaked CC: Tweaked is a Minecraft mod that adds programmable computers, turtles, and peripherals controllable via Lua. It is an actively maintaine… | 95 | 1226 | active |
| GaloisInc/cryptol Cryptol is a domain-specific language and interpreter for specifying cryptographic algorithms, developed by Galois. It provides an executab… | 86 | 1224 | active |
| elonlit/Genesis Genesis is an interpreted, procedural, Turing-complete esoteric programming language whose keywords are written in Paleo-Hebrew characters,… | 23 | 1208 | stable |
| CakeML/cakeml CakeML is a functional programming language based on a substantial subset of Standard ML, together with a formally verified compiler that i… | 92 | 1204 | active |
| arclanguage/anarki Anarki is a community-managed, permissively-maintained fork of the Arc dialect of Lisp, implemented on Racket and distributed as an interac… | 39 | 1203 | active |
| SethBling/cbscript CBScript is a transpiled programming language and compiler by SethBling that compiles .cbscript source files into Minecraft datapack zip fi… | 32 | 1203 | active |
| StepfenShawn/Cantonese Cantonese is a programming language whose keywords are written in Cantonese (Chinese), implemented with a Rust compiler and distributed via… | 75 | 1194 | active |
| GaijinEntertainment/daScript Daslang (formerly daScript) is a high-performance, statically strong-typed scripting language built at Gaijin Entertainment for games and r… | 94 | 1191 | active |
| Jamesbarford/holyc-lang A from-scratch compiler for HolyC, the language of TempleOS, written in C. It provides AOT and JIT compilation, a REPL, LSP support, an ass… | 86 | 1190 | active |
| rvirding/luerl Luerl is an implementation of the Lua 5.3 scripting language written in pure Erlang/OTP. It is a library that lets Erlang host programs exe… | 77 | 1189 | active |
| NetLogo NetLogo is a widely used agent-based modeling environment written in Scala, letting users program turtles, patches, and links to simulate c… | 85 | 1187 | active |
| Spu7Nix/SPWN-language SPWN is a programming language written in Rust that compiles to Geometry Dash levels, letting creators build levels and trigger logic throu… | 23 | 1183 | active |
| DulLabs/bhai-lang BhaiLang is a dynamically typed toy programming language written in TypeScript, built as an inside joke with Hindi slang keywords like 'hi … | 32 | 4092 | maintenance |
| souffle-lang/souffle Soufflé is a Datalog variant language for expressing static analyses in Horn clauses, with records, strong typing, aggregation, and compone… | 61 | 1175 | active |
| betaveros/noulith Noulith is a scripting programming language implemented in Rust, designed for quick-and-dirty scripts with heavy syntax sugar such as every… | 57 | 1165 | active |
| curv3d/curv Curv is a pure functional programming language for creating 2D and 3D art using mathematics, built on Function Representation (F-Rep) with … | 10 | 1165 | active |
| NVIDIA/cuda-quantum NVIDIA's CUDA-Q platform providing C++ and Python tools for programming heterogeneous quantum-classical workflows across QPUs, GPUs, and CP… | 93 | 1164 | active |
| scoder/lupa Lupa embeds the Lua and LuaJIT runtimes into CPython via Cython, allowing Python code to execute and interoperate with Lua code. It support… | 79 | 1155 | active |
| managarm/mlibc mlibc is a portable, fully featured C standard library designed for easy porting to new operating systems via a clean syscall abstraction l… | 92 | 1147 | active |
| B-Lang-org/bsc The Bluespec Compiler (BSC) is a compiler, simulator, and toolchain for the Bluespec Hardware Description Language, supporting both Bluespe… | 86 | 1144 | active |
| hpyproject/hpy HPy is a new C API and ABI specification for extending Python that is implementation-agnostic, working across CPython, PyPy, and GraalPy. I… | 65 | 1142 | active |
| z88dk/z88dk Z88DK is a complete cross-development kit for the Z80 family of processors (8080, Z80, Z180, ez80, Rabbit, GBZ80 and more), providing C com… | 68 | 1140 | active |
| ocsigen/js_of_ocaml Js_of_ocaml is a compiler that translates OCaml bytecode to JavaScript, allowing pure OCaml programs to run in browsers and Node.js. It wor… | 93 | 1133 | active |
| brownplt/pyret-lang Pyret is an educational programming language that blends scripting, functional, and object-oriented styles, designed primarily for teaching… | 76 | 1130 | active |
| godotjs/javascript GodotJS is a Godot engine module that adds JavaScript and TypeScript language bindings using the QuickJS engine. It exposes the full Godot … | 23 | 1129 | active |
| freebasic/fbc FreeBASIC (fbc) is a free, open-source, self-hosting multi-platform BASIC compiler with syntax similar to MS-QuickBASIC, adding modern feat… | 53 | 1117 | active |
| picoruby/picoruby PicoRuby is a compact alternative implementation of the Ruby language (based on mruby and mruby/c VMs) designed to run on one-chip microcon… | 95 | 1107 | active |
| increpare/PuzzleScript PuzzleScript is an open-source HTML5 game engine for creating grid-based puzzle games using a simple scripting language. It runs entirely i… | 68 | 1100 | active |
| r-wasm/webr WebR is the R statistical programming language compiled to WebAssembly via Emscripten, allowing R code to run directly in web browsers and … | 83 | 1096 | active |
| FascinatedBox/lily Lily is a statically-typed, interpreted programming language focused on expressiveness and type safety, implemented in C. It is designed to… | 77 | 1094 | active |
| gnolang/gno Gno is an interpreted, fully deterministic variant of Go with a stack-based virtual machine (GnoVM) for writing succinct, composable smart … | 99 | 1090 | active |
| MLton/mlton MLton is a whole-program optimizing compiler for the Standard ML (SML97) programming language that generates small, fast standalone executa… | 66 | 1090 | active |
| hirrolot/metalang99 Metalang99 is a header-only C99 preprocessor metaprogramming library that implements a functional programming language atop of C preprocess… | 51 | 1090 | active |
| adam-mcdaniel/dune Dune is a Unix shell and scripting language written in Rust, combining bash-style shell operations (piping, redirection) with Lisp-inspired… | 31 | 1085 | active |
| BQN BQN is a modern APL-derived array programming language with infix notation, built-in multidimensional array operations, and first-class fun… | 73 | 1078 | active |
| Mercury-Language/mercury The Mercury logic/functional programming language system, including a self-hosting compiler with multiple backends targeting C, C#, and Jav… | 76 | 1074 | active |
| IronPython IronPython is an open-source implementation of the Python programming language built on the .NET Dynamic Language Runtime, targeting Python… | 52 | 1074 | active |
| polysemy-research/polysemy Polysemy is a Haskell library for building higher-order, low-boilerplate effect systems (extensible effects), letting you write domain-spec… | 24 | 1074 | stable |
| berry-lang/berry Berry is an ultra-lightweight dynamically typed embedded scripting language written in ANSI C99, designed for low-performance embedded devi… | 66 | 1069 | active |
| albertodemichelis/squirrel Squirrel is a high-level imperative, object-oriented scripting language implemented in C++, designed to be lightweight enough to embed in a… | 50 | 1055 | stable |
| overmighty/i-use-arch-btw An esoteric, Turing-complete programming language based on Brainfuck where commands are the keywords 'i', 'use', 'arch', 'linux', 'btw', et… | 23 | 1050 | active |
| ChucK ChucK is an open-source, strongly-timed programming language for real-time sound synthesis and music creation, with a unique time-based con… | 70 | 1048 | active |
| tomhrr/dale Dale is a system-level programming language with Lisp-style S-expression syntax that compiles via LLVM, similar to C but with macros, type … | 27 | 1048 | active |
| HVML/PurC PurC is the prime interpreter for HVML, a programmable markup (descriptive) programming language, implemented in C/C++. It is distributed b… | 60 | 1044 | active |
| facebook/starlark-rust A Rust implementation of the Starlark language, a deterministic Python3-inspired configuration language used by build systems like Bazel an… | 81 | 1034 | active |
| quickjs-zh/QuickJS QuickJS is a small, embeddable JavaScript engine written in C supporting ES2023 (including modules, async generators, and proxies), with a … | 43 | 3518 | maintenance |
| goby-lang/goby Goby is an object-oriented, Ruby-inspired interpreted programming language implemented entirely in Go, compiling to bytecode and running on… | 10 | 3507 | maintenance |
| Microsoft Quantum Development Kit The Microsoft Quantum Development Kit provides tooling for the Q# quantum programming language, including a compiler, language service, sta… | 94 | 1024 | active |
| idris-lang/Idris-dev Idris 1 is a general-purpose functional programming language with full dependent types, implemented in Haskell, supporting type-driven deve… | 10 | 3477 | maintenance |
| MoonScript MoonScript is a programmer-friendly dynamic scripting language with significant whitespace, classes, and comprehensions that compiles to Lu… | 79 | 3473 | maintenance |
| UniMath UniMath is a Rocq (Coq) library that formalizes a substantial body of mathematics using the univalent point of view. It provides formalized… | 80 | 1017 | active |
| redox-os/relibc relibc is a portable C standard library written in Rust, providing C, Linux, and BSD functions, a POSIX compatibility layer, and interfaces… | 75 | 1016 | active |
| gap-system/gap GAP (Groups, Algorithms, Programming) is a computer algebra system for computational discrete algebra, with particular emphasis on computat… | 93 | 1015 | stable |
| vekatze/neut Neut is a functional programming language with static, type-directed memory management that compiles to LLVM IR and native binaries. It off… | 90 | 1010 | active |
| Tencent Kona JDK Tencent Kona 8 is a no-cost, production-ready distribution of OpenJDK 8 with long-term support and quarterly updates, serving as the defaul… | 86 | 1005 | stable |
| robpike/lisp A toy interpreter for Lisp 1.5, the language defined in the 1962 MIT LISP 1.5 Programmer's Manual, written in clean Go code. It is a pedago… | 77 | 1003 | stable |
| typelift/Swiftz Swiftz is a Swift library for functional programming that provides functional data structures, typeclasses, and idioms like Lists, Arrows, … | 23 | 3316 | maintenance |
| flaneur2020/pua-lang pua-lang is a satirical dialect of the Monkey programming language implemented in Rust, with keywords renamed to Alibaba corporate jargon (… | 32 | 3308 | maintenance |
| ChaiScript/ChaiScript ChaiScript is a header-only embedded scripting language designed from the ground up for seamless integration with modern C++ applications. … | 79 | 3131 | maintenance |
| rubinius/rubinius Rubinius is a language platform and virtual machine that supports multiple programming languages, best known as an alternative implementati… | 38 | 3094 | maintenance |
| munificent/vigil Vigil is an esoteric programming language implemented as a Python-based command-line interpreter, originally created for the January 2013 P… | 32 | 3036 | maintenance |
| microsoft/proxy Proxy is a header-only C++20 library from Microsoft that provides next-generation polymorphism without inheritance, using pointer-based fac… | 10 | 3029 | maintenance |
| danielyxie/bitburner Bitburner is a programming-based incremental game with hacking and cyberpunk themes where players write JavaScript scripts to progress. Thi… | 23 | 2848 | maintenance |
| minoca/os Minoca OS is a general-purpose operating system written from scratch in C, featuring a POSIX-like interface, an event-driven preemptive SMP… | 32 | 2790 | maintenance |