aiken-lang Goto Github PK

.github

aiken

A modern smart contract platform for Cardano

aiken-mode

Emacs mode for https://github.com/aiken-lang/aiken

aikup

Manage multiple versions of aiken

auplc

A UPLC machine in Aiken

awesome-aiken

A collection of Aiken libraries, dapps, and resources

branding

Graphic Assets for Aiken

editor-integration-nvim

A plugin for working with Aiken on Vim / NeoVim.

escrow_to_index_fund

Imagine "Akira", but in smart contract form

flat-rs

Archive of the flat-rs crate

fuzz

A library for writing Fuzzers for property-based testing in Aiken

homebrew-tap

Homebrew tap for Aiken

marlowe

An implementation of the Marlowe validators in Aiken

merkle-patricia-forestry

🌳 Libraries (Aiken & Node.js) for working with Merkle Patricia Tries on Cardano.

play

Aiken Playground

prelude

The Aiken Prelude, enabled by default.

setup-aiken

Set up for your Aiken GitHub Actions

site

Website and Docs for Aiken

sparse-merkle-tree

A sparse merkle tree lib focused on efficient on-chain proofs. Enforces ordering within the merkle tree.

staking

Ties delegation credential to a spend validator allowing for stateful redelegation.

stdlib

The Aiken Standard Library

tree-sitter-aiken

Aiken bindings for tree-sitter

trees

A forest for Aiken

uplc-playground

An experimental desktop app for playing with Untyped Plutus Core

vscode-aiken

Aiken support for VS Code

zed-aiken

Aiken support for Zed

zed-extensions

Extensions for the Zed editor