php / php-src
The PHP Interpreter
php / php-src
golang / go
The Go programming language
nvm-sh / nvm
Node Version Manager - POSIX-compliant bash script to manage multiple active node.js versions.
nodejs / node
Node.js JavaScript runtime ✨🐢🚀✨
PowerShell / PowerShell
PowerShell for every system!
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.
Effect-TS / effect
Build production-ready applications in TypeScript
zigtools / zls
A language server for Zig supporting developers with features like autocomplete and goto definition
pyenv / pyenv
Simple Python version management
JuliaLang / julia
The Julia Programming Language
ruby / ruby
The Ruby Programming Language
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
if-not-nil / revo
a dynamic language for the joy of programming
isocpp / CppCoreGuidelines
The C++ Core Guidelines are a set of tried-and-true guidelines, rules, and best practices about coding in C++
matteocrippa / awesome-swift
A collaborative list of awesome Swift libraries and resources. Feel free to contribute!
ziglang / zig
Moved to Codeberg
crystal-lang / crystal
The Crystal Programming Language
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.
sebastianbergmann / phpunit
The PHP Unit Testing framework.
ebitengine / purego
A library for calling C functions from Go without Cgo
swiftlang / swift
The Swift Programming Language
erlang / otp
Erlang/OTP
agda / agda
Agda is a dependently typed programming language / interactive theorem prover.
Perl / perl5
🐪 The Perl programming language
elm / compiler
Compiler for Elm, a functional language for reliable webapps.
unisonweb / unison
A friendly programming language from the future
ocaml / dune
A composable build system for OCaml.
microsoft / AL
Home of the Dynamics 365 Business Central AL Language extension for Visual Studio Code. Used to track issues regarding the latest version of the AL compiler and developer tools available in the Visual Studio Code Marketplace or as part of the AL Developer Preview builds for Dynamics 365 Business Central.
scala / scala3
The Scala 3 compiler, also known as Dotty.
roc-lang / roc
A fast, friendly, functional language.
vlang / vinix
Vinix is an effort to write a modern, fast, and useful operating system in the V programming language
ocaml / opam
opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
z88dk / z88dk
The development kit for over a hundred z80 family machines - c compiler, assembler, linker, libraries.
dart-lang / language
Design of the Dart language
Vectorized / solady
Optimized Solidity snippets.
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.
scalameta / metals
Scala language server with rich IDE features 🚀