We say that a nonselfadjoint operator algebra is partly free if it contains a free semigroup algebra. Motivation for such algebras occurs in the setting of what we call free semigroupoid algebras. These are the weak operator topology closed algebras generated by the left regular representations of semigroupoids associated with finite or countable directed graphs. We expand our analysis of partly free algebras from previous work and obtain a graph-theoretic characterization of when a free semigroupoid algebra with countable graph is partly free. This analysis carries over to norm closed quiver algebras. We also discuss new examples for the countable graph case.Every finite or countable directed graph G recursively generates a Fock space Hilbert space and a family of partial isometries. These operators are of Cuntz-Krieger-Toeplitz type and also arise through the left regular representations of free semigroupoids determined by directed graphs. This was initially discovered by Muhly [23], and, in the case of finite graphs, more recent work with Solel [24] considered the norm closed algebras generated by these representations, which they called quiver algebras. In [19], we developed a structure theory for the weak operator topology closed algebras L G generated by the left regular representations coming from both finite and countable directed graphs; we called these algebras free semigroupoid algebras. In doing so, we found a unifying framework for a number of classes of algebras which appear in the literature, including; noncommutative analytic Toeplitz algebras L n [2,10,11,20,25,26] (the prototypical free semigroup algebras), the classical analytic Toeplitz algebra H ∞ [14,16], and certain finite dimensional digraph algebras [19]. But this approach gives rise to a diverse collection of new examples which include finite dimensional algebras, algebras with free behaviour, algebras which can be represented as matrix function algebras, and examples which mix these possibilities. The general theme of our work in [19] was a marriage of simple graph-theoretic properties with properties of the operator algebra. Furthermore, our technical analyses were chiefly spatial in nature; for instance, we proved the graph is a complete unitary invariant of both the free semigroupoid algebra and the quiver algebra.In the next section we give a short introduction to free semigroupoid algebras and discuss a number of examples. The second section contains an expanded analysis of a first author partially supported by a Canadian NSERC Post-doctoral Fellowship.