Uniform-in-p classification* of p-groups of order p^n for each fixed n? 
To what extent is there/can there be a description that is uniform in p (for p sufficiently large) of the p-groups of order $p^n$, for each fixed n? 

Note 1: I used the word "description" rather than "classification" because I understand that classifying p-groups is notoriously open and difficult. The word "description" is meant to be headed in the general direction of "classification," but somewhat more generous and general.
Note 2: I'm asking more about the possibility of such a uniform-in-$p$ description, and what it could/must/can't look like, rather than just asking about what kind of classification results are currently known or the difficulty of such a classification.
Note 3 (added Feb 10, 2014 2:40pm EST): I changed it from "independent in $p$" to "uniform in $p$" because I think that better captures my intention. I don't mean completely independent of (large) p. As in example (2) and Derek Holt's answer, if there is some description of, say, groups of order $p^{12}$ that depends on, say, the residue class of $p$ mod 20 (a fixed number), and on the number of solutions mod $p$ of a fixed (set of) equation(s) over $\mathbb{Z}$, then I'd be happy with that. The hope is sort of that there should be a finite description, uniform in $p$; that one doesn't need a completely new description for infinitely many values of $p$.
Motivating Examples
1) One of the examples which motivated this question: there is a classification of p-groups of order $p^4$ (going back to Burnside, I believe) for p=2, p=3, and then - crucially for this question - all $p \geq 5$.
2) Another infinite family of partial examples (partial because it only concerns some and not all groups of order $p^n$ for some fixed $n$): isomorphism classes of p-groups of class 2, exponent p, with $G/[G,G]$ of rank $t$ and $[G,G]$ of rank $z$ are in bijective correspondence with orbits of $z$-dimensional spaces of antisymmetric $t \times t$ matrices under change of basis on $G/[G,G]$. I understand that any description of the orbits of the latter action may vary with p (see this related question). But I think I nonetheless want to count this description as "independent of p", since the change-of-basis group and the action can all be defined over $\mathbb{Z}$ and then just taken mod p to get the picture for a given p (if I understand correctly).
3) Added Feb 10, 2:40pm EST: Derek Holt pointed out examples of du Sautoy and Vaughan-Lee suggesting that a classification of groups of order $p^{10}$ should be incredibly difficult. Although I find the difficulty interesting, in this question I'm more interested in the logical/model-theoretic/algebro-geometric/what-have-you possibility of the existence of such a description. For the particular examples in Derek Holt's answer, they give a classification of some groups of order $p^{10}$ that depend only on the value of $p$ mod 12 and on the number of solutions mod $p$ of the pair of integer equations $x^4 + 6x^2 - 3 = y^2 - x^3 + x = 0$. Although this number can vary a lot with $p$, this is still a single, finite description that is uniform in $p$ (and a very interesting example!).
 A: For each $n$, the groups of order $p^n$ with $p\geq n$ are regular (a notion defined by Philip Hall). There are many equivalent ways to define regular $p$-groups; one is that if $a$ and $b$ are any elements of the group, then 
$$(ab)^{p^r} = a^{p^r}b^{p^r}c_1^{p^r}\cdots c_t^{p^r},$$
where $c_i$ are elements of the commutator subgroup of $\langle a,b\rangle$; in essence, a group is regular if the operation of taking $p$th powers interacts "well" with taking commutators.
Hall showed that in a regular $p$-group, one can define "type invariants" which are similar to the invariant factors for finite abelian groups. Though they do not completely determine the groups the way the invariant factors do for abelian groups, they are usually a very good first reduction towards the analysis.
The key observation and why I'm mentioning this in response to your query is that if $p\geq n$, then a group of order $p^n$ is necessarily regular (more generally, if the group is of class $c$ and $p>c$, then the group is regular; in particular, since a group of order $p^n$ is of class at most $n-1$, the observation just made follows); in fact, Hall says in his original paper (Philip Hall, A contribution to the theory of groups of prime power order, Proc. London Math. Soc. (series 2) 36, no. 1 (1934), pp. 29-95 ), if we fix $n$, then "most" groups of order $p^n$ are regular (since only those with $p\lt n$ may fail to be regular).
This leads, classically, to a separation of $p$-groups into those of "small class" (when the class is smaller than $p$), and "the rest". 
This also means that when classifying groups of order $p^n$, the analysis usually breaks into two different cases: when the group is regular (which includes all $p\geq n$), and when the group is irregular; the latter case leads to a case-by-case analysis for small primes.
This occurs in the classification of groups of order $p^3$, where we deal with odd primes on the one hand, and then deal with the groups of order $8$ separately. Likewise Burnside's work on group of order $p^4$. The same again occurs in the classification of groups of order $p^6$ (James, Rodney; The groups of order $p^6$ ($p$ an odd prime), Mathematics of Computation 34 no. 150 (1980), pp. 613-637), and $p^7$ (E. O'Brien, M.R. Vaughan-Lee, The groups with order $p^7$ for odd prime $p$, J. Algebra 292 (2005), 243-258); the latter deals  with $p\geq 7$ uniformly, and then separately and directly with the groups of order $3^7$ and $5^7$. (The groups of order $2^7$ are dealt with in a completely separate work with different methods, $2$ being the oddest prime of all as usual...)
The latest work uses Lie rings and algebras as a starting point. There are algorithms that are known to produce and check isomorphism types (see the paper by O'Brien and Vaughan-Lee for references). The older classification ($p^6$) was based on Philip Hall's notion of isoclinism as a first, rough classification scheme. In both cases, though, the classification tends to look like a long list of group presentations. 
It was hoped, via Higman's PORC conjecture (I see this has just been noted by Derek Holt in his response) that at least a uniform count might exist for all sufficiently large primes; some more recent evidence suggests it might not be quite that simple. 
A: I believe that it is extremely unlikely that there could be such a description. In fact, groups of order $p^n$ for all primes $p$ have been fully classified for $n \le 7$. See here for summary information. Note, in particular, that the number of isomorphism classes increases with $p$ when $n \ge 5$.
The Higman PORC conjecture (polynomial on residue classes)  is that, for each $n$, this number is a polynomial function of $p$ and of $p \pmod k$ for a finite collection of values of $k$.
But a family of examples constructed by Vaughan-Lee and du Sautoy of order $p^{10}$ (see here for the full paper, which is $76$ pages long), while not actually disproving the conjecture, suggests that it is very unlikely indeed that it is true.
Just looking quickly at that construction, which depends on the geometry of elliptic curves, will probably help you to understand just how complicated a uniform description of all groups of order $p^{10}$ would be.
