php / php-src
The PHP Interpreter
php / php-src
golang / go
The Go programming language
vercel / next.js
The React Framework
oxc-project / oxc
⚓ A collection of high-performance JavaScript tools.
tile-ai / tilelang
Domain-specific language designed to streamline the development of high-performance GPU/CPU/Accelerators kernels
ShiftLeftSecurity / codepropertygraph
Code Property Graph: specification, query language, and utilities
facebook / zstd
Zstandard - Fast real-time compression algorithm
AeneasVerif / aeneas
A verification toolchain for Rust programs
vlang / v
Simple, fast, safe, compiled language for developing maintainable software. Compiles itself in <1s with zero library dependencies. Supports automatic C => V translation. https://vlang.io
ruby / ruby
The Ruby Programming Language
rocq-prover / rocq
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
if-not-nil / revo
a dynamic language for the joy of programming
crystal-lang / crystal
The Crystal Programming Language
ziglang / zig
Moved to Codeberg
JetBrains / kotlin
The Kotlin Programming Language.
madler / zlib
A massively spiffy yet delicately unobtrusive compression library.
verilator / verilator
Verilator open-source SystemVerilog simulator and lint system
nim-lang / Nim
Nim is a statically typed compiled systems programming language. It combines successful concepts from mature languages like Python, Ada and Modula. Its design focuses on efficiency, expressiveness, and elegance (in that order of priority).
ocaml / ocaml
The core OCaml system: compilers, runtime system, base libraries
swiftlang / swift
The Swift Programming Language
elixir-lang / elixir
Simple from zero to scale
dotnet / runtime
.NET is a cross-platform runtime for cloud, mobile, desktop, and IoT apps.
erlang / otp
Erlang/OTP
Perl / perl5
🐪 The Perl programming language
dotnet / roslyn
The Roslyn .NET compiler provides C# and Visual Basic languages with rich code analysis APIs.
elm / compiler
Compiler for Elm, a functional language for reliable webapps.
scala / scala3
The Scala 3 compiler, also known as Dotty.
z88dk / z88dk
The development kit for over a hundred z80 family machines - c compiler, assembler, linker, libraries.
rescript-lang / rescript
ReScript is a robustly typed language that compiles to efficient and human-readable JavaScript.
ghdl / ghdl
VHDL 2008/93/87 simulator
jruby / jruby
JRuby, an implementation of Ruby on the JVM
dart-lang / sdk
The Dart SDK, including the VM, JS and Wasm compilers, analysis, core libraries, and more.
ghc / ghc
Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with the newcomers info (https://gitlab.haskell.org/ghc/ghc/wikis/contributing).
scala / scala
Scala 2 compiler and standard library. Scala 2 bugs at https://github.com/scala/bug; Scala 3 at https://github.com/scala/scala3