development.header.title

development.header.introduction

development.research

Juvix

development.last_update_in August 2019

Juvix synthesizes a high-level frontend syntax, dependent-linearly-typed core language, and low-level parallelisable optimally-reducing execution model into a single unified stack for writing formally verifiable, efficiently executable smart contracts which can be deployed to a variety of distributed ledgers.

development.development

Smarter Contracts

development.last_update_in May 2019

Application-layer smart contracts & tooling.

development.development

StakePi

development.last_update_in March 2019

Multi-chain stake monitoring tool with a Raspberry Pi in Python.

development.research

Library

development.last_update_in May 2019

Multiple learning resources on PoS networks. Articles, presentation slides, etc.