domain: programming-languages
1849 products, primary matches first, then adoption-weighted; health v2 shown.
| Product | Health v2 | Stars | Maturity |
|---|---|---|---|
| open-watcom/open-watcom-v2 Open Watcom V2 is the continued development of the classic Watcom C/C++ and Fortran compiler toolchain, including compilers, linker, debugg… | 86 | 1257 | active |
| gustavoguichard/string-ts A TypeScript library providing common string manipulation functions (like replace, camelCase, deepCamelKeys) that preserve literal string t… | 67 | 1257 | active |
| michaelbull/kotlin-result A Kotlin multiplatform library providing a Result monad for modelling success or failure operations without exceptions. It supports Ok/Err … | 86 | 1255 | active |
| volarjs/volar.js Volar.js is a framework for building language tooling for embedded languages, powering language servers like Vue, Astro, and MDX. It provid… | 64 | 1255 | active |
| scalalandio/chimney Chimney is a battle-tested Scala library for boilerplate-free, type-safe data transformations between case classes and other types. It uses… | 93 | 1254 | stable |
| foonathan/lexy lexy is a parser combinator library for C++17 and onwards that lets you define grammars directly in C++ as a DSL. It generates hand-written… | 44 | 1254 | 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 |
| dotnet/dotnet dotnet/dotnet is the Virtual Monolithic Repository (VMR) containing all source code needed to build the .NET SDK, joining sources from repo… | 95 | 1251 | active |
| m-ou-se/inline-python A Rust library providing a python!{} macro that lets you write Python code directly inside Rust source files. It uses pyo3 to embed the Pyt… | 45 | 1250 | active |
| theMackabu/ant Ant is a lightweight, high-performance JavaScript runtime built from scratch in C, featuring its own hand-built engine (Ant Silver) with a … | 83 | 1249 | active |
| lmbelo/pyscripter PyScripter is a free, open-source, lightweight Python IDE for Windows built in Pascal, aiming to compete with commercial IDEs. It includes … | 55 | 1249 | 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 |
| Roave/BetterReflection Better Reflection is a PHP library providing an enhanced reflection API that can reflect on classes not yet loaded, from code strings, and … | 98 | 1247 | active |
| swiftlang/swift-java A set of tools and libraries from Apple's swiftlang org enabling Swift and Java interoperability. It includes the SwiftJava library with ma… | 89 | 1247 | 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 |
| KaisenAmin/c_std A pure C17 library that reimplements a large slice of the C++ Standard Library (containers, algorithms, smart pointers) plus Python-style u… | 67 | 1246 | active |
| AndreaCrotti/yasnippet-snippets The official collection of YASnippet snippets for Emacs, covering many programming languages and frameworks. It installs as an Emacs packag… | 55 | 1246 | stable |
| davidbonnet/astring Astring is a tiny, fast, dependency-free JavaScript code generator that produces JavaScript source code from ESTree-compliant ASTs. It supp… | 23 | 1246 | stable |
| zaach/jison Jison is a parser generator for JavaScript with an API similar to Bison, taking JSON or Bison-style grammar definitions and generating bott… | 32 | 4382 | maintenance |
| fscheck/FsCheck FsCheck is a property-based testing library for .NET, ported from Haskell's QuickCheck. Programmers specify properties that functions shoul… | 94 | 1245 | active |
| JetBrains/fernflower Fernflower is an analytical decompiler that converts Java bytecode (class, jar, zip files) back into readable Java source code. It is bundl… | 77 | 4371 | maintenance |
| colobot/colobot Colobot: Gold Edition is an open-source real-time strategy game where players program their units in CBOT, a language similar to C++ and Ja… | 66 | 1243 | active |
| foresterre/cargo-msrv cargo-msrv is a Cargo subcommand that finds, sets, shows, and verifies the Minimum Supported Rust Version (MSRV) of a Rust crate by testing… | 91 | 1241 | 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 |
| chaquo/chaquopy Chaquopy is an SDK that lets developers include Python code in Android apps. It integrates with Android Studio's Gradle build system and pr… | 74 | 1238 | active |
| lfortran/lfortran LFortran is a modern open-source interactive Fortran compiler built on LLVM that can execute code interactively like a REPL and also compil… | 100 | 1231 | active |
| 42school/norminette The official C code style linter (norminette) for 42 Network schools, enforcing the 42 coding standard on .c and .h files. It is a Python-b… | 62 | 1229 | active |
| fables-tales/rubyfmt rubyfmt is a fast, opinionated autoformatter for Ruby source code, written in Rust. It runs as a CLI tool and integrates with editors like … | 90 | 1228 | active |
| tbenthompson/cppimport cppimport is a Python library that lets you import C++ files directly as Python extension modules, compiling them transparently on first im… | 71 | 1228 | active |
| 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 |
| JetBrains/intellij-scala The official JetBrains plugin that adds Scala language support to IntelliJ IDEA and Android Studio. It provides coding assistance, navigati… | 77 | 1225 | active |
| hugoduncan/criterium Criterium is a benchmarking library for Clojure that measures expression computation time while addressing JVM benchmarking pitfalls. It ap… | 79 | 1224 | active |
| weavejester/cljfmt cljfmt is a tool for detecting and fixing formatting errors in Clojure code, with defaults based on the Clojure Style Guide and extensive c… | 96 | 1223 | active |
| holepunchto/bare Bare is a small, modular JavaScript runtime built on V8 (via libjs) and libuv, designed for desktop and mobile with embedding and cross-dev… | 98 | 1222 | active |
| lloydmeta/enumeratum Enumeratum is a type-safe, reflection-free enumeration library for Scala with exhaustive pattern match warnings and compile-time macro-base… | 86 | 1222 | stable |
| GaloisInc/cryptol Cryptol is a domain-specific language and interpreter for specifying cryptographic algorithms, developed by Galois. It provides an executab… | 80 | 1220 | active |
| clojure/core.match An optimized pattern matching library for Clojure and ClojureScript, part of the official org.clojure ecosystem. It compiles match expressi… | 59 | 1219 | stable |
| meriyah/meriyah Meriyah is a fully ECMAScript 2024-compliant, self-hosted JavaScript parser written in TypeScript that emits ESTree-compatible ASTs. It foc… | 99 | 1215 | stable |
| dtolnay/no-panic A Rust attribute macro that makes the compiler prove at link time that a marked function can never panic, failing compilation with a linker… | 91 | 1214 | stable |
| jhipster/prettier-java A Prettier plugin that adds opinionated code formatting support for the Java language. It parses Java source code and reprints it with cons… | 98 | 1212 | 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 |
| ankurp/Dollar Dollar is a Swift utility library providing functional programming helpers for arrays, dictionaries, and functions, inspired by Lo-Dash and… | 23 | 4238 | maintenance |
| OriginQ/QPanda-2 QPanda 2 is an open-source quantum computing framework by Origin Quantum for building, running, and optimizing quantum algorithms, with a C… | 23 | 1209 | active |
| FriendsOfPHP/proxy-manager-lts A fork of ocramius/proxy-manager that generates and manages OOP proxy classes in PHP, adding long-term support for a wider range of PHP ver… | 50 | 1208 | active |
| jmrozanec/cron-utils cron-utils is a Java library for defining, parsing, validating, and migrating cron expressions across different cron dialects (Unix, Quartz… | 48 | 1208 | active |
| veselink1/refl-cpp refl-cpp is a header-only C++17 library providing static, compile-time reflection and introspection. It encodes type metadata in the type s… | 23 | 1208 | stable |
| clj-python/libpython-clj A Clojure library providing deep bidirectional integration between the JVM and Python, allowing Clojure/Java code to call Python libraries … | 76 | 1206 | active |
| mbutterick/pollen Pollen is a book-publishing system written in Racket that treats documents as programs, letting authors embed a full programming language w… | 10 | 1205 | stable |
| MagicStack/immutables A high-performance immutable mapping type for Python based on a Hash Array Mapped Trie (HAMT). It is the implementation used in CPython's c… | 33 | 1204 | stable |
| Mathics3/mathics-core Mathics3 Core is the kernel of Mathics3, a free open-source computer algebra system with Mathematica-compatible syntax. It provides Python … | 86 | 1203 | 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 |
| scala-steward-org/scala-steward Scala Steward is a bot that automatically keeps Scala project dependencies and build plugins up-to-date by opening pull requests when new v… | 93 | 1201 | active |
| idanarye/rust-typed-builder A Rust proc-macro crate that derives a compile-time type-checked builder pattern for structs. It enforces at compile time that all mandator… | 83 | 1201 | active |
| ramsey/collection ramsey/collection is a PHP library for representing and manipulating collections such as arrays, maps, queues, and sets, inspired by the Ja… | 78 | 1200 | stable |
| ndmitchell/ghcid ghcid is a very simple Haskell development tool that runs GHCi and reloads on every file save, showing errors and warnings in a small conso… | 67 | 1195 | active |
| mckaywrigley/ai-code-translator A web application that uses AI (LLMs) to translate source code from one programming language to another. It is a Next.js/TypeScript app tha… | 30 | 4169 | maintenance |
| YPLiang19/Mango MangoFix is an iOS hotfix SDK built around a DSL whose syntax closely resembles Objective-C, allowing developers to replace any Objective-C… | 35 | 1194 | active |
| 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 |
| sasha-s/go-deadlock A Go library providing drop-in replacements for sync.Mutex and sync.RWMutex that detect deadlocks at runtime. It records lock ordering per … | 89 | 1191 | 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 |
| swiftlang/swift-corelibs-xctest The open-source Swift core library providing the XCTest unit testing framework for Swift packages and applications across all platforms Swi… | 74 | 1189 | active |
| leaningtech/cheerp-meta Cheerp is an LLVM/Clang-based C/C++ compiler toolchain that compiles C and C++ code to WebAssembly and JavaScript for use in browsers and N… | 42 | 1189 | active |
| meziantou/Meziantou.Analyzer Meziantou.Analyzer is a C# Roslyn analyzer distributed as a NuGet package that performs static analysis to detect bugs, security issues, an… | 96 | 1187 | 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 |
| DMOJ/online-judge DMOJ is a modern open-source online judge and contest platform for hosting programming competitions and practice problems. It supports sand… | 67 | 1182 | active |
| REditorSupport/vscode-R A Visual Studio Code extension providing R language support, including a language service (completion, diagnostics, formatting), R terminal… | 83 | 1179 | active |
| total-typescript/tsconfig A set of preset tsconfig. base configurations for TypeScript projects, packaged as an npm library that you extend via the 'extends' field. … | 62 | 1179 | active |
| peggyjs/peggy Peggy is a parser generator for JavaScript based on parsing expression grammars (PEG), producing fast parsers with excellent error reportin… | 78 | 1176 | active |
| leon-thomm/Ryven Ryven is a Qt-based visual node editor and framework for flow-based visual scripting in Python, letting users build dataflow graphs from cu… | 10 | 4093 | maintenance |
| 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 |
| google/capslock Capslock is a capability analysis CLI for Go packages that classifies which privileged operations a package can access via transitive calls… | 73 | 1175 | active |
| VerbalExpressions/CSharpVerbalExpressions A C# library that provides a fluent, chainable API for constructing regular expressions without writing raw regex syntax. It is part of the… | 67 | 1175 | stable |
| benjamn/ast-types A TypeScript library providing an Esprima-compatible implementation of the Mozilla JS Parser API abstract syntax tree type hierarchy. It of… | 100 | 1173 | stable |
| Hex Hexpm is the API server and website powering hex.pm, the package registry for the Erlang ecosystem (Elixir, Erlang, Gleam). It handles pack… | 77 | 1170 | active |
| DanielGavin/ols ols is a language server (LSP implementation) for the Odin programming language, providing completions, hover, go-to-definition, references… | 100 | 1169 | 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 |
| 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 |
| ProvableHQ/snarkVM snarkVM is a zero-knowledge virtual machine (zkVM) for Decentralized Private Computations, the core execution engine of the Aleo blockchain… | 91 | 1163 | 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 |
| replit/upm UPM is a universal package manager written in Go that provides a single consistent interface for managing packages across many programming … | 74 | 1162 | active |
| AliveToolkit/alive2 Alive2 is a set of C++ libraries and tools for automatically verifying LLVM code and optimization transformations using symbolic execution … | 71 | 1162 | active |
| rstudio/renv renv is an R package that creates reproducible project environments for R projects. It gives each project a private package library and rec… | 98 | 1161 | stable |
| formal-land/rocq-of-rust rocq-of-rust is a formal verification tool that translates Rust programs (from the compiler's THIR representation) into the Rocq proof assi… | 76 | 1161 | active |
| adoptium/temurin-build A collection of shell scripts and Dockerfiles for building OpenJDK binaries, defaulting to Eclipse Temurin distributions. It powers the Ado… | 68 | 1160 | active |
| scalameta/scalameta Scalameta is a Scala library for reading, analyzing, transforming, and generating Scala programs via lossless syntax trees and quasiquotes.… | 98 | 1156 | active |
| alibaba/coobjc coobjc is a coroutine library for Objective-C and Swift on iOS, adding async/await, generators, actor model, and tuple support similar to C… | 32 | 4012 | maintenance |
| fannheyward/coc-rust-analyzer A coc.nvim extension that integrates the rust-analyzer language server into Vim and Neovim. It provides Rust IDE features such as code comp… | 76 | 1155 | active |
| ncalc/ncalc NCalc is a fast, lightweight expression evaluator library for .NET that parses and evaluates mathematical and logical expressions at runtim… | 98 | 1154 | active |
| P-p-H-d/mlib M*LIB is a header-only C library providing generic, type-safe containers and data structures (arrays, lists, hashmaps, trees, queues, strin… | 83 | 1154 | active |
| bitflags/bitflags A Rust crate providing a macro to generate structures that behave like sets of bitflags with well-defined semantics and ergonomic APIs. It … | 90 | 1153 | stable |
| 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 |
| typetools/checker-framework The Checker Framework is a framework for pluggable type-checking in Java, enhancing Java's type system to detect and prevent bugs like null… | 100 | 1149 | stable |
| 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 |
| hazelgrove/hazel Hazel is a web-based live functional programming environment for an Elm/ML-like language built around typed holes, allowing typechecking, e… | 68 | 1142 | 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 |
| jspecify/jspecify JSpecify is a standard, tool-neutral set of Java annotations with precisely specified semantics for powering static analysis, currently foc… | 87 | 1137 | stable |