Nomos is a domain-specific language based on resource-aware session types for programming digital contracts.

The Nomos language provides 4 key benefits:

1. a session-type based mechanism for expressing the contract protocol
2. a resource type system for expressing and automatically inferring the gas bound of a transaction
3. a linear type system to handle assets
4. a design guarantee of no re-entrancy attacks

Try out the web interface for Nomos! You can

1. create gas account
2. type check and submit transactions
3. automatically infer the gas cost of transactions

Nomos is available open-source with comprehensive documentation and installation instructions. Click Here to go the GitHub repository.