6 रिपॉजिटरी
Memory management enforced by strict compile-time rules to ensure safety without garbage collection.
Distinct from Memory Management: Distinct from general Memory Management: focuses on the compile-time enforcement of ownership rather than runtime allocation strategies.
Explore 6 awesome GitHub repositories matching operating systems & systems programming · Compile-Time. Refine with filters or upvote what's useful.
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
Enforces memory safety at compile time, eliminating the need for a garbage collector.
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
Uses build-system definitions to select specific memory maps and device drivers required for the target hardware at compile time.
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
Allows replacing default allocation routines with custom memory managers via compile-time macro redefinition.
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
Manages memory deterministically at compile time using ownership tracking and linear types.
Walt एक ट्रांसपाइलर और टाइप्ड भाषा है जो JavaScript-जैसे सिंटैक्स को WebAssembly बाइनरी फॉर्मेट में बदलती है। यह टाइप्ड सोर्स कोड को WebAssembly टेक्स्ट फॉर्मेट में अनुवादित करके ब्राउज़र और रनटाइम के लिए उच्च-प्रदर्शन तर्क विकसित करने के लिए एक टूलचेन के रूप में कार्य करता है। इस प्रोजेक्ट में एक बंडलर-एकीकृत लोडर शामिल है जो बिल्ड प्रक्रिया के दौरान सोर्स फाइलों के पुन: संकलन को स्वचालित करता है। यह एक लीनियर मेमोरी मैनेजर प्रदान करता है जिसका उपयोग एक सन्निहित हीप (contiguous heap) के भीतर कस्टम डेटा लेआउट, स्ट्रक्ट्स और मेमोरी एलोकेटर को परिभाषित करने के लिए किया जाता है। यह भाषा परिभाषित फंक्शन सिग्नेचर, न्यूमेरिक टाइप, और फंक्शन व ग्लोबल को एक्सपोर्ट करने या होस्ट वातावरण से बाहरी फंक्शन को इम्पोर्ट करने की क्षमता का सपोर्ट करती है। यह बाइनरी मेमोरी ऑफ़सेट के माध्यम से फंक्शनल क्लोजर, फंक्शन पॉइंटर्स और संरचित डेटा संगठन के उपयोग को सक्षम बनाती है।
Allows replacing standard memory allocation routines with custom implementations at build time.
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
Enforces memory safety and ownership rules at compile time to prevent corruption within the kernel.