A hyperfinite Lévy process is an infinitesimal random walk (in the sense of nonstandard analysis) which with probability one is finite for all finite times. We develop the basic theory for hyperfinite Lévy processes and find a characterization in terms of transition probabilities. The standard part of a hyperfinite Lévy process is a (standard) Lévy process, and we show that given a generating triplet $(\gamma, C,\nu)$ for standard Lévy processes, we can construct hyperfinite Lévy processes whose standard parts correspond to this triplet. Hence all Lévy laws can be obtained from hyperfinite Lévy processes. The paper ends with a brief look at Malliavin calculus for hyperfinite Lévy processes including a version of the Clark-Haussmann-Ocone formula.