Juvix

Juvix 將高級前端語法、相依線性類型的核心語言、優化系統、可後端交換的執行模型等綜合到統一的堆棧中，以編寫可正式驗證、可高效執行的智能合約。

其旨在解決嘗試編寫和部署去中心化應用時遇到的問題，借鑑並致力於在程序語言設計和類型理論方面積累大量的先前學術研究成果。