The next generation
smart contract language for Ethereum

Create decentralized applications in a powerful, future-proof and statically typed language that is easy to learn.

Fe is alpha software and not ready for production use!

Beautiful and elegant

The syntax of Fe is inspired by Python and Rust. It is easy to learn, even for those who have never dealt with the EVM before. Fe is designed to be safe and equipped with the tooling needed to validate contracts.

Simple yet powerful

Fe seeks to restrict dynamic behavior without limiting expressiveness. Features like constant generics let you write clean code without sacrificing compile-time guarantees.

Future proof

Fe uses the same intermediate language as Solidity (YUL), making it a great choice not only for the Ethereum mainnet, but also for many of the upcoming Layer 2 solutions like the OVM.

Explore some advanced contracts written in Fe

See examples →

The next generation smart contract language.

Fe is an evolving smart contract language that strives to make EVM development safer, simpler and more fun.

Static typing

Statically typed and equipped with a powerful compiler, Fe guides us to write robust code and avoid bugs.

Improved decidability

Fe limits dynamic program behavior to improve decidability and allow more precise gas cost estimation.

Standard library

Fe aspires to offer a rich standard library to assist with common tasks of smart contract development.

                      
                      

# We can define type aliases using the `type` keyword
type BookMsg = bytes[100]

# The `contract` keyword defines a new contract type
contract GuestBook:
    pub guest_book: map<address, BookMsg>

    # Events can be defined on contract or module level
    event Signed:
        book_msg: BookMsg

    pub def sign(book_msg: BookMsg):
        # All storage access is explicit using `self.<some-key>`
        self.guest_book[msg.sender] = book_msg

        # Emit the `Signed` event
        emit Signed(book_msg=book_msg)

    pub def get_msg(addr: address) -> BookMsg:
        return self.guest_book[addr].to_mem()