As for libraries: Usually that boils to "No."
To quote: "The conventional approach, enforced to a greater or lesser extent, is that you shall use a standard subroutine. I say that you should write your own subroutines." (http://www.forth.com/resources/evolution/evolve_1.html)
I think that's an important thing: anybody who's seriously doing Forth work has written his or her own interpreter to do it with. Which may be as it should be.
For instance, a typical transaction goes like this:
[scriptSig] [scriptPubKey]
Where scriptSig is: __signature__ __public_key__
and scriptPubkey is: OP_DUP OP_HASH160 __some_hash__ OP_EQUALVERIFY OP_CHECKSIG
In rough terms:
OP_DUP works like classic Forth DUP, duplicates the immediate stack element. OP_HASH160 replaces the stack element with its hash160. OP_EQUALVERIFY performs a "fail if not equal" and OP_CHECKSIG takes two elements from the stack and verifies they're a pubkey and its signature.
So basically that's how the system verifies that a transaction is signed by the owner of the input address to go to the owner of the output address.
I worked on it a bit, though it doesn't change much beyond bug fixes these days.
Peripheral vendors still routinely provide FCode drivers in the server space.