archtype ARCHTYPE is a command-line program that displays the architecture and type of a specified SPICE kernel file. bff BFF is a command line program that displays the binary file format ID for one or more binary kernel files. bingo BINGO is a command line program that converts SPICE binary kernels between IEEE and PC binary formats and converts SPICE text kernels between UNIX and DOS text file formats. brief BRIEF is a command-line utility program that displays a contents and time coverage summary for one or more binary SPK or binary PCK files. bspidmod BSPIDMOD is a command-line program that allows users to alter the body ID in a binary SPK (bsp) file. chronos CHRONOS is a command-line program that converts between several time systems and time formats. ckbrief CKBRIEF is a command-line utility program that displays a contents and time coverage summary for one or more binary CK files. ckslicer CKSLICER is a command-line program that subsets a CK file into another CK file. cksmrg CKSMRG is a command-line program that merges segments in Type 3 CK files. ckspanit CKSPANIT is a command-line program that modifies interpolation interval information stored in the segments of a Type 3 CK file. It can also be used to convert a Type 1 CK file to a Type 3 CK file, or from a Type 1 or Type 3 CK file to a Type 2 CK file. commnt COMMNT is a command-line program that reads, adds, extracts, or deletes comments from SPICE binary kernel files. dafcat DAFCAT is a command-line utility program that concatenates together SPICE DAF files of the same type. dafmod DAFMOD is an interactive program that modifies various segment attributes of a DAF based kernel -- SPK, CK, or binary PCK. dlacat DLACAT is a command-line utility program that concatenates together SPICE DLA files of the same type. dskbrief DSKBRIEF is a command-line utility program that displays a summary of the spatial coverage and additional attributes of one or more binary Digital Shape Kernel (DSK) files. dskexp DSKEXP is a command-line program that exports data from DSK files to text files. dskmod DSKMOD is a command-line program that allows users to modify the contents of segment descriptors contained in binary Digital Shape Kernel (DSK) files. frmdiff FRMDIFF is a program that samples orientation of a reference frame known to SPICE or computes differences between orientations of two reference frames known to SPICE, and either displays this orientation or these differences, or shows statistics about it or them. inspekt INSPEKT is an interactive program that examines the contents of an events component (ESQ) of an E-kernel. makclk MAKCLK is a program that converts a SCLKSCET (also known as SCLKvSCET) file to a SPICE spacecraft clock (SCLK) kernel file. maklabel MAKLABEL is a program that generates PDS and SFDU-style ``keyword equals value'' labels for SPICE kernel files. mkdsk MKDSK is a utility program that creates a SPICE Digital Shape Kernel (DSK) file from a text file containing shape data for an extended object. mkspk MKSPK is a program that creates an SPK file from a text file containing trajectory information. msopck MSOPCK is a command-line program that converts attitude data provided in a text file as UTC, SCLK, or ET-tagged quaternions, Euler angles, or matrices, optionally accompanied by angular velocities, into a type 1, 2, or 3 SPICE C-kernel. oem2spk OEM2SPK is a utility program that converts a CCSDS ``Orbit Ephemeris Message'' text file (also referred to as an ``OEM'' or ``OEM file'') to a binary SPICE SPK file containing type 9 or type 13 segments. optiks OPTIKS is a program that computes field of view information associated with a collection of instrument and frame kernels. orbnum The ORBNUM program creates an ASCII orbit number table file for an object, keyed on the time of a geometric event. pinpoint Create an SPK file and optionally, an FK file, for a set of objects having fixed locations or constant velocities relative to their respective centers of motion. prediCkt prediCkt is a program that creates C-kernels (usually predicted C-kernels) for orientations that can be described by a set of simple geometric descriptions. spacit SPACIT is an interactive program that converts kernels in transfer format to binary format, converts binary kernels to transfer format, and summarizes the contents of binary kernels. spk2oem SPK2OEM is a utility program that converts a binary SPICE SPK file to a CCSDS ``Orbit Ephemeris Message'' text file (also referred to as an ``OEM'' or ``OEM file''). spkdiff SPKDIFF provides means for comparing the trajectories of two bodies or sampling the trajectory of a single body using data from SPICE kernels. spkmerge SPKMERGE is a program that subsets or merges one or more SPK files into a single SPK file. spy Spy is a command-driven utility for validating, inspecting, and analyzing SPK files. starsb STARSB is a program that creates a SPICE type 1 star catalog from a ``master star catalog.'' tobin TOBIN is a command-line program that converts transfer format SPK, CK, PCK, DSK and EK files to binary format. toxfr TOXFR is a command-line program that converts binary format SPK, CK, PCK, DSK and EK files to transfer format.