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 هو مترجم (transpiler) ولغة مكتوبة تحول صيغة تشبه JavaScript إلى تنسيق WebAssembly الثنائي. تعمل كأداة لتطوير منطق عالي الأداء للمتصفحات وبيئات التشغيل عبر ترجمة كود المصدر المكتوب إلى تنسيق نص WebAssembly. يتضمن المشروع محملاً مدمجاً مع أداة التجميع (bundler) يقوم بأتمتة إعادة تجميع ملفات المصدر أثناء عملية البناء. ويوفر مديراً للذاكرة الخطية يستخدم لتحديد تخطيطات البيانات المخصصة، والهياكل، ومخصصات الذاكرة داخل كومة متجاورة. تدعم اللغة توقيعات الدوال المحددة، والأنواع الرقمية، والقدرة على تصدير الدوال والمتغيرات العامة أو استيراد دوال خارجية من بيئة المضيف. وتمكن من استخدام الإغلاقات الوظيفية (closures)، ومؤشرات الدوال، وتنظيم البيانات المهيكل عبر إزاحات الذاكرة الثنائية.

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