Jonathan's repositories
cardano-multiplatform-lib
Rust implementation of Cardano
aiken
Cardano Smart Contracts
plutarch-template
Plutarch Template is a template project with a basic project structure, Nix-based development environment, and pre-configured tools for linting and formatting code. Use it as a starting point for building Plutus applications.
linguist
Language Savant. If your repository's language is being reported incorrectly, send us a pull request!
cardano-connect-with-wallet
This repository aims to provide useful hooks and React components
lucid
Lucid is a library, which allows you to create Cardano transactions and off-chain code for your Plutus contracts in JavaScript, Deno and Node.js.
bufferline.nvim
A snazzy bufferline for Neovim
plutarch-merkle-tree
The MerkleTree library is a Plutarch implementation of a Merkle Tree data structure, which provides a method for creating, manipulating Merkle Trees Off Chain, and verifying Merkle Trees On Chain
l4v
seL4 specification and proofs