Awesome GitHub RepositoriesCompile-Time

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

This project is an educational resource for developing bare-metal operating systems and kernels from scratch on Raspberry Pi hardware. It provides a structured guide to systems programming using the Rust language, focusing on the implementation of core kernel components that execute directly on ARM-based hardware without the support of an underlying operating system or standard library. The tutorials emphasize a modular architecture that separates hardware-independent kernel logic from processor-specific and board-specific configurations. By utilizing a hardware abstraction layer and distinct

Hiredis is a minimalistic C client library designed to send commands and receive responses from Redis servers using a binary-safe protocol. It functions as a core toolkit providing a Redis protocol parser, a secure connector, and both synchronous and asynchronous driver interfaces. The library distinguishes itself through a decoupled protocol parser that converts raw byte streams into structured data objects independently of the network transport layer. It supports high-performance pipelining to batch multiple commands into a single network round-trip and provides a secure networking layer fo

Carp is a statically typed Lisp compiler that compiles Lisp-like syntax directly to C source code, enabling seamless integration with existing C libraries and low-level system programming. It manages memory deterministically at compile time using ownership tracking and linear types, eliminating garbage collection pauses and runtime overhead while ensuring type safety through an inferred static type system. The language distinguishes itself through compile-time macro expansion and metaprogramming capabilities, allowing code generation and transformation before final binary output. It enforces

Walt ist ein Transpiler und eine typisierte Sprache, die eine JavaScript-ähnliche Syntax in das WebAssembly-Binärformat konvertiert. Er fungiert als Toolchain für die Entwicklung hochperformanter Logik für Browser und Laufzeitumgebungen, indem typisierter Quellcode in das WebAssembly-Textformat übersetzt wird. Das Projekt enthält einen in den Bundler integrierten Loader, der die Neukompilierung von Quelldateien während des Build-Prozesses automatisiert. Es bietet einen linearen Speichermanager, der zur Definition benutzerdefinierter Datenlayouts, Structs und Speicherallokatoren innerhalb eines zusammenhängenden Heaps verwendet wird. Die Sprache unterstützt definierte Funktionssignaturen, numerische Typen sowie die Möglichkeit, Funktionen und Globals zu exportieren oder externe Funktionen aus der Host-Umgebung zu importieren. Sie ermöglicht die Verwendung funktionaler Closures, Funktionszeiger und strukturierter Datenorganisation über binäre Speicher-Offsets.

This project provides a development framework for writing loadable Linux kernel modules using the Rust programming language. It establishes a methodology for safe systems programming by enforcing memory and thread safety within the restricted execution environment of the kernel, allowing developers to extend operating system functionality while preventing common memory corruption errors. The framework distinguishes itself through automated generation of type-safe foreign function interfaces, which bridge high-level code with low-level kernel headers and system structures. It maps high-level s