Justia is a general legal info portal and has many high-level court opinions within that portal. Casetext is primarily legal research software and has many US/state codes within its database. (https://casetext.com/coverage) I think the broad strokes are right in that summary. judyrecords has many more cases than Justia or casetext. More than 600M+ if I had to guess quick.