Lean 4 programming language and theorem prover
A free and open development kit for the Sega Mega Drive
clangd language server
The most widely used Python to C compiler
A fast compiler cache
A collection of tools, libraries, and tests for Vulkan shader
Performance-portable, length-agnostic SIMD with runtime dispatch
The cross-platform toolkit
PeachPie, the PHP compiler and runtime for .NET and .NET Core
A purely functional programming language with first class types
Win32 port of OpenSSH
Objeck is a modern object-oriented programming language
Repository for the book "Crafting Interpreters"
Cake (C# Make) is a cross platform build automation system
Functional programming language for signal processing
Optimized BLAS library based on GotoBLAS2 1.13 BSD version
Intel SPMD Program Compiler
Develop desktop GUI applications using PHP, HTML5, JavaScript
Carbon Language's main repository
cuda-oxide is an experimental Rust-to-CUDA compiler
The Microsoft Build Engine (MSBuild) build platform for .NET and VS
Espressif IoT Development Framework
Formatting library as an alternative to C stdio and C++ iostreams
A parser and compiler for the Gherkin language