Axoni is pleased to announce AxLang, a new programming language that supports functional programming and enables formal verification of smart contracts for Ethereum ...

The introductions of data-flow programming techniques to smartcamera vision systems promises to change the way these systems are deployed.

Smart home programming: Easy as 'if this, then that' Date: April 29, 2014 Source: Brown University Summary: The idea of a smart home sounds promising enough -- who doesn't want a house full of ...

What is Vyper? Vyper is a contract-orientated, pythonic programming language for smart contracts designed to be used with the EVM.