function: programming-language
468 products, primary matches first, then adoption-weighted; health v2 shown.
| Product | Health v2 | Stars | Maturity |
|---|---|---|---|
| electrikmilk/cherri Cherri is a domain-specific programming language and compiler, written in Go, that compiles source files into signed Apple Siri Shortcuts. … | 92 | 1594 | active |
| 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… | 73 | 1580 | active |
| austral/austral Austral is a new systems programming language featuring linear types for provably safe resource and memory management, and linear capabilit… | 38 | 1572 | active |
| hylo-lang/hylo Hylo (formerly Val) is a systems programming language built around mutable value semantics and generic programming, implemented in Swift wi… | 83 | 1551 | 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… | 59 | 1551 | 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 | 1521 | 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… | 71 | 1520 | 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… | 49 | 1518 | 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 | 1512 | stable |
| csound/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… | 95 | 1503 | 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… | 62 | 1492 | active |
| ivov/lisette Lisette is a small programming language inspired by Rust that compiles to readable Go, featuring Hindley-Milner type inference, algebraic d… | 77 | 1488 | active |
| carbon-language/carbon-lang Carbon is an experimental successor language to C++ with bidirectional C++ interoperability, built on LLVM for C++-level performance. The r… | 86 | 33871 | experimental |
| pharo-project/pharo Pharo is a pure, reflective, dynamically typed object-oriented programming language in the Smalltalk tradition, shipped with an immersive l… | 74 | 1482 | active |
| ring-lang/ring Ring is a simple, lightweight, embeddable, multi-paradigm dynamic programming language implemented in C, supporting imperative, procedural,… | 90 | 1460 | active |
| gambit/gambit Gambit is a complete, portable, and efficient implementation of the Scheme programming language, including an interpreter (gsi) and an opti… | 77 | 1440 | stable |
| sylefeb/Silice Silice is an open-source hardware description language designed to make writing FPGA hardware algorithms with pipelines and parallelism eas… | 77 | 1430 | active |
| titzer/virgil Virgil is a fast, lightweight, statically-typed systems programming language that blends functional and object-oriented paradigms. Its self… | 77 | 1416 | active |
| objectionary/eo EO (EOLANG) is an experimental pure object-oriented programming language based on 𝜑-calculus, implemented in Java. It deliberately rejects … | 94 | 1415 | active |
| noir-lang/noir Noir is a Rust-inspired domain-specific language for writing privacy-preserving programs that compile to zero-knowledge (SNARK) proofs via … | 98 | 1393 | 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… | 80 | 1390 | stable |
| babashka/sci SCI is a small, configurable Clojure and ClojureScript interpreter for evaluating code from user input or building Clojure DSLs. It works o… | 98 | 1381 | active |
| esseks/monicelli Monicelli is an esoteric programming language based on the 'supercazzole' gibberish from the Italian comedy film Amici Miei. It ships with … | 53 | 1380 | 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… | 68 | 1369 | active |
| toitlang/toit The Toit language implementation, consisting of a compiler, virtual machine, and standard libraries for running a modern high-level languag… | 99 | 1361 | active |
| paralleldrive/sudolang SudoLang is a pseudocode-style programming language designed for collaborating with AI language models, using natural language constraints,… | 58 | 1354 | 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… | 98 | 1330 | 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 |
| vivoblueos/kernel BlueOS kernel is an operating system kernel written in Rust by Vivo, emphasizing security, lightweight design, and generality. It is POSIX-… | 62 | 1312 | 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 | 1301 | active |
| SWI-Prolog/swipl-devel SWI-Prolog is a comprehensive, open-source (BSD-2) implementation of the Prolog logic programming language, implemented in C and Prolog wit… | 100 | 1278 | 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 | 4499 | 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… | 78 | 1268 | active |
| dibyendumajumdar/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… | 26 | 1252 | 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 | 1248 | active |
| gfngfn/SATySFi SATySFi is a typesetting system built around a statically-typed, functional programming language, producing PDF documents. It combines a La… | 57 | 1247 | 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 | 4353 | maintenance |
| morganstanley/hobbes Hobbes is a strongly typed domain-specific language with an embedded JIT compiler and runtime for efficient dynamic expression evaluation, … | 77 | 1227 | active |
| GaloisInc/cryptol Cryptol is a domain-specific language and interpreter for specifying cryptographic algorithms, developed by Galois. It provides an executab… | 80 | 1220 | active |
| cc-tweaked/CC-Tweaked CC: Tweaked is a Minecraft mod that adds programmable computers, turtles, and peripherals controllable via Lua. It is an actively maintaine… | 94 | 1212 | 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… | 43 | 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 | 1202 | active |
| elonlit/Genesis Genesis is an interpreted, procedural, Turing-complete esoteric programming language whose keywords are written in Paleo-Hebrew characters,… | 23 | 1202 | stable |
| StepfenShawn/Cantonese Cantonese is a programming language whose keywords are written in Cantonese (Chinese), implemented with a Rust compiler and distributed via… | 77 | 1193 | active |
| CakeML/cakeml CakeML is a functional programming language based on a substantial subset of Standard ML, together with a formally verified compiler that i… | 95 | 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… | 83 | 1184 | 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 |
| NetLogo/NetLogo NetLogo is a widely used agent-based modeling environment written in Scala, letting users program turtles, patches, and links to simulate c… | 89 | 1179 | 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 |
| 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 |
| betaveros/noulith Noulith is a scripting programming language implemented in Rust, designed for quick-and-dirty scripts with heavy syntax sugar such as every… | 61 | 1164 | active |
| GaijinEntertainment/daScript Daslang (formerly daScript) is a high-performance, statically strong-typed scripting language built at Gaijin Entertainment for games and r… | 94 | 1162 | active |
| souffle-lang/souffle Soufflé is a Datalog variant language for expressing static analyses in Horn clauses, with records, strong typing, aggregation, and compone… | 64 | 1152 | 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… | 81 | 1148 | active |
| B-Lang-org/bsc The Bluespec Compiler (BSC) is a compiler, simulator, and toolchain for the Bluespec Hardware Description Language, supporting both Bluespe… | 82 | 1141 | 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… | 33 | 1140 | 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… | 71 | 1134 | 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… | 89 | 1132 | 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… | 97 | 1130 | active |
| brownplt/pyret-lang Pyret is an educational programming language that blends scripting, functional, and object-oriented styles, designed primarily for teaching… | 77 | 1130 | 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… | 94 | 1127 | 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 … | 34 | 1126 | 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… | 91 | 1124 | 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… | 57 | 1105 | 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… | 91 | 1099 | 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 | 1093 | 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… | 66 | 1092 | active |
| MLton/mlton MLton is a whole-program optimizing compiler for the Standard ML (SML97) programming language that generates small, fast standalone executa… | 68 | 1091 | 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 … | 89 | 1088 | 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… | 35 | 1084 | active |
| hirrolot/metalang99 Metalang99 is a header-only C99 preprocessor metaprogramming library that implements a functional programming language atop of C preprocess… | 54 | 1082 | active |
| gnolang/gno Gno is an interpreted, fully deterministic variant of Go with a stack-based virtual machine (GnoVM) for writing succinct, composable smart … | 100 | 1081 | active |
| mlochbaum/BQN BQN is a modern APL-derived array programming language with infix notation, built-in multidimensional array operations, and first-class fun… | 76 | 1075 | active |
| polysemy-research/polysemy Polysemy is a Haskell library for building higher-order, low-boilerplate effect systems (extensible effects), letting you write domain-spec… | 28 | 1072 | stable |
| Mercury-Language/mercury The Mercury logic/functional programming language system, including a self-hosting compiler with multiple backends targeting C, C#, and Jav… | 77 | 1071 | active |
| berry-lang/berry Berry is an ultra-lightweight dynamically typed embedded scripting language written in ANSI C99, designed for low-performance embedded devi… | 67 | 1055 | 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… | 54 | 1052 | stable |
| HVML/PurC PurC is the prime interpreter for HVML, a programmable markup (descriptive) programming language, implemented in C/C++. It is distributed b… | 64 | 1046 | 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 … | 30 | 1045 | active |
| 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 | 1042 | active |
| ccrma/chuck ChucK is an open-source, strongly-timed programming language for real-time sound synthesis and music creation, with a unique time-based con… | 73 | 1038 | active |
| quickjs-zh/QuickJS QuickJS is a small, embeddable JavaScript engine written in C supporting ES2023 (including modules, async generators, and proxies), with a … | 46 | 3512 | 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 | 3505 | maintenance |
| 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 | 3479 | maintenance |
| leafo/moonscript MoonScript is a programmer-friendly dynamic scripting language with significant whitespace, classes, and comprehensions that compiles to Lu… | 86 | 3461 | maintenance |
| facebook/starlark-rust A Rust implementation of the Starlark language, a deterministic Python3-inspired configuration language used by build systems like Bazel an… | 84 | 1018 | active |
| UniMath/UniMath UniMath is a Rocq (Coq) library that formalizes a substantial body of mathematics using the univalent point of view. It provides formalized… | 82 | 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… | 77 | 1014 | active |
| vekatze/neut Neut is a functional programming language with static, type-directed memory management that compiles to LLVM IR and native binaries. It off… | 94 | 1008 | active |
| Tencent/TencentKona-8 Tencent Kona 8 is a no-cost, production-ready distribution of OpenJDK 8 with long-term support and quarterly updates, serving as the defaul… | 92 | 1004 | stable |
| typelift/Swiftz Swiftz is a Swift library for functional programming that provides functional data structures, typeclasses, and idioms like Lists, Arrows, … | 23 | 3318 | 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 | 3310 | maintenance |
| ChaiScript/ChaiScript ChaiScript is a header-only embedded scripting language designed from the ground up for seamless integration with modern C++ applications. … | 74 | 3124 | maintenance |
| rubinius/rubinius Rubinius is a language platform and virtual machine that supports multiple programming languages, best known as an alternative implementati… | 41 | 3093 | 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 | 3040 | 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 | 3037 | maintenance |
| danielyxie/bitburner Bitburner is a programming-based incremental game with hacking and cyberpunk themes where players write JavaScript scripts to progress. Thi… | 26 | 2850 | 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 | 2791 | maintenance |
| 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 | 2687 | 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 | 2634 | maintenance |