Homepage
Open in app
Sign in
Get started
Core
PLT
Cryptography
Official Website
Tagged in
Programming Languages
METASTATE
Blockchain R&D
More information
Followers
43
Elsewhere
More, on Medium
Programming Languages
Metastate
in
METASTATE
May 8, 2020
Juvix: Compiling Juvix to Michelson
Juvix
is a dependently typed programming language inspired by
Idris,
F★, and
Coq. Juvix is…
Read more…
10
Awa Sun Yin
in
METASTATE
Jan 22, 2020
The Why of Juvix [Part 2]: Ingredients & Architecture
Read more…
33
2 responses
Awa Sun Yin
in
METASTATE
Jan 8, 2020
The Why of Juvix: [Part 1] On the design of smart contract languages
Read more…
56