function: programming-language
468 products, primary matches first, then adoption-weighted; health v2 shown.
| Product | Health v2 | Stars | Maturity |
|---|---|---|---|
| gluon-lang/gluon Gluon is a small, statically-typed functional programming language with type inference, implemented in Rust and designed for embedding in a… | 97 | 3435 | active |
| emojicode/emojicode Emojicode is an open-source, multi-paradigm programming language whose syntax consists of emojis, featuring object-orientation, optionals, … | 23 | 3412 | 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… | 55 | 3396 | active |
| zephir-lang/zephir Zephir is a high-level, statically/dynamically typed programming language with a compiler CLI that transpiles code to C for building PHP ex… | 99 | 3386 | 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 … | 70 | 3385 | active |
| microsoft/Power-Fx Microsoft Power Fx is a low-code general-purpose programming language based on spreadsheet-like formulas, strongly typed, declarative, and … | 67 | 3364 | active |
| D Programming Language (dmd + Phobos) DMD is the reference compiler for the D programming language, a statically typed systems and applications language with C-like syntax and n… | 88 | 3303 | 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 |
| checkedc/checkedc Checked C is an extension to the C programming language that adds bounds checking and improved type safety through opt-in annotations, impl… | 23 | 3255 | 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… | 87 | 3188 | active |
| fable-compiler/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 | 3144 | active |
| grame-cncm/faust Faust (Functional Audio Stream) is a functional programming language for real-time digital signal processing and sound synthesis, developed… | 88 | 3138 | stable |
| FStarLang/FStar F* is a general-purpose proof-oriented programming language combining dependent types with SMT-based proof automation and interactive theor… | 99 | 3100 | 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. … | 72 | 3048 | active |
| Alinshans/MyTinySTL A C++11 reimplementation of a large portion of the C++ Standard Template Library, including containers, iterators, and algorithms. Original… | 23 | 12476 | 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 … | 90 | 3006 | 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… | 30 | 2993 | active |
| google/mangle Mangle is a deductive database programming language implemented as an embeddable Go library. It extends Datalog with aggregation, function … | 73 | 2986 | active |
| espruino/Espruino Espruino is an open-source JavaScript interpreter and firmware for microcontrollers, designed to run on devices with as little as 128kB Fla… | 76 | 2965 | 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… | 89 | 2945 | stable |
| agda/agda Agda is a dependently typed functional programming language that doubles as an interactive theorem prover based on intuitionistic type theo… | 67 | 2920 | 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… | 98 | 2906 | active |
| erg-lang/erg Erg is a statically typed, Python-compatible general-purpose programming language with a powerful type system featuring dependent and refin… | 59 | 2860 | active |
| TidalCycles Strudel is a web-based environment for live coding algorithmic music patterns, offering a faithful JavaScript port of the Haskell-based Tid… | 10 | 2850 | 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… | 67 | 2846 | 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… | 94 | 2844 | active |
| YarnSpinnerTool/YarnSpinner Yarn Spinner is the core compiler and engine-agnostic runtime for the Yarn dialogue language, a screenplay-like format for writing interact… | 84 | 2832 | stable |
| 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 | 2793 | active |
| IoLanguage/io Io is a small, dynamic prototype-based programming language implemented in C, inspired by Self, Smalltalk, Lisp, and Lua, where everything … | 66 | 2790 | 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… | 85 | 2782 | active |
| IronPython IronPython is an open-source implementation of the Python programming language built on the .NET Dynamic Language Runtime, targeting Python… | 67 | 2759 | 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 … | 73 | 2754 | stable |
| bakpakin/Fennel Fennel is a Lisp dialect that compiles to Lua with zero runtime overhead and full Lua compatibility. It supports compile-time macros, patte… | 52 | 2745 | stable |
| flix/flix Flix is a statically typed, effect-oriented programming language that combines functional, imperative, and logic programming paradigms, dev… | 99 | 2734 | active |
| aardappel/lobster Lobster is a statically typed, general-purpose programming language with a Python-like indentation syntax, flow-sensitive type inference, a… | 95 | 2732 | active |
| zhanyong-wan/dongbei dongbei is a novelty programming language whose keywords are based on Northeastern Chinese (Dongbei) dialect vocabulary, implemented on top… | 70 | 2659 | active |
| reasonml/reason Reason is an alternative syntax and toolchain for the OCaml programming language, offering simple, fast, type-safe code with a JavaScript-f… | 91 | 10323 | maintenance |
| seanbaxter/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 | 2574 | active |
| mattwparas/steel Steel is an embeddable Scheme dialect interpreter implemented in Rust, running on a bytecode virtual machine with mostly R5RS compliance. I… | 89 | 2546 | active |
| thepowersgang/mrustc mrustc is an alternative Rust compiler written in C++ whose primary purpose is bootstrapping rustc without needing an existing Rust binary.… | 77 | 2521 | 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… | 88 | 2453 | 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… | 70 | 2446 | active |
| kcl-lang/kcl KCL is a constraint-based record and functional configuration and policy language implemented in Rust, with this repo providing the languag… | 79 | 2403 | active |
| CatalaLang/catala Catala is a domain-specific programming language for deriving faithful-by-construction algorithms from legislative texts via literate progr… | 93 | 2367 | active |
| AcademySoftwareFoundation/OpenShadingLanguage Open Shading Language (OSL) is a small, C-like programmable shading language with a compiler and runtime library for advanced production re… | 94 | 2325 | stable |
| Perl/perl5 Perl 5 is a general-purpose, dynamically typed programming language originally developed for text manipulation, now used for system adminis… | 77 | 2320 | 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… | 83 | 2312 | 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… | 87 | 2157 | 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 … | 63 | 2137 | 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 | 2130 | 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 | 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 |
| 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… | 86 | 2110 | active |
| vtereshkov/umka-lang Umka is a statically typed, embeddable scripting language implemented in C99, with a bytecode compiler and virtual machine distributed as a… | 91 | 2091 | active |
| amaranth-lang/amaranth Amaranth is a Python-based hardware definition language and toolchain for designing synchronous digital logic, including a standard library… | 93 | 2074 | active |
| SpinalHDL/SpinalHDL SpinalHDL is an open-source Scala-based hardware description language (HDL) library for describing digital hardware at the register-transfe… | 85 | 2031 | active |
| fengari-lua/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… | 58 | 2026 | active |
| oracle/graaljs GraalJS is a high-performance, ECMAScript-compliant JavaScript engine implemented in Java on top of GraalVM. It can execute JavaScript and … | 95 | 2022 | 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 … | 87 | 2017 | active |
| Hermit Hermit is a lightweight unikernel written entirely in Rust, targeting scalable and predictable runtimes for high-performance and cloud comp… | 86 | 1958 | 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 | 1955 | 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 | 1928 | active |
| kikito/middleclass Middleclass is a lightweight object-orientation library for Lua providing classes, inheritance, metamethods, class variables, and mixin sup… | 55 | 1919 | stable |
| PistonDevelopers/dyon Dyon is a dynamically typed scripting language implemented in Rust, designed for embedding in Rust applications, particularly games in the … | 66 | 1913 | 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,… | 68 | 1911 | active |
| 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… | 84 | 1910 | 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… | 97 | 1902 | active |
| cesanta/elk Elk is a tiny embeddable JavaScript engine written in C that implements a small subset of ES6, designed for microcontrollers with footprint… | 55 | 1900 | active |
| rakudo/rakudo Rakudo is the primary, production-ready compiler implementation of the Raku programming language, targeting the MoarVM, JVM, and JavaScript… | 99 | 1896 | stable |
| 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… | 49 | 1886 | 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 | 7128 | maintenance |
| 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… | 72 | 1875 | active |
| Zokrates/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 |
| 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… | 59 | 1852 | active |
| factor/factor Factor is a concatenative, stack-based programming language with dynamic types, extensible syntax, macros, and garbage collection. It ships… | 74 | 1850 | 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 | 6881 | maintenance |
| 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.… | 73 | 1787 | active |
| pypy/pypy PyPy is a fast, compliant alternative implementation of the Python programming language built on the RPython compiler framework. It feature… | 71 | 1783 | stable |
| bnjbvr/rouille Rouille is a Rust proc-macro crate that lets you write Rust programs using French keywords, function names, and idioms, fully interoperable… | 55 | 1775 | 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… | 59 | 1771 | active |
| wa-lang/wa Wa (凹) is a general-purpose, statically typed programming language designed for WebAssembly, with a fully self-developed compiler and runti… | 81 | 1767 | 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… | 93 | 1752 | 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… | 85 | 1747 | 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… | 72 | 1741 | 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 | 1739 | 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… | 71 | 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… | 23 | 6209 | maintenance |
| 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… | 72 | 1667 | active |
| JetBrains/MPS JetBrains MPS is an open-source meta-programming system (language workbench) for designing domain-specific languages with a complete develo… | 77 | 1656 | 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… | 74 | 1653 | active |
| ganelson/inform Inform 7 is a programming language for writing interactive fiction using natural-language syntax, and this repository holds the core compil… | 63 | 1639 | 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… | 91 | 1638 | 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… | 95 | 1636 | active |
| JohnEarnest/Decker Decker is a multimedia platform and sketchpad for creating and sharing interactive documents with sound, images, hypertext, and scripted be… | 76 | 1615 | 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… | 78 | 1614 | 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… | 91 | 1610 | 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… | 88 | 1606 | active |