HF RL Explorer

Implement a Python command-line tool that decodes a binary file containing a sequence of records into a JSON…

Implement a Python command-line tool that decodes a binary file containing a sequence of records into a JSON…: a task in TermGrade Environments: 1,004 executable Linux tasks (Harbor dataset). The binary format: - The file consists of zero or more records, concatenated. - A record starts with a…

The task

The binary format: - The file consists of zero or more records, concatenated. - A record starts with a 1-byte tag (unsigned, 0-255). - Following the tag is a length encoded as a variable-length unsigned integer (varint) using the unsigned LEB128 scheme (little-endian, groups of 7 bits, high bit is continuation bit,…

Part of ai-and/termgrade-environments.