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 |
|---|---|---|---|
| mathialo/bython Bython is a Python preprocessor that lets you write Python code using curly braces instead of significant indentation. It translates .by fi… | 23 | 2690 | maintenance |
| typelead/eta Eta is a dialect of Haskell that compiles to and runs on the JVM, forked from GHC 7.10.3 with strong Java interoperability via a typed FFI.… | 23 | 2635 | maintenance |
| drh/lcc lcc is a retargetable ANSI C (C89) compiler with code generators for Alpha, SPARC, MIPS R3000, and x86. It is the companion to the book 'A … | 32 | 2631 | maintenance |
| GHCJS GHCJS is a Haskell to JavaScript compiler built on the GHC API, compiling Haskell programs and packages to run in browsers and Node.js. It … | 32 | 2618 | maintenance |
| mit-pdos/biscuit Biscuit is a research operating system kernel written in Go for x86-64 CPUs, implementing a monolithic POSIX-subset kernel with garbage col… | 32 | 2577 | maintenance |
| LiveScript LiveScript is a programming language that compiles to JavaScript, forked from Coco and indirectly descended from CoffeeScript. It offers ex… | 32 | 2371 | maintenance |
| icexin/eggos Eggos is a unikernel written almost entirely in Go that runs Go applications directly on x86 bare metal, supporting Go features like GC, go… | 23 | 2328 | maintenance |
| samgozman/YoptaScript YoptaScript is a joke programming language that transpiles to JavaScript, using Russian street slang ('gopnik' dialect) as its syntax. It r… | 71 | 2252 | maintenance |
| programming-nu/nu Nu is an interpreted object-oriented Lisp dialect implemented in Objective-C that runs on the Objective-C runtime and Foundation framework.… | 23 | 2185 | maintenance |
| skiplang/skip Skip is a statically typed, ahead-of-time compiled general-purpose programming language that tracks side effects to enable safe memoization… | 32 | 2022 | maintenance |
| byzer-org/byzer-lang Byzer (formerly MLSQL) is a low-code, SQL-like distributed programming language and engine for data pipelines, analytics, and AI, built aro… | 23 | 1835 | maintenance |
| soul-lang/SOUL SOUL (SOUnd Language) is a programming language and API for writing high-performance, low-latency audio DSP code, created at ROLI by Julian… | 23 | 1744 | maintenance |
| JeffBezanson/femtolisp FemtoLisp is a lightweight, self-contained Scheme-like Lisp interpreter written in under 1000 lines of C, featuring a bytecode compiler and… | 32 | 1723 | maintenance |
| jphp-group/jphp JPHP is an implementation of the PHP language (7.1+) that compiles PHP source code to JVM bytecode and executes it on the Java VM. It enabl… | 23 | 1712 | maintenance |
| Arcadia Arcadia integrates the Clojure programming language with the Unity 3D game engine, letting developers script games in a live-coded, functio… | 23 | 1688 | maintenance |
| zetzit/zz ZetZ is a C dialect and transpiler that emits plain ANSI C while formally verifying all code via symbolic execution with an SMT prover at c… | 10 | 1597 | maintenance |
| rui314/minilisp MiniLisp is a small, readable Lisp interpreter written in under 1000 lines of heavily commented C. It supports integers, symbols, cons cell… | 32 | 1562 | maintenance |
| Jython Jython is an implementation of the Python programming language written in Java that runs on the JVM, currently supporting Python 2.7 with w… | 84 | 1549 | maintenance |
| fetlang/fetlang Fetlang is a statically typed, procedural esoteric programming language whose source code is written to resemble poorly written fetish erot… | 32 | 1505 | maintenance |
| vmware-archive/differential-datalog DDlog is a programming language and compiler for incremental computation, based on a dialect of Datalog and differential dataflow. Programm… | 10 | 1501 | maintenance |
| LuaDist/lua A distribution of the Lua 5.1 programming language interpreter and library built with CMake instead of the standard Makefiles. It provides … | 10 | 1491 | maintenance |
| alpaca-lang/alpaca Alpaca is a statically typed, eagerly evaluated functional programming language for the Erlang VM (BEAM), inspired by ML and featuring Hind… | 23 | 1466 | maintenance |
| JasonShin/fp-core.rs fp-core.rs is a Rust library providing purely functional data structures and abstractions such as functors, monads, applicatives, and monoi… | 61 | 1436 | maintenance |
| part-cw/lambdanative LambdaNative is a cross-platform development environment and framework written in Scheme (based on Gambit-C) that builds native application… | 57 | 1425 | maintenance |
| kevinlawler/kona Kona is an open-source C implementation of the K (k3) programming language, an APL/LISP-derived array language originally from Kx Systems. … | 23 | 1418 | maintenance |
| michaelmacinnis/oh Oh is a new Unix shell written in Go that reimagines shell design with a Scheme-inspired language featuring first-class channels, pipes, en… | 23 | 1383 | maintenance |
| scratchfoundation/scratch-flash The open source ActionScript codebase for the Scratch 2.0 visual programming editor and player, used for both the online and offline Scratc… | 10 | 1357 | maintenance |
| whitecatboard/Lua-RTOS-ESP32 Lua RTOS is a real-time operating system for embedded systems (ESP32, ESP8266, PIC32MZ) built on FreeRTOS with a Lua 5.3 interpreter on top… | 64 | 1334 | maintenance |
| jbangert/trapcc trapcc is a proof-by-construction that Intel MMU fault handling is Turing complete: an assembler translates 'Move, Branch if Zero, Decremen… | 32 | 1324 | maintenance |
| mntmn/interim Interim OS is a minimalist experimental operating system with a language-based kernel inspired by Lisp machines and Plan 9. It boots to a J… | 32 | 1322 | maintenance |
| solodon4/Mach7 Mach7 is a C++ library providing functional-programming-style pattern matching, supporting user-definable patterns, algebraic data types, a… | 32 | 1319 | maintenance |
| roc-lang/roc Roc is a fast, friendly, functional programming language implemented in Zig, with a compiler toolchain that builds to machine code or WebAs… | 79 | 6127 | experimental |
| carp-lang/Carp Carp is a statically typed Lisp programming language with deterministic memory management and no garbage collector, implemented in Haskell.… | 77 | 6061 | experimental |
| Red Programming Language Red is a next-generation programming language inspired by Rebol, shipping as a single ~1MB zero-install executable containing a full toolch… | 66 | 6041 | experimental |
| hsutter/cppfront cppfront is an experimental compiler that translates a new 'Syntax 2' (Cpp2) flavor of C++ into standard 'Syntax 1' (Cpp1) C++ code. It ser… | 64 | 6007 | experimental |
| gutomaia/pyNES pyNES is a Python library that lets you write Nintendo Entertainment System (NES) games in Python, compiling them down to 6502 assembly for… | 76 | 1239 | maintenance |
| witchcrafters/witchcraft Witchcraft is an Elixir library providing common algebraic and categorical abstractions such as monoids, functors, applicatives, monads, ar… | 23 | 1236 | maintenance |
| kylestetz/slang Slang is a small audio programming language implemented entirely in JavaScript, running in the browser on top of the Web Audio API. It uses… | 32 | 1202 | maintenance |
| google/skylark A Go implementation of the Skylark (now Starlark) interpreter, a small dialect of Python designed as an embeddable configuration language. … | 10 | 1182 | maintenance |
| vercel-labs/zerolang Zerolang is an experimental programming language where a semantic graph serves as the program database, designed so AI agents author code v… | 73 | 5380 | experimental |
| aaronjanse/asciidots AsciiDots is an esoteric programming language where dots travel along ASCII-art paths and undergo operations, implemented as a Python inter… | 63 | 1167 | maintenance |
| CanadaHonk/porffor Porffor is an ahead-of-time JavaScript/TypeScript compiler that compiles JS source through an IR into C, producing native executables or Wa… | 95 | 5289 | experimental |
| amber-lang/amber Amber is a high-level, type-safe programming language written in Rust that compiles to Bash, Ksh, or Zsh scripts. It provides modern ECMA-s… | 81 | 5232 | experimental |
| nakkaya/ferret Ferret is a Lisp (Clojure-inspired) implementation that compiles down to self-contained C++11 code for real-time embedded control systems. … | 32 | 1127 | maintenance |
| xebecnan/UniLua UniLua is a pure C# implementation of the Lua 5.2 language, focused on compatibility with Unity3D. It implements the core language features… | 32 | 1121 | maintenance |
| leostera/caramel Caramel is a functional programming language that compiles OCaml-style source code to run on the Erlang VM (BEAM), combining OCaml's type s… | 10 | 1106 | maintenance |
| primaryobjects/AI-Programmer AI-Programmer is a C# experiment that uses genetic algorithms to automatically generate programs in a Turing-complete esoteric language (Br… | 44 | 1102 | maintenance |
| ziutek/emgo Emgo is a compiler and package set that lets you run Go programs on small 32-bit microcontrollers by generating C as intermediate code and … | 32 | 1095 | maintenance |
| rxi/classic A tiny single-file class module for Lua providing simple object-oriented programming with inheritance, mixins, and static variables. It pri… | 32 | 1076 | maintenance |
| luaj/luaj Luaj is a lightweight, fast Lua interpreter (Lua 5.2.x compatible) written entirely in Java for JME, JSE, and JEE environments. It includes… | 23 | 1055 | maintenance |
| Hamler Hamler is a strongly-typed, Haskell-style functional programming language that compiles to Erlang VM (BEAM) bytecode. It brings compile-tim… | 23 | 1041 | maintenance |
| dan200/ComputerCraft ComputerCraft is a Minecraft mod that adds programmable computers, robots, and turtles running the Lua programming language to Minecraft wo… | 23 | 1041 | maintenance |
| haileys/jsos JSOS is a hobby operating system whose kernel, C library, compiler, and JavaScript virtual machine are written largely in JavaScript, with … | 32 | 1038 | maintenance |
| matz/streem Streem is a prototype of a stream-based concurrent scripting language created by Yukihiro Matsumoto, influenced by the shell pipeline model… | 32 | 4595 | experimental |
| sweet-js/sweet-core Sweet.js is a JavaScript macro system that brings hygienic macros (like those in Scheme and Rust) to JavaScript, letting developers define … | 10 | 4559 | experimental |
| koka-lang/koka Koka is a strongly typed functional programming language with a polymorphic effect type system and algebraic effect handlers, developed as … | 89 | 4104 | experimental |
| microsoft/verona Project Verona is a Microsoft research programming language exploring a concurrency model based on concurrent ownership, implemented in C++… | 60 | 3726 | experimental |
| NerdLang/nerd Nerd (formerly NectarJS) is a JavaScript native compiler that compiles JS and NerdLang (a JS subset focused on efficiency) directly to nati… | 32 | 3611 | experimental |
| microsoft/devicescript DeviceScript is a TypeScript-based language and toolchain from Microsoft Research for programming low-resource microcontrollers like ESP32 … | 10 | 3445 | experimental |
| jank jank is a Clojure dialect compiled to native code via LLVM, with seamless C++ interop including templates, virtual functions, exceptions, a… | 68 | 3344 | experimental |
| artichoke/artichoke Artichoke is a Ruby implementation written in Rust and Ruby, aiming for MRI compatibility and targeting recent MRI Ruby. It can compile to … | 10 | 3125 | experimental |
| SerenityOS/jakt Jakt is a memory-safe systems programming language developed by the SerenityOS project, featuring automatic reference counting, strong typi… | 73 | 2986 | experimental |
| Rust-GCC/gccrs gccrs is a GCC front-end implementing the Rust language, aiming to be fully upstreamed into the GNU toolchain as an alternative to rustc/LL… | 76 | 2955 | experimental |
| edubart/nelua-lang Nelua is a minimal, statically-typed, meta-programmable systems programming language inspired by Lua that compiles to C and native code. It… | 32 | 2436 | experimental |
| jfecher/ante Ante is a low-level functional systems programming language exploring safe shared mutability, algebraic effect handlers, ownership/borrowin… | 68 | 2359 | experimental |
| nature-lang/nature Nature is a general-purpose system programming language with its own compiler written in pure C, compiling directly to machine code without… | 84 | 2253 | experimental |
| Darklang Darklang is an integrated functional programming language, editor, and cloud infrastructure for building backends, APIs, and CLIs without s… | 86 | 2173 | experimental |
| kyren/piccolo Piccolo is an experimental stackless Lua interpreter implemented in pure Rust, designed to safely run and sandbox untrusted Lua scripts. It… | 33 | 2153 | experimental |
| mun-lang/mun Mun is an experimental, statically typed programming language with first-class hot reloading, compiled ahead of time to native machine code… | 65 | 2139 | experimental |
| ValeLang/Vale The compiler (valec) for Vale, an experimental statically-typed systems programming language that compiles ahead-of-time to LLVM. Vale aims… | 66 | 2022 | experimental |
| WeaveMindAI/weft Weft is a programming language (currently a POC) where LLMs, humans, APIs, and infrastructure are first-class primitives for building AI or… | 67 | 1989 | experimental |
| google/rune Rune is an experimental, Python-inspired systems programming language from Google that compiles to C and emphasizes memory safety and const… | 70 | 1935 | experimental |
| lamdu/lamdu Lamdu is a next-generation live programming environment combining a projectional/structure editor with its own programming language, offeri… | 66 | 1894 | experimental |
| Azure/golua A Lua 5.3 engine (compiler and virtual machine) implemented entirely in Go. It allows Go applications to embed and execute Lua scripts with… | 10 | 1817 | experimental |
| argotorg/fe Fe is a statically typed, Rust-like programming language for the Ethereum Virtual Machine (EVM) featuring explicit effects, message-passing… | 99 | 1736 | experimental |
| google-research/dex-lang Dex is an experimental research programming language from Google Research for typed, functional array processing in the Haskell/ML family. … | 56 | 1704 | experimental |
| redox-os/ion Ion is a modern system shell with a simple yet powerful scripting syntax, written entirely in Rust for improved quality, security, and perf… | 66 | 1655 | experimental |
| andreabergia/rjvm A minimal Java Virtual Machine (JVM 7) implemented in Rust as a hobby learning project. It can parse .class files, resolve classes from jar… | 31 | 1580 | experimental |
| alshdavid-public/BorrowScript BorrowScript is an experimental programming language that combines TypeScript-like syntax with a Rust-style borrow checker, compiled to sma… | 32 | 1456 | experimental |
| bramblex/jsjs A simple meta-circular JavaScript interpreter written in JavaScript, intended as a toy/educational project demonstrating interpreter design… | 32 | 1347 | experimental |
| Hans-Halverson/brimstone Brimstone is a JavaScript engine written from scratch in Rust, implementing nearly the full ECMAScript specification (ES2026) including a b… | 77 | 1322 | experimental |
| luajit-remake/luajit-remake A from-scratch re-engineering of LuaJIT aiming to build a multi-tier method-JIT for Lua, with the interpreter and JIT tiers auto-generated … | 32 | 1299 | experimental |
| lexi-lambda/hackett Hackett is an experimental, statically typed, pure, lazy functional programming language implemented as a Racket #lang, combining Haskell-s… | 32 | 1206 | experimental |
| rue-language/rue Rue is an experimental systems programming language, implemented in Rust, that explores memory safety without garbage collection while aimi… | 63 | 1205 | experimental |
| NathanFlurry/VisualProgrammingLanguage A node-based visual programming language written in Swift that assembles to executable Swift code. It is a proof-of-concept app designed to… | 61 | 1201 | experimental |
| evincarofautumn/kitten Kitten is a statically typed, stack-based concatenative programming language with Hindley-Milner type inference and an effect/permission sy… | 32 | 1175 | experimental |
| solod-dev/solod Solod (So) is a strict subset of Go that transpiles to readable C11 code with zero runtime, no garbage collection, and native C interop. It… | 75 | 1165 | experimental |
| zesterer/tao Tao is a statically-typed functional programming language implemented in Rust, featuring generics, typeclasses, sum types, pattern matching… | 34 | 1162 | experimental |
| robert-strandh/SICL SICL is a fresh, modular implementation of the Common Lisp programming language. It is split into many implementation-independent, highly p… | 74 | 1146 | experimental |
| nikic/scalar_objects A PHP C extension that enables method calls on primitive types like strings and arrays, e.g. $str->length(). It serves as a proof-of-concep… | 45 | 1145 | experimental |
| onelang/OneLang OneLang is a source-to-source transpiler framework that lets developers write code once and generate it in multiple target languages such a… | 32 | 1142 | experimental |
| brutal-org/brutal BRUTAL is a hobby operating system built from scratch in modern C, inspired by brutalist design and combining 1970s UNIX ideals with modern… | 64 | 1113 | experimental |
| vrtbl/passerine Passerine is a small, extensible functional scripting language with a VM written in Rust, featuring pattern matching, structural types, fib… | 54 | 1092 | experimental |
| natalie-lang/natalie Natalie is a work-in-progress alternative implementation of the Ruby language, written in Ruby and C++. It provides an ahead-of-time compil… | 73 | 1032 | experimental |
| KanatnikovMax/znanie-drevnix Znanie Drevnix (В††) is a joke esoteric programming language implemented as a single C++ header file, letting users write code using Slavic… | 28 | 1011 | experimental |
| Diem Diem Core is a Rust implementation of the Diem blockchain, a decentralized programmable distributed ledger designed for a low-volatility st… | 67 | 16658 | abandoned |
| google/grumpy Grumpy is a Python-to-Go source code transcompiler and runtime from Google, intended as a near drop-in replacement for CPython 2.7. It comp… | 10 | 10493 | abandoned |
| samshadwell/TrumpScript TrumpScript is a satirical esoteric programming language built on top of Python, with syntax and semantics themed around Donald Trump. It i… | 10 | 7583 | abandoned |
| Eve Eve is an experimental human-first programming language and IDE built around literate programming, where code is embedded in documents and … | 23 | 7222 | abandoned |
| microsoft/BosqueLanguage Bosque is an experimental programming language from Microsoft combining functional semantics with block-based syntax, designed for regulari… | 10 | 5203 | abandoned |