Tommy Kammerer's starred repositories
formal-ledger-specifications
Formal specifications of the cardano ledger
cardano-verify-datasignature
A lightweight typescript library to verify a cip30 datasignature
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.
discourse-word-cloud
Generates a word cloud from the posts on your Discourse forum
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.
Haskell-GitBook
Location for reporting errors in the Haskell GitBook
offchain-metadata-tools
Tools for creating, submitting, and managing off-chain metadata such as multi-asset token metadata
token-registry-service
Cardano token registry service
tgbot-artifacts
Artifacts used by bots on cardano telegram platform
Catalyst-Prioritized-Problems
The repository for Catalyst Circle Prioritized Problems
cip25-search-engine
A reference app that uses Oura + Elasticsearch + React to buid a Cardano CIP-25 search engine
awesome-cardano-rust
A curated list of Cardano (mostly) Rust code and resources.
cardano-android
Cardano-node on android