jinn 0.0.2

Verification-first language and framework for whole Cardano EUTXO protocols (early development; name reserved).
Documentation
  • Coverage
  • 100%
    1 out of 1 items documented0 out of 0 items with examples
  • Size
  • Source code size: 4.02 kB This is the summed size of all the files inside the crates.io package for this release.
  • Documentation size: 230.85 kB This is the summed size of all files generated by rustdoc for all configured targets
  • Ø build duration
  • this release: 2s Average build duration of successful builds.
  • all releases: 3s Average build duration of successful builds in releases after 2024-10-23.
  • Links
  • Homepage
  • jinn-lang/jinn
    0 0 0
  • crates.io
  • Dependencies
    • —
  • Versions
  • Owners
  • hackphobic

A language and toolchain for smart-contract protocols on Cardano

crates.io License status: early development

jinn is an early-stage language and toolchain for building smart-contract protocols on Cardano (EUTXO / Plutus).

🚧 Early development. This crate currently reserves the name on crates.io while the design settles — it has no public API yet and is not ready for use. It will become the umbrella facade that re-exports the jinn-* crates as those are published.

Development happens in the open — follow along at github.com/jinn-lang/jinn.

License

Licensed under the Apache License, Version 2.0.