Fafel stands for "Finally, a Functional Ethereum Language".
Fafel is a statically typed functional programming language for EVM compatible blockchains.