Awesome GitHub RepositoriesReliability Engineering

The Rust Programming Language Book is the official technical guide and educational resource for the Rust language. It provides a comprehensive walkthrough of the language's design, focusing on its core identity as a systems programming language that enforces memory safety and high-performance execution without the need for a garbage collector. The project is distinguished by its focus on ownership, borrowing, and lifetime tracking, which allow the compiler to verify memory safety and thread safety at compile time. It covers the language's unique approach to zero-cost abstractions, including t

Goleak is a diagnostic utility designed to identify and report leaked goroutines within Go applications. By integrating directly with standard testing frameworks, it validates that background tasks terminate correctly after the completion of individual test cases, packages, or entire test suites. The tool functions by capturing snapshots of active execution threads and comparing them against a baseline to isolate newly spawned processes. To ensure accuracy and reduce noise, it provides mechanisms to filter specific stack traces, ignore known background tasks, and perform retries to account fo

Bosque is an experimental programming language and development platform designed for machine-assisted software construction. It combines functional programming semantics with imperative syntax to enforce logic correctness and runtime safety, providing a type-safe environment that utilizes structured data models to maintain information integrity throughout the application lifecycle. The platform distinguishes itself through deep integration with formal verification tools, including automated theorem provers and symbolic execution engines. By transforming source code into a regularized intermed

React Native Update is a deployment platform designed to deliver JavaScript code changes directly to mobile applications. By enabling over-the-air updates, the system allows developers to push patches to installed binaries, effectively bypassing standard app store review cycles. The project distinguishes itself through a specialized binary patching engine that generates small code diffs to minimize bandwidth consumption during delivery. To maintain service reliability, it incorporates an automated rollback framework that monitors application stability after an update and reverts to a previous