5 Repos
The formal requirements and goals for a binary format intended to be a target for various compilers.
Distinct from Multi-Target Compilers: Distinct from Multi-Target Compilers: focuses on the specification of the target format rather than the compiler's ability to output it.
Explore 5 awesome GitHub repositories matching programming languages & runtimes · Binary Format Specifications. Refine with filters or upvote what's useful.
This repository contains the design specifications for WebAssembly, serving as a technical standard for portable low-level code. It defines the binary format, instruction set, and execution semantics required to ensure consistent behavior across different hardware platforms. The project establishes the framework for a language compilation target, detailing the requirements for translating high-level programming languages into a low-level binary format. It includes a security model that defines operational rules and safety goals for executing untrusted binary code. The specifications cover th
Sets the requirements and goals for compiling high-level languages into a standardized low-level binary format.
Pics is a comprehensive reference library providing visual documentation for binary file structures, character encodings, processor instruction sets, and hardware architecture maps. It serves as a centralized resource for the dissection and analysis of diverse binary formats, including executables, images, and archives. The project specializes in mapping complex specifications into visual layouts. This includes the creation of schematic diagrams to explain the physical and logical organization of hardware components and the maintenance of a catalog for processor opcodes across multiple hardwa
Breaks down complex binary file specifications using layout diagrams to explain data organization.
HoloCubic is an embedded desktop widget station and holographic display system. It consists of a graphics framework for rendering resolution-specific visuals and a hardware setup that uses a beam-splitting prism and transparent screen to create floating 3D visual effects. The system includes a PC-based hardware emulator used to design and verify graphical interfaces before deploying code to physical hardware. It also features an inertial measurement unit motion controller that translates physical movement into navigation inputs for the user interface. The project covers an asset pipeline for
Provides utilities to generate binary image files optimized for playback from SD cards.
Kaitai Struct ist ein Framework für deklarative Binärspezifikationen, das die automatisierte Parser- und Serializer-Generierung über mehrere Programmiersprachen hinweg ermöglicht. Es verwendet eine portable, domänenspezifische Sprache, um das Layout von Binärdateien und Netzwerkpaketen zu beschreiben, und konvertiert diese Spezifikationen in Quellcode zum Lesen und Schreiben binärer Daten. Das System ermöglicht sprachübergreifende Datenverarbeitung durch die Übersetzung einer einzigen strukturellen Definition in nativen Quellcode für Sprachen wie C++, C#, Go, Java, JavaScript, Python und Rust. Dieser Ansatz ermöglicht es, dieselbe Binärdatenspezifikation über verschiedene Plattformen hinweg zu implementieren, ohne die Parsing-Logik manuell neu schreiben zu müssen. Das Framework deckt die Modellierung und Verarbeitung binärer Daten ab, einschließlich der Fähigkeit, Lesezeiger für die Offset-Navigation zu verwalten und Datentransformationen wie Dekomprimierung und Entschlüsselung anzuwenden. Es bietet zudem Tools für das Debugging von Formatspezifikationen, um das Mapping zwischen Binärdatenlayouts und ihren deklarativen Beschreibungen zu validieren.
Creates portable, declarative descriptions of binary data layouts that serve as a reference across different platforms.
The pico-sdk is a software development kit for creating C and C++ applications on RP2040 and RP2350 hardware platforms. It functions as an embedded development kit that provides hardware abstraction layers and drivers to interface with microcontroller peripherals and registers. The project utilizes a CMake build system to manage the compilation of source code into multiple binary formats, including UF2, ELF, and HEX images. This environment coordinates the build and link processes to ensure the resulting firmware is correctly tailored for the target hardware. The toolkit covers embedded hard
Produces multiple output formats including ELF, HEX, and UF2 to support various flashing and debugging tools.