A free book: "The Science of Functional Programming"
Las características principales de winitzki/sofp son: Software Development.
Las alternativas de código abierto para winitzki/sofp incluyen: cfenollosa/os-tutorial — This project is an educational curriculum designed to teach the fundamentals of operating system development and… dennis714/re-for-beginners. doctorwkt/acwj — This project is a compiler development tutorial that provides a series of guides and exercises for building a complete… iggredible/learn-vim — Learn-Vim is an interactive learning platform designed to build proficiency in the Vim text editor. It provides a… jeffgerickson/algorithms — This project is an algorithm courseware repository and academic resource portal. It serves as a digital archive for… lotabout/write-a-c-interpreter — This project is a C language interpreter and a practical implementation of a programming language. It parses and…
This project is an educational curriculum designed to teach the fundamentals of operating system development and low-level systems programming. It provides a structured sequence of lessons and code samples that guide users through building a functional kernel and bootloader from scratch, enabling a practical understanding of how software interacts directly with computer hardware. The repository distinguishes itself by focusing on the core mechanics of bare-metal execution. It covers the implementation of essential system components, including assembly-based bootloaders that transition process
This project is a compiler development tutorial that provides a series of guides and exercises for building a complete compiler from scratch. It focuses on the implementation of a structured compilation pipeline to transform high-level source code into executable machine instructions. The project covers the creation of a machine code generator for specific processor architectures and a static analysis framework. This framework includes methodologies for implementing type checking and constant folding to verify logic correctness before the final execution phase. The instructional material enc
Learn-Vim is an interactive learning platform designed to build proficiency in the Vim text editor. It provides a structured curriculum that guides users through the fundamentals of modal editing and command-line text manipulation to improve terminal productivity. The project functions as a terminal-based simulation that allows users to practice editing techniques within a sandboxed environment. By utilizing a virtual file system and state-machine sequencing, the platform validates user inputs against specific command patterns to ensure mastery of each lesson. This training environment cover