php / php-src
The PHP Interpreter
php / php-src
golang / go
The Go programming language
vercel / next.js
The React Framework
tile-ai / tilelang
Domain-specific language designed to streamline the development of high-performance GPU/CPU/Accelerators kernels
rust-lang / rust
Empowering everyone to build reliable and efficient software.
microsoft / TypeScript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
AeneasVerif / aeneas
A verification toolchain for Rust programs
ruby / ruby
The Ruby Programming Language
ShiftLeftSecurity / codepropertygraph
Code Property Graph: specification, query language, and utilities
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
vosen / ZLUDA
CUDA on non-NVIDIA GPUs
if-not-nil / revo
a dynamic language for the joy of programming
ziglang / zig
Moved to Codeberg
crystal-lang / crystal
The Crystal Programming Language
verilator / verilator
Verilator open-source SystemVerilog simulator and lint system
ocaml / ocaml
The core OCaml system: compilers, runtime system, base libraries
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).
elixir-lang / elixir
Simple from zero to scale
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.
swiftlang / swift
The Swift Programming Language
erlang / otp
Erlang/OTP
Perl / perl5
🐪 The Perl programming language
dotnet / runtime
.NET is a cross-platform runtime for cloud, mobile, desktop, and IoT apps.
elm / compiler
Compiler for Elm, a functional language for reliable webapps.
unisonweb / unison
A friendly programming language from the future
scala / scala3
The Scala 3 compiler, also known as Dotty.
roc-lang / roc
A fast, friendly, functional language.
z88dk / z88dk
The development kit for over a hundred z80 family machines - c compiler, assembler, linker, libraries.
dotnet / roslyn
The Roslyn .NET compiler provides C# and Visual Basic languages with rich code analysis APIs.
dart-lang / sdk
The Dart SDK, including the VM, JS and Wasm compilers, analysis, core libraries, and more.