domain: programming-languages
1849 products, primary matches first, then adoption-weighted; health v2 shown.
| Product | Health v2 | Stars | Maturity |
|---|---|---|---|
| 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 |
| Rahix/avr-hal A Rust Hardware Abstraction Layer (HAL) implementing embedded-hal traits for AVR microcontrollers and common boards like Arduino. It provid… | 60 | 1638 | active |
| Tensegritics/ClojureDart ClojureDart is a Clojure dialect that compiles to Dart, enabling native mobile and desktop apps built with Flutter. It is production-ready … | 99 | 1636 | 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 |
| lunarmodules/busted busted is an elegant, easy-to-use unit testing framework for Lua (5.1+, LuaJIT, Moonscript, Terra) with a natural, readable spec style. It … | 76 | 1629 | active |
| pointfreeco/swift-tagged A Swift library providing a Tagged wrapper type that distinguishes otherwise interchangeable raw values (like Int or String) at compile tim… | 46 | 1629 | stable |
| AvdLee/Swift-Concurrency-Agent-Skill A packaged Agent Skill in the open Agent Skills/Agent Plugin format that injects expert Swift Concurrency knowledge into AI coding assistan… | 81 | 1628 | active |
| almond-sh/almond Almond is a Scala kernel for Jupyter, formerly known as jupyter-scala. It wraps the Ammonite Scala REPL with Jupyter integration, offering … | 84 | 1625 | active |
| numtide/flake-utils A collection of pure Nix utility functions for writing Nix flakes, with no dependency on nixpkgs. It provides helpers like eachSystem and e… | 23 | 1624 | stable |
| JetBrains/kotlin-web-site The source repository for the official Kotlin programming language website, kotlinlang.org, built with TypeScript. It contains the site's p… | 77 | 1622 | 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 |
| elixir-lang/ex_doc ExDoc is a documentation generation tool for Elixir and Erlang projects that produces HTML, Markdown (including llms.txt), and EPUB output … | 94 | 1613 | 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 |
| ndmitchell/hlint HLint is a command-line linter for Haskell source code that suggests improvements such as alternative functions, code simplifications, and … | 65 | 1608 | 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 |
| kevinmehall/rust-peg rust-peg is a Parsing Expression Grammar (PEG) parser generator for Rust, provided as a proc macro that builds a recursive descent parser f… | 74 | 1606 | stable |
| gigobyte/purify Purify is a functional programming library for TypeScript providing algebraic data types like Maybe, Either, and Result, plus runtime type … | 63 | 1603 | active |
| 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 |
| NixOS/nixfmt Nixfmt is the official formatter for the Nix language, implementing the standard Nix format. It is a command-line tool written in Haskell, … | 93 | 1593 | stable |
| yglukhov/nimpy nimpy is a Nim library that provides seamless bidirectional integration between Nim and Python. It lets you implement Python extension modu… | 72 | 1590 | stable |
| dotnetcore/Natasha Natasha is a Roslyn-based C# dynamic assembly building library that lets developers compile and load C# code at runtime, creating domains, … | 67 | 1586 | active |
| jeffijoe/typesync TypeSync is a CLI tool that scans your package. and installs missing TypeScript type definition (@types) packages for your dependencies. It… | 61 | 1584 | active |
| bodil/im-rs im-rs is a Rust library providing fast immutable (persistent) collection datatypes such as vectors, hash maps, and hash sets with structura… | 10 | 1583 | stable |
| 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 |
| dtolnay/quote A Rust crate providing the quote! macro for turning Rust syntax tree data structures into token streams of source code. It is primarily use… | 93 | 1577 | stable |
| pk-fr/yakpro-po YAK Pro - Php Obfuscator is a free, open-source CLI tool that obfuscates pure PHP source code using the PHP-Parser library. It removes comm… | 65 | 1574 | 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 |
| folke/lazydev.nvim A Neovim plugin that configures the LuaLS language server for editing Neovim Lua configs by lazily loading workspace libraries only for mod… | 51 | 1565 | active |
| ikvmnet/ikvm IKVM is an implementation of Java for the .NET platform, providing a JVM implemented in .NET along with a bytecode-to-IL converter. It lets… | 99 | 1562 | active |
| php-standard-library/php-standard-library PSL is a standard library for PHP inspired by Hack's HSL, providing consistent, well-typed APIs for collections, async, I/O, cryptography, … | 94 | 1561 | active |
| feenkcom/gtoolkit Glamorous Toolkit is the Moldable Development environment built on Pharo/Smalltalk, providing an integrated IDE with thousands of contextua… | 95 | 1558 | active |
| bitburner-official/bitburner-src Bitburner is a programming-based incremental game with hacking and cyberpunk themes, where players write JavaScript/TypeScript scripts to a… | 90 | 1555 | active |
| Moddable-OpenSource/moddable The Moddable SDK is a development toolkit and runtime for building IoT applications in standard JavaScript on low-cost microcontrollers lik… | 97 | 1551 | active |
| JuliaLang/PackageCompiler.jl A Julia package for creating custom system images, standalone 'app' executables, and relocatable C libraries from Julia code. It moves Juli… | 91 | 1551 | 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 |
| denoland/vscode_deno The official Visual Studio Code extension for Deno, powered by the Deno language server. It provides type checking, intellisense, linting, … | 92 | 1547 | active |
| pureconfig/pureconfig PureConfig is a Scala library that loads configuration files (HOCON, Java .properties, or JSON via Typesafe Config) into native Scala class… | 77 | 1540 | stable |
| colin-kiegel/rust-derive-builder A Rust crate providing a derive macro that automatically generates builder-pattern code for structs. It creates fluent setter methods and a… | 50 | 1539 | active |
| EsotericSoftware/reflectasm ReflectASM is a small Java library providing high-performance reflection through bytecode code generation. It generates accessor classes fo… | 34 | 1539 | stable |
| airbnb/ts-migrate ts-migrate is a CLI tool from Airbnb that converts JavaScript or partial TypeScript projects into compiling TypeScript projects using a plu… | 61 | 5617 | maintenance |
| kikito/inspect.lua A single-file Lua library that transforms any Lua value into a human-readable string representation, with special support for rendering tab… | 59 | 1538 | stable |
| dtolnay/typetag A Rust crate providing macros to make Serde trait objects serializable and deserializable. It lets you serialize &dyn Trait and round-trip … | 87 | 1537 | stable |
| phpstan/phpdoc-parser A PHP library that parses PHPDoc comments into an abstract syntax tree, supporting modern type syntax like generics, intersection types, ar… | 96 | 1533 | stable |
| JuliaSymbolics/Symbolics.jl Symbolics.jl is a fast, modern Computer Algebra System (CAS) written in Julia for high-performance symbolic mathematics. It supports symbol… | 94 | 1524 | active |
| VKCOM/kphp KPHP is a PHP compiler developed at VK.com that compiles a limited subset of PHP to C++ and then to a native binary running faster than pla… | 77 | 1523 | active |
| dtolnay/watt Watt is a Rust runtime for executing procedural macros that have been compiled ahead-of-time to WebAssembly. It lets downstream users run m… | 65 | 1523 | 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 |
| JuliaPy/PyCall.jl PyCall.jl is a Julia package that lets Julia code import Python modules, call Python functions, and share data structures with Python witho… | 66 | 1512 | stable |
| 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 |
| hirrolot/datatype99 A single-header C99 library providing safe algebraic data types (sum types/tagged unions) with exhaustive pattern matching and compile-time… | 28 | 1508 | stable |
| goproxy/goproxy A minimalist Go library implementing the GOPROXY protocol as an HTTP handler, letting developers build their own Go module proxy servers. I… | 90 | 1507 | active |
| clojure/core.logic A logic programming library for Clojure and ClojureScript implementing miniKanren with Prolog-like relational and constraint logic programm… | 59 | 1504 | stable |
| sindresorhus/pify A small JavaScript library that converts callback-style functions or entire modules into Promise-based APIs. It offers options like multiAr… | 65 | 1503 | stable |
| evant/kotlin-inject kotlin-inject is a compile-time dependency injection library for Kotlin that generates component implementations via KSP annotations. It pr… | 59 | 1503 | active |
| kokke/tiny-regex-c A small, portable regular expression library written in C, supporting a subset of Python's re-module syntax. It is designed for minimal res… | 32 | 1500 | stable |
| rigetti/pyquil PyQuil is a Python library for building quantum programs in the Quil instruction language developed by Rigetti Computing. It generates, com… | 94 | 1497 | active |
| tjanczuk/edge Edge.js is an interop library that lets Node.js and .NET (CLR, .NET Core, Mono) code call each other in-process, on Windows, macOS, and Lin… | 23 | 5436 | maintenance |
| mfussenegger/nvim-jdtls A Neovim plugin providing extensions for the built-in LSP client to work with the Eclipse JDT Language Server for Java. It adds Java-specif… | 60 | 1495 | active |
| zzet/gortex Gortex is a high-performance code-intelligence engine that indexes codebases into a persistent knowledge graph using tree-sitter AST analys… | 77 | 1494 | active |
| SteveDunn/Vogen Vogen is a C# source generator and analyzer that converts primitives into strongly-typed value objects representing domain concepts. It emi… | 97 | 1492 | active |
| tree-sitter/py-tree-sitter Python bindings to the Tree-sitter incremental parsing library, exposing Parser, Tree, Node, and Query APIs for building concrete syntax tr… | 92 | 1491 | active |
| scalameta/scalafmt Scalafmt is a code formatter for Scala that enforces consistent style across a codebase. It is configurable via a .scalafmt.conf HOCON file… | 97 | 1488 | stable |
| ninia/jep Jep is a library that embeds CPython in the Java Virtual Machine through JNI, allowing Java applications to run Python code and use Python … | 90 | 1488 | active |
| soutaro/steep Steep is a static type checker for Ruby based on gradual typing, using RBS signature files and inline annotations. It is distributed as a R… | 79 | 1488 | 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 |
| live-codes/livecodes LiveCodes is a feature-rich, open-source, client-side code playground supporting 90+ languages and frameworks including React, Vue, Svelte,… | 94 | 1487 | active |
| robpike/ivy Ivy is an interpreter for an APL-like array language that works as an interactive calculator. It is written in Go and supports bignum arith… | 75 | 1485 | active |
| cabinpkg/cabin Cabin is an opinionated package manager and build system for C and C++ projects, inspired by Rust's Cargo. It uses a declarative cabin.toml… | 97 | 1484 | active |
| corrosion-rs/corrosion Corrosion is a tool for integrating Rust into existing CMake projects, automatically importing Rust executables, static libraries, and dyna… | 76 | 1484 | 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 |
| bazel-contrib/rules_go Official Bazel rules for building, testing, and linking Go code, including cgo support, protobuf compilation, and Go SDK toolchain manageme… | 99 | 1482 | active |
| 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 |
| slevomat/coding-standard A collection of PHP_CodeSniffer sniffs for PHP covering functional safety, dead code detection, and code formatting rules. Many sniffs supp… | 97 | 1480 | active |
| mpusz/mp-units mp-units is a modern C++20/23/26 library providing compile-time-safe quantities and units of measurement, built on the ISO 80000 Internatio… | 75 | 1465 | active |
| nix-community/nixd nixd is a feature-rich language server for the Nix language, built in C++ on top of the Nix libraries. It provides editor intelligence such… | 90 | 1463 | active |
| digego/extempore Extempore is a live-coding environment for music and audio that pairs a Scheme interpreter with xtlang, a statically-typed lisp compiled to… | 95 | 1462 | active |
| ajalt/fuckitpy FuckIt.py is a Python library that silences errors by rewriting code via AST manipulation so scripts keep running despite exceptions. It ca… | 32 | 5289 | maintenance |
| ring-lang/ring Ring is a simple, lightweight, embeddable, multi-paradigm dynamic programming language implemented in C, supporting imperative, procedural,… | 90 | 1460 | active |
| lloydmeta/frunk Frunk is a Rust library providing functional programming and type-level programming tools such as HLists, Coproducts, Generic/LabelledGener… | 83 | 1459 | stable |
| dominikh/go-mode.el go-mode is an Emacs major mode for editing Go source code, a complete rewrite of the mode originally shipped with Go. It provides syntax hi… | 70 | 1455 | stable |
| PyCQA/pyflakes Pyflakes is a fast, passive checker for Python source files that detects errors like undefined names and unused imports by parsing the AST … | 44 | 1455 | active |
| evant/gradle-retrolambda A Gradle plugin that integrates Retrolambda to backport Java 8 lambda expressions to Java 6/7 bytecode, including Android projects. It comp… | 23 | 5253 | maintenance |
| CopernicaMarketingSoftware/PHP-CPP PHP-CPP is a C++ library for building native PHP extensions without needing deep knowledge of the Zend engine internals. It uses C++11 feat… | 89 | 1452 | stable |
| standard-things/esm A zero-dependency ECMAScript module loader for Node.js that enables ESM syntax (import/export, import.meta, dynamic import) in Node 6+ with… | 10 | 5241 | maintenance |
| ipetkov/crane Crane is a Nix library for building Cargo (Rust) projects with incremental artifact caching so dependencies are built only once. It provide… | 98 | 1450 | active |
| MagicStack/MagicPython MagicPython is a syntax highlighting package for Python 3 (with Python 2 support) built for Sublime Text, Atom, and Visual Studio Code. It … | 23 | 1443 | stable |
| nvzqz/divan Divan is a fast and simple benchmarking library for Rust projects, used via a #[divan::bench] attribute and cargo bench. It offers allocati… | 70 | 1442 | active |
| atoum/atoum atoum is a modern, standalone unit testing framework for PHP, distributed as a single PHAR archive. It offers fluent, natural-language-styl… | 10 | 1442 | 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 |
| dave/dst A Go library providing a Decorated Syntax Tree (dst) that allows manipulation of Go source code with perfect fidelity, preserving comments,… | 67 | 1438 | stable |
| aitjcize/cppman A command-line tool that provides C++ 98/11/14/17/20 manual pages on Linux and macOS, sourced from cplusplus.com and cppreference.com. It m… | 84 | 1436 | active |
| joaotavora/sly SLY is a Common Lisp IDE for Emacs, a fork of SLIME with improved UX. It provides a full-featured REPL, live code annotations (stickers), f… | 66 | 1431 | active |
| 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 |
| rust-lang/rust-playground The Rust Playground is a web service that lets users write, compile, and run Rust code in the browser without installing anything. It suppo… | 77 | 1426 | active |
| yinwang0/pysonar2 PySonar2 is a Java library that performs interprocedural type inference and semantic indexing of Python codebases. The resulting index powe… | 64 | 1425 | active |
| donno2048/snake A 54-byte snake game written in x86 assembly for DOS, created as a code-golfing exercise in extreme binary size optimization. It includes a… | 72 | 1424 | active |