Pinned Repositories
aleo-education
Aleo Education
Aleolottery
Aleo Lottery, it was acctually interesting to contruibute!
Game-TictacToe-on-Leo-Aleo
kotlin-logging
Lightweight Multiplatform logging framework for Kotlin. A convenient and performant logging facade.
leo
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
leonsans
Leon Sans is a geometric sans-serif typeface made with code in 2019 by Jongmin Kim.
London
A free, open source theme for Ghost
Muinchen
Config files for my GitHub profile.
NFT-Marketplace-Tutorial
NFT marketplace tutorial by Alchemy
PowerShell
PowerShell for every system!
Muinchen's Repositories
Muinchen/aleo-education
Aleo Education
Muinchen/Aleolottery
Aleo Lottery, it was acctually interesting to contruibute!
Muinchen/Game-TictacToe-on-Leo-Aleo
Muinchen/kotlin-logging
Lightweight Multiplatform logging framework for Kotlin. A convenient and performant logging facade.
Muinchen/leo
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
Muinchen/leonsans
Leon Sans is a geometric sans-serif typeface made with code in 2019 by Jongmin Kim.
Muinchen/London
A free, open source theme for Ghost
Muinchen/Muinchen
Config files for my GitHub profile.
Muinchen/NFT-Marketplace-Tutorial
NFT marketplace tutorial by Alchemy
Muinchen/PowerShell
PowerShell for every system!
Muinchen/PoWFaucet
Modularized faucet for EVM chains with different protection methods (Captcha, Mining, IP, Mainnet Balance, Gitcoin Passport and more)
Muinchen/RustScan
🤖 The Modern Port Scanner 🤖
Muinchen/shelljs
:shell: Portable Unix shell commands for Node.js
Muinchen/snarkVM
A Virtual Machine for Zero-Knowledge Executions
Muinchen/taiko-mono
A decentralized, Ethereum-equivalent ZK-Rollup. 🥁