Michał Adamczyk's repositories
agora
Governance modules for Cardano protocols
cardano-ledger
The ledger implementation and specifications of the Cardano blockchain.
ChatDev
Create Customized Software using Natural Language Idea (through LLM-powered Multi-Agent Collaboration)
Launchpad95
Improved Novation Launchpad scripts for Ableton Live
mina
Mina is a new cryptocurrency with a constant size blockchain, improving scaling while maintaining decentralization and security.
mina-navigator-challenges
Implementation of the challenges from the Mina Navigator program.
minauth-plugin-starter-pack
A small template project that guides through an implementation of a MinAuth Plugin.
plutarch-plutus
Typed eDSL for writing UPLC /ˈpluː.tɑːk/
plutarch-quickcheck
Pain-free QuickCheck helpers for Plutarch
plutonomicon
Advanced techniques in the plutus smart contract language
plutus-extra
Helper libraries for Plutus.
re-frame
A ClojureScript framework for building user interfaces, leveraging React
snarkyjs
TypeScript framework for zk-SNARKs and zkApps
zk-regex-o1js
A library for verifying zero-knowledge regular expressions on the Mina blockchain.