distributed builds for C, C++ and Objective C

Fil-C: completely compatible memory safety for C and C++

The financial transactions database designed for mission critical safety and performance.

Empowering everyone to build reliable and efficient software.

Blazingly 🔥 fast 🚀 memory vulnerabilities, written in 100% safe Rust. 🦀

A version manager for neovim

Lean 4 programming language and theorem prover

Diskless Kafka® on S3. 10x Cost-Effective. No Cross-AZ Traffic Cost. Autoscale in seconds. Single-digit ms latency. Multi-AZ Availability.

The Go programming language

Linux kernel source tree

Vim-fork focused on extensibility and usability

A C library that may be linked into a C/C++ program to produce symbolic backtraces

SPECIfication MINimizer. A different kind of slicer for Java.

Implementation of the Common Transactive Services for energy markets.

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.