Tommy Kammerer's starred repositories
lobster-challenge
Simple Plutus contract to help give Charles' stuffed lobster a name
cardano-private-testnet-setup
Setup guide to create private Cardano testnet and run sample transactions including a Plutus contract example. This environment can be used for local development and learning.
offchain-metadata-tools
Tools for creating, submitting, and managing off-chain metadata such as multi-asset token metadata
cardano-world
Cardano world provides preprod and preview cardano networks, configuration documentation and miscellaneous automation.
cardano-lottery
The Open Source Cardano Lottery is a smart contract lottery built using plutus for the Cardano Blockchain. It is a non-custodial lottery where all interactions with the lottery are done directly with smart contracts and do not require any 3rd party to manage and hold any lottery funds.
formal-ledger-specifications
Formal specifications of the cardano ledger
cardano-verify-datasignature
A lightweight typescript library to verify a cip30 datasignature
Catalyst-Prioritized-Problems
The repository for Catalyst Circle Prioritized Problems
token-registry-service
Cardano token registry service
cip25-search-engine
A reference app that uses Oura + Elasticsearch + React to buid a Cardano CIP-25 search engine
discourse-word-cloud
Generates a word cloud from the posts on your Discourse forum
Haskell-GitBook
Location for reporting errors in the Haskell GitBook
tgbot-artifacts
Artifacts used by bots on cardano telegram platform