Following Gromov, take a metric space $(X,d)$ and consider $C(X)/\mathbb{R}$ the set of continuous functions to $\mathbb{R}$ with the topology of uniform convergence on compact sets after taking the quotient by constant functions (i.e. two functions are equivalent if the difference is a constant). Embed $X$ into this space by means of the map:


$x \mapsto f(x) = [d(x,\cdot)]$


A horofunction is an element of the closure of $f(X)$ that is not in $f(X)$.


In $\mathbb{R}^d$ all horofunctions are given by inner product with a unit vector.


In the upper-half plane model of the hyperbolic disc the function $h(z) = \log(\text{Im}(z))$ is a horofunction and all others can be obtained by composing with hyperbolic isometries.


What other spaces have well known horofunctions?


For example, are horofunctions of the model geometries $\text{Nil}$, $\text{Sol}$, and $\widetilde{\text{Sl}(2,R)}$ in dimension $3$ known relatively explicitly?


I know there is a general relationship between horofunctions and geodesics (Busseman functions) in non-positively curved spaces. However I'm interested in spaces where one can compute relatively explicitly (e.g. spaces where one knows what the distance function looks like).



What spaces have well known horofunctions?
Of course, the first example should be non-compact Riemannian symmetric spaces, where the Busemann (horofunctions in your terminology) functions are known in a pretty explicit form. I don't think there are other explicit examples. 


More comments. 


1) Geodesic rays always converge in this Busemann-Gromov compactification, and it has nothing to do with curvature. 


2) I never understood why the definition of this compactification is formulated in terms of uniform convergence on compact sets instead of plain pointwise convergence (anyway, for Lipschitz functions the result is the same). Actually, this is a particular case of the general Constantinescu-Cornea compactification (see the book of Brelot "On Topologies and Boundaries in Potential Theory"), other examples of which are the Martin compactification in potential theory or Thurston compactification in the Teichmuller theory.


ADDED REFERENCES


In what concerns Busemann or horofunctions (I prefer to call them Busemann cocycles, because in invariant language they are cocycles, not functions) for symmetric spaces, there are several sources of various degree of explicitness.


(1) For the group $SL(d,\mathbb R)$ (and the associated symmetric space) the
Busemann cocycle essentially appears in Furstenberg's formula for the rate of
growth of random matrix products, see 


MR0163345 (29 #648) 
Furstenberg, Harry
Noncommuting random products. 
Trans. Amer. Math. Soc. 108 1963 377--428. 


From the geometrical point of view the main idea there is that if you want to find the linear rate of growth of $d(o,g\_1 g\_2\dots g\_n o)$, where $o$ is a reference point, and $g\_i$ is a stationary sequence of random isometries, then you can look at the increment $d(o,g\_1 g\_2\dots g\_n o)-d(o,g\_2 g\_3\dots g\_n o)=d(g\_1^{-1}o,g\_2g\_3\dots g\_n o)-d(o,g\_2 g\_3\dots g\_n o)$, which converges to the Busemann cocycle $\beta\_\gamma(o,g^{-1}o)$ provided $g\_2g\_3\dots g\_n o$ converges to a boundary point $\gamma$ in the Busemann compactification. The cocycle itself looks, roughly speaking, like $\log \|gv\|/\|v\|$, where $g$ is the matrix (or its exterior power) representing a point in the symmetric space, and $v$ is a vector representing the boundary point. There is also a lot about it in later papers by Guivarc'h.


(2) Busemann cocycles naturally appear in various works related to compactifications of symmetric spaces. Historically the first source is the monograph of Karpelevich


MR0231321 (37 #6876) 
Karpelevic, F. I. 
The geometry of geodesics and the eigenfunctions of the Beltrami-Laplace operator on symmetric spaces. 
Trudy Moskov. Mat. Obšc. 14 48--185 (Russian); translated as Trans. Moscow Math.
Soc. 1965 1967 pp. 51--199. Amer. Math. Soc., Providence, R.I., 1967.


where he explicitly discusses pencils of convergent geodesics and introduces the associated horospheric coordinates. Later expositions are in two books on compactifications of symmetric spaces:


MR1633171 (2000c:31006) 
Guivarc'h, Yves(F-RENNB-IM); Ji, Lizhen(1-MI); Taylor, J. C.(3-MGL)
Compactifications of symmetric spaces. (English summary) 
Progress in Mathematics, 156. Birkhäuser Boston, Inc., Boston, MA, 1998. xiv+284 pp. ISBN: 0-8176-3899-7 


and


MR2189882 (2007d:22030) 
Borel, Armand(1-IASP); Ji, Lizhen(1-MI)
Compactifications of symmetric and locally symmetric spaces. 
Mathematics: Theory \& Applications. Birkhäuser Boston, Inc., Boston, MA, 2006. xvi+479 pp. ISBN: 978-0-8176-3247-2; 0-8176-3247-6 


