go-webdav is a Go library implementing WebDAV (RFC 4918), CalDAV (RFC 4791), and CardDAV (RFC 6352) protocols. It provides client and server implementations for these protocols, with a clear separation between the HTTP handling layer and storage backends via a FileSystem interface. The library includes a command-line tool to run a WebDAV server serving a local directory. The architecture is modular, with core WebDAV functionality in the 'webdav' package, CalDAV and CardDaV extensions in their respective packages, and low-level HTTP/XML handling in the 'internal' package. The library depends on go-ical and go-vcard for calendar and contact data processing.
vkbind is a Vulkan API loader and code generator that creates a single header file containing all Vulkan API definitions and functions for dynamically loading Vulkan functions. It parses the official Vulkan XML specifications (vk.xml and video.xml) to generate a comprehensive C header that eliminates the need for the official Vulkan SDK. The generated header includes type definitions, enumerants, function prototypes, and loader functions like vkInit(), vkInitInstanceAPI(), and vkBindAPI() for accessing Vulkan functionality across different platforms.
This repository is the source and build system for the multi-language edition of the classic computer science textbook *Structure and Interpretation of Computer Programs* (SICP). It contains the full text, exercises, and code snippets in XML, organized by chapter and section, for the original Scheme version as well as modern adaptations in JavaScript and Python. The build toolchain, implemented in TypeScript and JavaScript, parses the XML into multiple output formats: PDF (via LaTeX), a static HTML web edition, a JSON edition for the interactive Source Academy frontend, Markdown, and standalone program files. The system handles cross-references, code snippet extraction with dependency resolution, figure inclusion, index generation, and search index construction. The repository also includes CI/CD pipelines for testing generated programs against actual language runtimes (Node, CPython, MIT Scheme) and deploying the web edition to GitHub Pages. Additionally, AI-generated chatbot knowledge base modules for the Python edition are checked in. The codebase is well-structured with a clean edition abstraction and a modular processing pipeline, though it is tightly coupled to the SICP XML schema and the Source Academy ecosystem.