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

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 ...

Digital Asset, the creator of the Daml smart contract programming language, has secured $120 million in Series D financing from investors 7Ridge and Eldridge, setting the stage for continued ...

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

Solidity Programming smart contracts for the Ethereum blockchain. See Ethereum. Swift An Apple language that adds features to Objective-C. See Swift. TypeScript A superset of JavaScript that flags ...