Jonathan's repositories
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.
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
aiken
Cardano Smart Contracts
awesome-zero-knowledge-proofs
A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).
bufferline.nvim
A snazzy bufferline for Neovim
cardano-connect-with-wallet
This repository aims to provide useful hooks and React components
l4v
seL4 specification and proofs
linguist
Language Savant. If your repository's language is being reported incorrectly, send us a pull request!
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.
plutarch-unit
Unit tests for Plutarch