Aiken

All

28 repositories

aiken
Public
A modern smart contract platform for Cardano
rust compiler smart-contracts plutus cardano plutus-core
Rust
•
Apache License 2.0
•98•498•11•3•Updated Jan 9, 2025Jan 9, 2025
fuzz
Public
A library for writing Fuzzers for property-based testing in Aiken
testing property-based-testing fuzzer aiken
Nix
•
Apache License 2.0
•5•6•2•3•Updated Dec 19, 2024Dec 19, 2024
bench
Public
A library to help users create Samplers to benchmark their Aiken code
Apache License 2.0
•0•0•0•0•Updated Dec 18, 2024Dec 18, 2024
site
Public
Website and Docs for Aiken
docs aiken
MDX
•
Apache License 2.0
•49•8•11•2•Updated Dec 17, 2024Dec 17, 2024
stdlib
Public
The Aiken Standard Library
plutus aiken smart-contract cardano
Gleam
•
Apache License 2.0
•29•50•1•1•Updated Dec 13, 2024Dec 13, 2024
homebrew-tap
Public
Homebrew tap for Aiken
Ruby
•0•0•0•0•Updated Dec 13, 2024Dec 13, 2024
prelude
Public
The Aiken Prelude, enabled by default.
aiken
2•3•2•2•Updated Dec 13, 2024Dec 13, 2024
editor-integration-nvim
Public
A plugin for working with Aiken on Vim / NeoVim.
vim-plugin neovim-plugin aiken nvim-plugin
Vim Script
•
Mozilla Public License 2.0
•4•13•0•0•Updated Oct 22, 2024Oct 22, 2024
merkle-patricia-forestry
Public
🌳 Libraries (Aiken & Node.js) for working with Merkle Patricia Tries on Cardano.
merkle-tree aiken cardano sparse-merkle-tree merkle-patricia-trie
JavaScript
•
Mozilla Public License 2.0
•7•32•0•1•Updated Oct 17, 2024Oct 17, 2024
play
Public
Aiken Playground
rust wasm aiken leptos
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
•0•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
extension zed aiken
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
awesome awesome-list aiken cardano
Creative Commons Zero v1.0 Universal
•21•63•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
.github
Public
1•1•0•0•Updated Jul 26, 2024Jul 26, 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
vscode-aiken
Public
Aiken support for VS Code
vscode lsp aiken cardano plutus-core
TypeScript
•
Apache License 2.0
•5•16•3•0•Updated May 30, 2024May 30, 2024
setup-aiken
Public
Set up for your Aiken GitHub Actions
JavaScript
•
Apache License 2.0
•1•3•0•0•Updated May 24, 2024May 24, 2024
aiken-mode
Public
Emacs mode for https://github.com/aiken-lang/aiken
Emacs Lisp
•
Mozilla Public License 2.0
•5•6•0•1•Updated May 10, 2024May 10, 2024
marlowe
Public
An implementation of the Marlowe validators in Aiken
smart-contracts aiken cardano marlowe
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
An experimental desktop app for playing with Untyped Plutus Core
svelte tauri
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
aiken cardano
0•1•0•0•Updated Jan 13, 2023Jan 13, 2023