Saturday, March 17, 2018
Liquidity is a high-level typed language for Tezos that strictly complies to Michelson security restrictions. A formal verification framework for it is under development. Liquidity is a high-level language to program Smart Contracts for Tezos.
This is a blog-post version of a talk I recently gave at the Haskell eXchange 2015. The video of the talk is here, but there were a lot of...
Programmers almost always need the ability to find and replace certain text across multiple files in their projects. Most IDEs provide find ...
RecordRTC is a library that allows for client-side recording, using WebRTC. It's a fantastic tool (created and well-maintained by Muaz...
This is a guest post from Sacha Greif, co-author of Discover Meteor and creator of VulcanJS and Sidebar.