Skip to content

@aiken-lang Aiken

Change the repository type filter

All

    Repositories list

    30 repositories

    • site

      Public
      Website and Docs for Aiken
      docsaiken
      MDX
      •
      Apache License 2.0
      •52•8•15•1•Updated Feb 18, 2025Feb 18, 2025

    • aiken

      Public
      A modern smart contract platform for Cardano
      rustcompilersmart-contractsplutuscardanoplutus-core
      Rust
      •
      Apache License 2.0
      •105•507•15•2•Updated Feb 18, 2025Feb 18, 2025

    • editor-integration-nvim

      Public
      A plugin for working with Aiken on Vim / NeoVim.
      vim-pluginneovim-pluginaikennvim-plugin
      Vim Script
      •
      Mozilla Public License 2.0
      •5•13•0•0•Updated Feb 15, 2025Feb 15, 2025

    • fuzz

      Public
      A library for writing Fuzzers for property-based testing in Aiken
      testingproperty-based-testingfuzzeraiken
      Nix
      •
      Apache License 2.0
      •5•6•1•2•Updated Feb 13, 2025Feb 13, 2025

    • .github

      Public
      1•1•0•0•Updated Feb 12, 2025Feb 12, 2025

    • stdlib

      Public
      The Aiken Standard Library
      plutusaikensmart-contractcardano
      Gleam
      •
      Apache License 2.0
      •30•50•2•1•Updated Feb 12, 2025Feb 12, 2025

    • setup-aiken

      Public
      Set up for your Aiken GitHub Actions
      JavaScript
      •
      Apache License 2.0
      •2•3•0•0•Updated Feb 12, 2025Feb 12, 2025

    • homebrew-tap

      Public
      Homebrew tap for Aiken
      Ruby
      •0•0•0•0•Updated Feb 11, 2025Feb 11, 2025

    • textplots-rs

      Public
      Terminal plotting library for Rust
      Rust
      •27•0•0•0•Updated Feb 11, 2025Feb 11, 2025

    • prelude

      Public
      The Aiken Prelude, enabled by default.
      aiken
      2•3•2•2•Updated Feb 11, 2025Feb 11, 2025

    • Bullet

      Public
      Account Based model so simplified and aerodynamic like a bullet
      TypeScript
      •
      MIT License
      •0•7•0•0•Updated Feb 9, 2025Feb 9, 2025

    • sample

      Public
      A library to help users create Samplers to benchmark their Aiken code
      Apache License 2.0
      •0•0•0•0•Updated Feb 8, 2025Feb 8, 2025

    • vscode-aiken

      Public
      Aiken support for VS Code
      vscodelspaikencardanoplutus-core
      TypeScript
      •
      Apache License 2.0
      •6•16•3•0•Updated Jan 22, 2025Jan 22, 2025

    • merkle-patricia-forestry

      Public
      🌳 Libraries (Aiken & Node.js) for working with Merkle Patricia Tries on Cardano.
      merkle-treeaikencardanosparse-merkle-treemerkle-patricia-trie
      JavaScript
      •
      Mozilla Public License 2.0
      •8•34•0•0•Updated Jan 13, 2025Jan 13, 2025

    • play

      Public
      Aiken Playground
      rustwasmaikenleptos
      Rust
      •
      Apache License 2.0
      •0•13•1•0•Updated Oct 2, 2024Oct 2, 2024

    • aikup

      Public
      Manage multiple versions of aiken
      Rust
      •
      Apache License 2.0
      •1•1•6•0•Updated Oct 2, 2024Oct 2, 2024

    • tree-sitter-aiken

      Public
      Aiken bindings for tree-sitter
      JavaScript
      •
      Apache License 2.0
      •2•3•0•1•Updated Sep 11, 2024Sep 11, 2024

    • zed-aiken

      Public
      Aiken support for Zed
      extensionzedaiken
      Rust
      •
      Apache License 2.0
      •0•3•1•0•Updated Sep 5, 2024Sep 5, 2024

    • awesome-aiken

      Public
      A collection of Aiken libraries, dapps, and resources
      awesomeawesome-listaikencardano
      Creative Commons Zero v1.0 Universal
      •21•65•0•2•Updated Aug 15, 2024Aug 15, 2024

    • linguist

      Public
      Language Savant. If your repository's language is being reported incorrectly, send us a pull request!
      Ruby
      •
      MIT License
      •4.4k•0•0•0•Updated Aug 14, 2024Aug 14, 2024

    • sparse-merkle-tree

      Public
      A sparse merkle tree lib focused on efficient on-chain proofs. Enforces ordering within the merkle tree.
      Rust
      •1•8•0•0•Updated Jun 2, 2024Jun 2, 2024

    • aiken-mode

      Public
      Emacs mode for https://github.com/aiken-lang/aiken
      Emacs Lisp
      •
      Mozilla Public License 2.0
      •5•7•0•1•Updated May 10, 2024May 10, 2024

    • marlowe

      Public
      An implementation of the Marlowe validators in Aiken
      smart-contractsaikencardanomarlowe
      Shell
      •2•5•0•0•Updated Apr 9, 2024Apr 9, 2024

    • staking

      Public
      Ties delegation credential to a spend validator allowing for stateful redelegation.
      MIT License
      •0•2•1•0•Updated Dec 20, 2023Dec 20, 2023

    • flat-rs

      Public archive
      Archive of the flat-rs crate
      Rust
      •0•0•0•0•Updated Dec 5, 2023Dec 5, 2023

    • auplc

      Public
      A UPLC machine in Aiken
      Apache License 2.0
      •0•2•0•0•Updated Sep 30, 2023Sep 30, 2023

    • escrow_to_index_fund

      Public
      Imagine "Akira", but in smart contract form
      0•0•0•0•Updated Sep 11, 2023Sep 11, 2023

    • uplc-playground

      Public archive
      An experimental desktop app for playing with Untyped Plutus Core
      sveltetauri
      CSS
      •
      Apache License 2.0
      •0•1•0•0•Updated Jun 20, 2023Jun 20, 2023

    • trees

      Public
      A forest for Aiken
      Apache License 2.0
      •1•4•0•0•Updated Mar 8, 2023Mar 8, 2023

    • branding

      Public
      Graphic Assets for Aiken
      aikencardano
      0•1•0•0•Updated Jan 13, 2023Jan 13, 2023