domain: compilers
505 products, primary matches first, then adoption-weighted; health v2 shown.
| Product | Health v2 | Stars | Maturity |
|---|---|---|---|
| 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 |
| truffleruby/truffleruby TruffleRuby is a high-performance implementation of the Ruby programming language built on GraalVM's Truffle framework. It aims for full MR… | 89 | 3220 | 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 |
| konsoletyper/teavm TeaVM is an ahead-of-time compiler that translates Java bytecode (from Java, Kotlin, or Scala) into JavaScript, WebAssembly, or C. It ships… | 91 | 3098 | 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 |
| TinyCC/tinycc TinyCC (tcc) is a very small and fast ANSI C compiler that can compile, link, and run C code directly, including as shebang-style C scripts… | 75 | 3019 | active |
| 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 |
| jbevain/cecil Mono.Cecil is a C# library for inspecting, modifying, and generating .NET assemblies in ECMA CIL form. It provides a powerful object model … | 41 | 2994 | stable |
| ashmind/SharpLab SharpLab is a .NET code playground (source of sharplab.io) that shows intermediate steps and results of code compilation, including decompi… | 34 | 2974 | active |
| salsa-rs/salsa Salsa is a Rust framework for on-demand, incrementalized computation, where programs are defined as memoized queries over inputs. It intell… | 98 | 2948 | 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 |
| mstorsjo/llvm-mingw A reproducibly built LLVM/Clang/LLD based mingw-w64 toolchain for compiling Windows binaries. It provides cross-compilers and native toolch… | 99 | 2933 | active |
| TranscryptOrg/Transcrypt Transcrypt is a Python 3.9 to JavaScript compiler that precompiles Python source into lean, readable, fast JavaScript for use in the browse… | 80 | 2918 | 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 |
| rui314/chibicc chibicc is a small C compiler written in C that implements most of the C11 standard and can compile real-world programs like Git, SQLite, a… | 32 | 11855 | maintenance |
| 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 |
| 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 |
| teal-language/tl tl is the compiler and type checker for Teal, a statically-typed dialect of Lua that adds type annotations, generics, and records while com… | 78 | 2814 | active |
| 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 |
| WAVM/WAVM WAVM is a WebAssembly virtual machine designed for non-browser applications, using LLVM to JIT-compile WebAssembly to near-native machine c… | 70 | 2775 | active |
| manifold-systems/manifold Manifold is a Java compiler plugin that extends the Java language at compile time with features like extension methods, properties, operato… | 76 | 2759 | active |
| 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 |
| bytecodealliance/javy Javy is a JavaScript-to-WebAssembly toolchain that compiles JavaScript source into small Wasm modules executed in an embedded JS runtime. I… | 97 | 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 |
| cc65/cc65 cc65 is a complete cross-development suite for 65(C)02-based systems, including a C compiler, macro assembler, linker, archiver, and simula… | 67 | 2687 | active |
| vnmakarov/mir MIR is a lightweight JIT compiler project built around a strongly typed Medium Internal Representation, with a C11 JIT compiler and interpr… | 62 | 2647 | 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 |
| TypeScriptToLua/TypeScriptToLua TypeScriptToLua is a generic TypeScript to Lua transpiler that lets developers write code in TypeScript and compile it to Lua. It targets a… | 73 | 2538 | 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 |
| crosstool-ng/crosstool-ng Crosstool-NG is a versatile toolchain generator that builds cross-compilation toolchains (compiler, linker, libraries) for many target arch… | 88 | 2506 | active |
| KhronosGroup/SPIRV-Cross SPIRV-Cross is a tool and C++ library from Khronos for parsing SPIR-V binaries, performing reflection, and decompiling them back to high-le… | 66 | 2493 | stable |
| peachpiecompiler/peachpie PeachPie is an open-source PHP compiler built on Microsoft Roslyn that compiles PHP code to .NET and .NET Core, with a reimplemented PHP ru… | 67 | 2485 | 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 |
| mirage-project/mirage Mirage Persistent Kernel (MPK) is a compiler and runtime that transforms multi-GPU LLM inference into a single fused megakernel, reducing i… | 83 | 2452 | active |
| thheller/shadow-cljs shadow-cljs is a build tool and compiler for ClojureScript that focuses on simplicity, good defaults, and seamless npm integration. It supp… | 77 | 2405 | active |
| google/souper Souper is a superoptimizer for LLVM IR that uses SMT solvers (like Z3) to synthesize shorter, equivalent instruction sequences. It identifi… | 10 | 2389 | 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 |
| herumi/xbyak Xbyak is a C++ header-only JIT assembler for generating x86/x64 machine code at runtime using Intel/MASM-like mnemonics. It supports instru… | 77 | 2269 | active |
| llvm/circt CIRCT (Circuit IR Compilers and Tools) is an LLVM/MLIR-based infrastructure project for building hardware design compilers and tools. It pr… | 95 | 2226 | active |
| Sergio0694/PolySharp PolySharp is a Roslyn source generator that emits source-only polyfill types (nullability attributes, Index/Range, records support types, e… | 76 | 2222 | active |
| AbsInt/CompCert CompCert is a formally verified C compiler whose correctness is machine-checked with the Coq proof assistant, guaranteeing generated assemb… | 78 | 2215 | active |
| elliotchance/c2go c2go is a command-line transpiler that converts C source code into Go source code using the clang AST. It aims to be a repeatable, predicta… | 67 | 2184 | active |
| ryanmjacobs/c A small shell script that compiles and executes C (and C++) files in a single command, supporting shebang-style executable C scripts. It wo… | 63 | 2182 | active |
| google/shaderc Shaderc is a collection of tools, libraries, and tests for compiling GLSL and HLSL shaders to SPIR-V for Vulkan. It includes glslc, a GCC/C… | 77 | 2178 | stable |
| zesterer/ariadne Ariadne is a Rust crate for producing fancy, colored compiler diagnostics and error reports with inline and multi-line labels, multi-file e… | 10 | 2157 | active |
| rust-lang/cc-rs cc-rs is a Rust library for Cargo build scripts that compiles C/C++/assembly/CUDA source files into a static archive to link into Rust crat… | 95 | 2150 | stable |
| serge-sans-paille/pythran Pythran is an ahead-of-time compiler that translates a subset of Python, focused on scientific computing with NumPy, into fast native C++ e… | 77 | 2141 | active |
| sbcl/sbcl Steel Bank Common Lisp (SBCL) is a high-performance open-source compiler and runtime system for ANSI Common Lisp. It includes an interactiv… | 98 | 2137 | stable |
| 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 |
| rust-lang/rustc_codegen_cranelift An alternative codegen backend for the Rust compiler (rustc) built on the Cranelift code generator. It aims to significantly speed up debug… | 86 | 2129 | active |
| google/traceur-compiler Traceur is a JavaScript.next-to-JavaScript-of-today compiler that transpiles ES6 and experimental ES.next features into JavaScript that run… | 10 | 8127 | maintenance |
| blade-build/blade-build Blade is a declarative, high-performance build system from Tencent optimized for large-scale monorepo development, primarily for C/C++ but … | 97 | 2105 | active |
| wdanilo/crabtime Crabtime is a Rust crate providing a powerful macro that generates code by evaluating inline Rust logic at compile time. It enables metapro… | 49 | 2049 | 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 |
| AdaptiveCpp/AdaptiveCpp AdaptiveCpp (formerly hipSYCL/Open SYCL) is an independent, community-driven C++ compiler platform for heterogeneous programming models inc… | 75 | 1928 | 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 |
| 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 |
| rakudo/rakudo Rakudo is the primary, production-ready compiler implementation of the Raku programming language, targeting the MoarVM, JVM, and JavaScript… | 99 | 1896 | stable |
| llvm/torch-mlir Torch-MLIR is a compiler project providing first-class translation of PyTorch programs into the MLIR compiler ecosystem. It lets hardware v… | 67 | 1892 | 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 |
| egraphs-good/egg egg is a Rust library implementing e-graphs and equality saturation, providing a fast and flexible data structure for compactly representin… | 74 | 1822 | active |
| lifting-bits/remill Remill is a C++ library that statically translates machine code instructions (x86, amd64, AArch64, SPARC32/64) into LLVM bitcode. It is des… | 80 | 1808 | active |
| vgvassilev/cling Cling is an interactive C++ interpreter built on top of Clang and LLVM, implementing a read-eval-print loop (REPL) for rapid C++ developmen… | 76 | 1808 | active |
| Vexu/arocc Aro is a modern C compiler written in Zig that aims for fast compilation, low memory usage, and high-quality diagnostics, with support for … | 76 | 1802 | 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 |
| bytecodealliance/wasm-tools A Bytecode Alliance project providing a CLI and Rust libraries for low-level manipulation of WebAssembly modules. It supports validation, p… | 95 | 1782 | 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 |
| graalvm/graalvm-ce-builds GraalVM CE builds is the official distribution repository of GraalVM Community Edition binaries built on OpenJDK. GraalVM is a high-perform… | 95 | 1748 | 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 |
| tgrysztar/fasm flat assembler (fasm) is a fast self-assembling assembler for x86 and x86-64 that generates executable files directly. This repository hold… | 63 | 1739 | stable |
| Zaneham/Booth Booth is an open-source compiler that takes CUDA C, HIP, or Triton kernel source and emits binaries for AMD RDNA 2/3/4 GPUs, NVIDIA PTX, Te… | 77 | 1731 | active |
| jzimmerman/langcc langcc is a next-generation compiler compiler that generates efficient linear-time parsers and full compiler frontends (AST definitions, tr… | 32 | 1728 | stable |
| 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 |
| EnzymeAD/Enzyme Enzyme is a high-performance automatic differentiation plugin for LLVM and MLIR that computes derivatives and gradients of arbitrary existi… | 95 | 1679 | active |
| 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 |
| csmith-project/creduce C-Reduce is a command-line tool that automatically reduces large C or C++ programs that trigger a property of interest (such as a compiler … | 32 | 1667 | stable |
| 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 |
| nickdiego/compiledb A Python CLI tool that generates Clang's JSON Compilation Database (compile_commands.) for GNU make-based build systems. It parses compile … | 78 | 1653 | active |
| WASI SDK WASI SDK is a WebAssembly C/C++ toolchain that bundles upstream Clang/LLVM with the wasi-libc sysroot, configured to target wasm32-wasi out… | 95 | 1628 | active |
| intelxed/xed Intel XED is a C library for encoding and decoding X86 (IA32 and Intel64) machine instructions, converting between byte sequences and struc… | 95 | 1613 | stable |
| 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 |
| 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 |
| richfelker/musl-cross-make A makefile-based build system for producing musl libc-targeting GCC cross compilers. It automates downloading, patching, and building GCC, … | 71 | 1583 | 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 |
| 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 |
| 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 |