domain: programming-languages
1849 products, primary matches first, then adoption-weighted; health v2 shown.
| Product | Health v2 | Stars | Maturity |
|---|---|---|---|
| madnight/githut A web application that visualizes GitHub language statistics, showing top programming languages, licenses, and pull request activity over t… | 32 | 1005 | maintenance |
| koka-lang/koka Koka is a strongly typed functional programming language with a polymorphic effect type system and algebraic effect handlers, developed as … | 90 | 4046 | experimental |
| microsoft/verona Project Verona is a Microsoft research programming language exploring a concurrency model based on concurrent ownership, implemented in C++… | 63 | 3727 | 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 | 3613 | experimental |
| GetFirefly/firefly Firefly is an alternative implementation of the BEAM virtual machine, including a compiler and runtime for BEAM languages like Erlang and E… | 10 | 3583 | experimental |
| Kotlin/kotlin-lsp The official Kotlin Language Server implementing the Language Server Protocol, built on IntelliJ IDEA and the IntelliJ Kotlin plugin. It sh… | 81 | 3487 | experimental |
| microsoft/devicescript DeviceScript is a TypeScript-based language and toolchain from Microsoft Research for programming low-resource microcontrollers like ESP32 … | 10 | 3447 | experimental |
| jank-lang/jank jank is a Clojure dialect compiled to native code via LLVM, with seamless C++ interop including templates, virtual functions, exceptions, a… | 67 | 3319 | experimental |
| Rust-GPU/rust-gpu A Rust compiler backend that emits SPIR-V, making Rust a first-class language for writing GPU shaders targeting Vulkan. It lets developers … | 84 | 3308 | experimental |
| codemix/ts-sql A SQL database implemented entirely in TypeScript type annotations, operating purely at the type level with no runtime code. It supports a … | 32 | 3301 | experimental |
| theseus-os/Theseus Theseus is a research operating system written from scratch in Rust that explores intralingual design, shifting OS responsibilities like re… | 32 | 3182 | 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 | 3126 | experimental |
| hxu296/tariff TARIFF is a parody Python package that imposes 'tariffs' on imports, artificially slowing down specified packages by a configurable percent… | 27 | 3119 | experimental |
| NVlabs/cuda-oxide cuda-oxide is an experimental rustc codegen backend that compiles Rust GPU kernels directly to CUDA PTX, letting you write SIMT device code… | 77 | 3097 | experimental |
| SerenityOS/jakt Jakt is a memory-safe systems programming language developed by the SerenityOS project, featuring automatic reference counting, strong typi… | 76 | 2989 | 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… | 77 | 2933 | experimental |
| anthropics/claudes-c-compiler A C compiler written entirely from scratch in Rust by Claude Opus 4.6, with no external toolchain dependencies. It includes a frontend, SSA… | 45 | 2771 | experimental |
| kaleidawave/ezno Ezno is an experimental TypeScript/JavaScript type checker and compiler written in Rust, usable as a CLI or library. It features a sound im… | 61 | 2735 | experimental |
| marcj/TypeRunner TypeRunner is a high-performance TypeScript type checker written in C++ that compiles TypeScript to bytecode and executes it in a custom vi… | 37 | 2657 | experimental |
| itsmattkc/dotnet9x A backport of the .NET Framework 2.0-3.5 (CLR 2.0) to Windows 95/98/ME, which Microsoft never officially supported. It packages installers … | 28 | 2591 | experimental |
| carlini/printf-tac-toe A C program that plays tic-tac-toe using a single call to printf, written for the International Obfuscated C Code Contest 2020. It encodes … | 32 | 2531 | experimental |
| suptejas/fleet Fleet is a blazing fast build tool for Rust that claims up to 5x faster compilation than cargo. It works by integrating existing Rust ecosy… | 67 | 2421 | 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… | 35 | 2415 | experimental |
| jfecher/ante Ante is a low-level functional systems programming language exploring safe shared mutability, algebraic effect handlers, ownership/borrowin… | 67 | 2335 | experimental |
| chinedufn/percy Percy is a collection of Rust libraries for building frontend browser apps with Rust and WebAssembly, centered on an html! macro that gener… | 77 | 2315 | 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… | 88 | 2254 | experimental |
| MaikKlein/unreal-rust An opinionated Rust integration for Unreal Engine 5, delivered as a plugin that lets developers write gameplay code in Rust with an ECS, ho… | 64 | 2248 | experimental |
| samuelmarina/is-even A novelty npm package that returns true if a given number is even, implemented as a deliberately over-engineered joke library. It is part o… | 32 | 2225 | experimental |
| darklang/dark Darklang is an integrated functional programming language, editor, and cloud infrastructure for building backends, APIs, and CLIs without s… | 86 | 2169 | experimental |
| kyren/piccolo Piccolo is an experimental stackless Lua interpreter implemented in pure Rust, designed to safely run and sandbox untrusted Lua scripts. It… | 37 | 2148 | 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… | 67 | 2129 | experimental |
| touilleMan/godot-python A plugin that adds Python as a scripting language for the Godot game engine, letting developers write game scripts in Python instead of GDS… | 55 | 2088 | experimental |
| FractalFir/rustc_codegen_clr An experimental Rust compiler backend plugin that transpiles Rust code into .NET CIL assemblies or C source files. It includes a Rust/.NET … | 49 | 2051 | experimental |
| expert-lsp/expert Expert is the official Language Server Protocol (LSP) implementation for the Elixir programming language, merging the community ElixirLS, L… | 89 | 2043 | experimental |
| mypyc/mypyc Mypyc is a compiler that translates type-annotated Python modules into fast C extensions, using mypy for type checking and inference. It po… | 32 | 2019 | experimental |
| ValeLang/Vale The compiler (valec) for Vale, an experimental statically-typed systems programming language that compiles ahead-of-time to LLVM. Vale aims… | 23 | 2008 | experimental |
| google/rune Rune is an experimental, Python-inspired systems programming language from Google that compiles to C and emphasizes memory safety and const… | 74 | 1929 | experimental |
| microsoft/windows-drivers-rs A collection of Rust crates from Microsoft that enable developing Windows drivers (WDM, KMDF, UMDF) in Rust. It provides build tooling, FFI… | 80 | 1915 | 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… | 59 | 1905 | experimental |
| lamdu/lamdu Lamdu is a next-generation live programming environment combining a projectional/structure editor with its own programming language, offeri… | 67 | 1899 | 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 |
| rust-lang/polonius Polonius is a core library from the Rust project that models and implements the Rust borrow checker analysis. It supports multiple algorith… | 67 | 1737 | experimental |
| argotorg/fe Fe is a statically typed, Rust-like programming language for the Ethereum Virtual Machine (EVM) featuring explicit effects, message-passing… | 94 | 1728 | experimental |
| buyukakyuz/corroded corroded is a satirical Rust crate offering deliberately unsafe utilities (null dereferencing, transmutation, aliasing mutable references, … | 44 | 1727 | 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. … | 59 | 1696 | experimental |
| openprose/prose OpenProse is a declarative programming language for standing AI agent work, authored as Markdown contracts (*.prose.md) that declare desire… | 82 | 1688 | experimental |
| FastVM/minivm MiniVM is a small but optimizing virtual machine and runtime written in C11, featuring a just-in-time compiler built on Cuik's TB backend. … | 34 | 1666 | experimental |
| lcompilers/lpython LPython is an ahead-of-time Python compiler written in C++ that compiles a subset of Python to fast native binaries via LLVM, C, C++, and W… | 48 | 1630 | experimental |
| dotnet/runtimelab dotnet/runtimelab is a sandbox repository for experimenting with new .NET runtime features and ideas that may eventually be upstreamed into… | 77 | 1616 | experimental |
| BAndysc/AvaloniaVisualBasic6 A recreation of the classic Visual Basic 6 IDE and language written in C# using the Avalonia UI framework. It supports a visual designer, V… | 12 | 1590 | 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 | 1578 | 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 |
| andrei-markeev/ts2c A transpiler that converts JavaScript/TypeScript source code into readable C89 code. It was created to let developers program low-power IoT… | 56 | 1377 | experimental |
| bramblex/jsjs A simple meta-circular JavaScript interpreter written in JavaScript, intended as a toy/educational project demonstrating interpreter design… | 32 | 1349 | experimental |
| Hans-Halverson/brimstone Brimstone is a JavaScript engine written from scratch in Rust, implementing nearly the full ECMAScript specification (ES2026) including a b… | 76 | 1317 | experimental |
| RealNeGate/Cuik Cuik is a modern C11 compiler toolchain built as a fast alternative to GCC, MSVC, and LLVM. It features a modular design where the C11 fron… | 77 | 1293 | 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 … | 35 | 1291 | experimental |
| nix-community/dream2nix dream2nix is a modular Nix framework that automates reproducible packaging of projects from various programming language ecosystems (e.g. N… | 76 | 1265 | experimental |
| JCluzet/Grademe Grademe is a browser-based coding practice platform with a built-in IDE, real terminal, and instant byte-level grading of exercises, primar… | 77 | 1231 | experimental |
| maximecb/noisecraft NoiseCraft is a browser-based visual programming language and platform for sound synthesis and music making, inspired by PureData and Max/M… | 32 | 1217 | experimental |
| lexi-lambda/hackett Hackett is an experimental, statically typed, pure, lazy functional programming language implemented as a Racket #lang, combining Haskell-s… | 32 | 1205 | experimental |
| mvel/mvel MVEL (MVFLEX Expression Language) is an embeddable expression language and runtime for the Java platform, with MVEL3 transpiling expression… | 77 | 1203 | 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… | 64 | 1200 | experimental |
| moonbitlang/core moonbitlang/core is the standard library for the MoonBit programming language, released alongside the compiler. It provides builtin types, … | 71 | 1197 | experimental |
| rue-language/rue Rue is an experimental systems programming language, implemented in Rust, that explores memory safety without garbage collection while aimi… | 64 | 1184 | experimental |
| zubanls/zuban Zuban is a high-performance Python type checker and Language Server written in Rust by the author of Jedi. It offers a Pyright-like checkin… | 90 | 1175 | experimental |
| ffwff/lilith Lilith is a hobby x86-64 operating system with a POSIX-like kernel and userspace written in Crystal. It includes a garbage collector, FAT16… | 23 | 1172 | experimental |
| evincarofautumn/kitten Kitten is a statically typed, stack-based concatenative programming language with Hindley-Milner type inference and an effect/permission sy… | 32 | 1168 | experimental |
| zesterer/tao Tao is a statically-typed functional programming language implemented in Rust, featuring generics, typeclasses, sum types, pattern matching… | 38 | 1161 | experimental |
| rust-lang/rustc_codegen_gcc A GCC-based codegen backend for rustc that uses libgccjit for ahead-of-time compilation of Rust code. It allows compiling Rust on platforms… | 77 | 1160 | experimental |
| emexlab/Nyxian Nyxian is a native iOS IDE that lets developers write, compile, sign, and run Swift, C, Objective-C, and C++ apps entirely on an iPhone or … | 86 | 1150 | 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… | 77 | 1147 | 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… | 76 | 1143 | 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… | 48 | 1143 | 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 | 1143 | experimental |
| ericelliott/rtype Rtype is a structural type notation for JavaScript with a TypeScript-inspired syntax, designed primarily for API documentation and embeddab… | 32 | 1120 | experimental |
| drogus/jawsm Jawsm is an experimental JavaScript to WebAssembly compiler written in Rust that produces standalone WASM binaries executable without bundl… | 29 | 1102 | experimental |
| vrtbl/passerine Passerine is a small, extensible functional scripting language with a VM written in Rust, featuring pattern matching, structural types, fib… | 58 | 1093 | experimental |
| tvlfyi/tvix Tvix is a Rust implementation of the Nix language and package manager, developed by TVL as an alternative to the C++ Nix. It includes compo… | 75 | 1085 | experimental |
| webyrd/Barliman Barliman is a prototype smart text editor that performs real-time program synthesis using relational interpreters. Given tests and a partia… | 76 | 1081 | experimental |
| rust-lang/portable-simd The official Rust project group repository developing a portable SIMD API for the Rust standard library, exposing architecture-independent … | 75 | 1072 | experimental |
| ShivamSarodia/ShivyC ShivyC is a hobby C compiler written in Python 3 that supports a subset of the C11 standard and generates x86-64 Linux binaries with some o… | 37 | 1064 | experimental |
| rikukissa/typehole Typehole is a Visual Studio Code extension that automatically generates TypeScript interfaces from runtime values. It bridges serializable … | 23 | 1049 | experimental |
| ldionne/dyno Dyno is a C++17 header-only library for runtime polymorphism via type erasure, allowing non-intrusive interface definitions without inherit… | 32 | 1043 | experimental |
| snakster/cpp.react C++React is a reactive programming library for C++ that enables declarative definition of data dependencies between state variables and eve… | 32 | 1043 | 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… | 76 | 1031 | experimental |
| azac/cobol-on-wheelchair COBOL on Wheelchair is a micro web-framework written in COBOL that runs via CGI on an Apache server with GNU Cobol. It is a novelty project… | 32 | 1031 | 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… | 27 | 1005 | experimental |
| CoatiSoftware/Sourcetrail Sourcetrail is a free, open-source, cross-platform interactive source code explorer that visualizes C, C++, Java, and Python codebases to h… | 10 | 16489 | abandoned |
| astral-sh/rye Rye is an all-in-one Python project and package manager written in Rust that handles Python installation bootstrapping, pyproject.toml-base… | 10 | 14164 | abandoned |
| dotnet/coreclr CoreCLR is the execution runtime for .NET Core, containing the garbage collector, JIT compiler, primitive data types, and low-level base cl… | 10 | 12766 | abandoned |
| square/javapoet JavaPoet is a Java API for programmatically generating .java source files, useful for annotation processing and generating code from metada… | 10 | 10846 | 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 | 10492 | abandoned |
| github/semantic A Haskell library and command-line tool from GitHub for parsing, analyzing, and comparing source code across many languages, producing pars… | 10 | 9045 | abandoned |
| Masterminds/glide Glide is a vendor package manager for Go, managing a project's vendor directory with semantic version constraints defined in glide.yaml. It… | 23 | 8087 | 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 | 7585 | abandoned |
| witheve/Eve Eve is an experimental human-first programming language and IDE built around literate programming, where code is embedded in documents and … | 23 | 7223 | abandoned |
| facebook/pyre-check Pyre is a performant, PEP 484-compliant static type checker for Python that provides incremental checking of large codebases, and it ships … | 10 | 7170 | abandoned |
| JetBrains/kotlin-native Kotlin/Native is the Kotlin compiler backend that compiles Kotlin code to native binaries via LLVM, with interop for C and Objective-C. Thi… | 10 | 6974 | abandoned |
| rui314/8cc 8cc is a small, self-hosting C compiler targeting x86-64 Linux, aiming to support C11 features with concise, readable source code. It is no… | 32 | 6412 | abandoned |