![]() |
||
---|---|---|
example | ||
src | ||
.gitignore | ||
Cargo.lock | ||
Cargo.toml | ||
README.md |
README.md
Neptune
Experiments with Plutus Core
Roadmap
These are generic milestones and the listed ordering is not necessariy the implementation order
- compile plutus core into it's on chain encoding
- reverse the on chain encoding into plutus core
- create a higher level syntax with inspiration from
- JS
- ReasonML
- Elm
- Roc
- Rust
- Language Server
- Plutus Core interpreter
Resources
- Encoding/Decoding https://github.com/input-output-hk/plutus/blob/master/plutus-core/untyped-plutus-core/src/UntypedPlutusCore/Core/Instance/Flat.hs
- Typing https://github.com/input-output-hk/plutus/blob/master/plutus-core/untyped-plutus-core/src/UntypedPlutusCore/Core/Type.hs
- Serialization https://hydra.iohk.io/build/14133599/download/1/plutus-core-specification.pdf