php / php-src

The reference C implementation of the PHP general-purpose scripting language and its interpreter, CLI, and bundled extensions.

golang / go

The Go programming language: an open source, statically typed language and toolchain for building simple, reliable, and efficient software.

vercel / next.js

A React framework for building full-stack web applications with server rendering, static generation, and routing.

tile-ai / tilelang

A Python-embedded domain-specific language and TVM-based compiler for writing high-performance GPU, CPU, and NPU kernels.

rust-lang / rust

Source repository for the Rust programming language, containing the compiler, standard library, and official documentation.

microsoft / TypeScript

TypeScript is a typed superset of JavaScript that compiles to plain, readable JavaScript.

AeneasVerif / aeneas

Verification toolchain that translates Rust programs (via Charon's LLBC) into pure lambda calculus for proof in F*, Coq, HOL4, or Lean.

ruby / ruby

Ruby is an interpreted, object-oriented programming language used for web development and scripting.

ShiftLeftSecurity / codepropertygraph

Specification and Scala tooling for the Code Property Graph, a language-agnostic representation of program code for analysis.

vlang / v

A simple, compiled, statically typed programming language that transpiles to C and compiles itself in under a second.

if-not-nil / revo

A dynamically-typed programming language implemented in Zig, with an LSP, tree-sitter grammar, and docs generator.

ziglang / zig

Zig is a general-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.

crystal-lang / crystal

Crystal is a statically type-checked, compiled programming language with Ruby-like syntax and no required type annotations.

verilator / verilator

Open-source SystemVerilog/Verilog simulator and lint tool that compiles hardware designs into multithreaded C++ or SystemC.

ocaml / ocaml

The core OCaml system, including compilers, runtime, and standard libraries for the OCaml functional language.

nim-lang / Nim

Nim is a statically typed compiled systems programming language with a compiler, standard library, and tooling.

elixir-lang / elixir

Elixir is a functional programming language for building scalable and maintainable applications on the Erlang VM.

rocq-prover / rocq

Interactive theorem prover (proof assistant) for writing formal definitions, executable algorithms, and machine-checked proofs.

swiftlang / swift

The Swift programming language compiler and toolchain: a memory-safe, high-performance systems language with C and Objective-C interop.

erlang / otp

Erlang programming language runtime and the OTP libraries and design principles for building fault-tolerant, soft real-time systems.

Perl / perl5

General-purpose programming language known for text processing, with procedural and object-oriented support and a large CPAN module ecosystem.

dotnet / runtime

Source for the .NET runtime, base class libraries, and the dotnet host installers across supported platforms.

elm / compiler

Compiler for Elm, a functional language for building reliable web applications, written in Haskell.

unisonweb / unison

Unison is a statically-typed functional programming language that identifies functions by content hash and stores code as ASTs in a database.

scala / scala3

The Scala 3 compiler, standard library, and language specification, also known as Dotty.

roc-lang / roc

Roc is a fast, functional programming language with a friendly syntax, currently in pre-0.1 development.

z88dk / z88dk

Development kit with C compiler, assembler, linker, and libraries for Z80-family and 8080 machines.

dotnet / roslyn

Open-source C# and Visual Basic compilers with APIs for analyzing and transforming .NET source code.

dart-lang / sdk

The Dart SDK: the language VM, JS and Wasm compilers, analyzer, and core libraries for building apps on any platform.