aiken-lang / editor-integration-nvim
A plugin for working with Aiken on Vim / NeoVim.
☆13Updated 3 weeks ago
Related projects ⓘ
Alternatives and complementary repositories for editor-integration-nvim
- Aiken's utility library☆12Updated 11 months ago
- Implementation of a Consensus Layer for the Ouroboros family of protocols☆35Updated this week
- A RPC layer to interact with UTxO-based blockchains☆15Updated this week
- Aiken support for VS Code☆16Updated 5 months ago
- Off-chain code to interact with Genius Yield DEX contracts☆17Updated last week
- The Aiken Standard Library☆47Updated 3 weeks ago
- Market maker for the Genius Yield DEX☆18Updated this week
- The Developer Experience Shell - This repo contains a nix develop shell for haskell. Its primary purpose is to help get a development she…☆40Updated this week
- Flake Template for Haskell Projects☆17Updated this week
- An open-source library for Cardano developers using Hydra (Head)☆38Updated last year
- Plutarch 2.0☆19Updated 5 months ago
- A Cardano bot challenge to showcase the capabilities of the eUTxO model.☆22Updated this week
- Unofficial PAB implementation☆21Updated last year
- A p2p lending/borrowing protocol for the Cardano Settlement Layer, with trustlessly negotiable and enforceable loan terms, built-in credi…☆20Updated last month
- Nix tools for building Liqwid projects☆16Updated 9 months ago
- Unit testing with resource estimation for Plutus☆31Updated 9 months ago
- Formal specifications of the cardano ledger☆37Updated this week
- Cardano world provides preprod and preview cardano networks, configuration documentation and miscellaneous automation.☆30Updated 2 months ago
- Cardano API☆26Updated this week
- ☆39Updated last month
- This repository contains lessons for using Marlowe via REST and at the command line. It is meant to be used with demeter.run or with a Do…☆20Updated 6 months ago
- An opinionated Rust library for building application using data pipeline semantics.☆12Updated 2 months ago
- An untyped Plutus Core assembler☆33Updated 2 years ago
- Minimal reproducible nix flake templates☆14Updated 3 months ago
- A TUI for monitoring Cardano nodes☆28Updated this week
- Cardano Data Node☆68Updated last week
- Plutus Experience Modules☆21Updated last week
- A library of specialized Aiken functions for smart contracts on Cardano.☆15Updated this week
- Marlowe TypeScript SDK☆22Updated 5 months ago
- ☆14Updated 8 months ago