Go to file
waalge fa55a4173c fix: gh actions bump cargo2nix unstable 2023-03-09 09:48:38 +00:00
.github fix: gh actions bump cargo2nix unstable 2023-03-09 09:48:38 +00:00
aikup chore: better curl 2023-02-28 01:08:48 -05:00
crates ChooseData is now lazy with its branch arguments. 2023-03-09 00:31:57 -05:00
examples ChooseData is now lazy with its branch arguments. 2023-03-09 00:31:57 -05:00
.editorconfig rename examples/tests/{a,b,c,d,e,f} into examples/acceptance_tests/00{1,2,3,4,5,6} 2022-12-14 09:45:24 +01:00
.gitattributes Add support for Nix flakes. 2023-02-07 13:16:17 +01:00
.gitignore Define 'local' gitignore for examples' packages. 2023-01-06 13:30:56 +01:00
CHANGELOG.md fix(check): record field access properly restricted to single constr types 2023-03-08 23:50:16 -05:00
CONTRIBUTING.md chore: clean some links up so they point to the new repo 2022-12-17 11:19:02 -05:00
Cargo.lock feat: introduce miette into uplc 2023-03-08 10:19:35 +01:00
Cargo.nix merge 2023-03-09 09:41:33 +00:00
Cargo.toml chore: remove debug symbols in release 2023-02-01 18:53:11 -05:00
LICENSE Tweak LICENSE 2022-12-20 05:47:13 +01:00
README.md feat: new release job and some release notes 2023-02-23 18:52:56 -05:00
flake.lock merge 2023-03-09 09:41:33 +00:00
flake.nix merge 2023-03-09 09:41:33 +00:00

README.md

Aiken Aiken

A modern smart contract platform for Cardano

Licence Crates.io Tests


QuickStart

Prerequisites

For now you'll need rust installed, see rustup.

Getting started

In case you have fresh installation of rustup you might need to do:

rustup install stable
$ cargo install --git https://github.com/aiken-lang/aiken.git

$ aiken --help

Alternatively nix builds are available via flakes.

How to use

For more information please see the user manual.

Roadmap

Aiken defines its roadmap using Github Milestones. The roadmap isn't set in stone, but gives a high-level overview of where the project is headed for.

Contributing

Want to contribute? See CONTRIBUTING.md to know how.


Note

The name comes from Howard Aiken, an American physicist and a pioneer in computing.