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

Developers can use traditional programming languages (C++, Python, JavaScript) for blockchain development as well as specifically built solutions like Solidity, Vyper and Scrypto.

Digital bank WeBank to explore using DAML, an open-source smart contract programming language for meeting regulatory requirements.

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

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