The use of SPICE extends from mission concept development through the post-mission data analysis phase
SPICE kernels are composed of navigation and other ancillary information
The primary SPICE data sets are often called "kernels" or "kernel files."
SPICE kernel file contents are summarized below.
(SPK)
Under development is a digital shape model kernel (DSK) for both small, irregularly shaped bodies such as asteroids and comet nuclei, and for large, more uniformly shaped bodies such as the moon, earth and Mars.
The SPICE system includes the SPICE Toolkit
a library of portable APIs (subroutines) needed to read the kernel files and to then calculate observation geometry parameters, also known as derived data of interest—items such as range, LAT/LON, and lighting angles.
Users integrate a few SPICE Toolkit APIs into their own application programs to compute observation geometry parameters or geometric events as needed.
originally implemented in ANSI FORTRAN 77, but is now available in C, IDL and MATLAB as well
someone just claimed to have clisp working at least. Archived here: http://comments.gmane.org/gmane.comp.mathematics.maxima.general/21242
Lemonodor long ago had a picture of CLISP running on a N770, which is a couple generations back but essentially the same OS.
he ARM (processor) debian package for CLISP didn't work the last time I tried it, because of some twiddly library dependencies, but if you spent some time recompiling you'd likely be fine.
Scratchbox emulator
so you could fire that up on a PC and try before you buy.
It's the Nokia 800, actually, which is only one generation ago.
beware apple's "hilarious" iphone SDK licensing terms (no idea how enforceable they are): http://blog.wired.com/monkeybites/2008/03/has-apple-banne.html