Evernode uses HotPocket as its smart contract engine. HotPocket smart contracts can be developed using any POSIX-compliant language/framework. To make it easy to develop and test HotPocket smart contracts on your local PC, you can use HotPocket developer kit.
https://github.com/EvernodeXRPL/evernode-sdk/blob/main/hpdevkit/index.md