MiekH
Cardano Ledger w/ Plutus, Python, Haskell; Linux, MacOS, Nix, NeoVim User, ASIC DSP/AI design & verification
Denver, CO
Pinned Repositories
cache
cardano-node
The core component that is used to participate in a Cardano decentralised blockchain.
haskell-course
This course is designed to teach students Haskell from zero to everything needed to work with Marlowe and Plutus. The course itself doesn't contain content specific to Marlowe or Plutus. So, if you want to use it to learn Haskell for other purposes, you can! 😃
iTerm2-Color-Schemes
Over 250 terminal color schemes/themes for iTerm/iTerm2. Includes ports to Terminal, Konsole, PuTTY, Xresources, XRDB, Remmina, Termite, XFCE, Tilda, FreeBSD VT, Terminator, Kitty, MobaXterm, LXTerminal, Microsoft's Windows Terminal, Visual Studio, Alacritty
lowRISC-style-guides
lowRISC Style Guides
nvim-miek
configuration for my nvim
plutus
The Plutus language implementation and tools
plutus-apps
The Plutus application platform
plutus-pioneer-program
MiekH's Repositories
MiekH/haskell-course
This course is designed to teach students Haskell from zero to everything needed to work with Marlowe and Plutus. The course itself doesn't contain content specific to Marlowe or Plutus. So, if you want to use it to learn Haskell for other purposes, you can! 😃
MiekH/nvim-miek
configuration for my nvim
MiekH/plutus
The Plutus language implementation and tools
MiekH/plutus-pioneer-program
MiekH/cache
MiekH/cardano-node
The core component that is used to participate in a Cardano decentralised blockchain.
MiekH/iTerm2-Color-Schemes
Over 250 terminal color schemes/themes for iTerm/iTerm2. Includes ports to Terminal, Konsole, PuTTY, Xresources, XRDB, Remmina, Termite, XFCE, Tilda, FreeBSD VT, Terminator, Kitty, MobaXterm, LXTerminal, Microsoft's Windows Terminal, Visual Studio, Alacritty
MiekH/lowRISC-style-guides
lowRISC Style Guides
MiekH/plutus-apps
The Plutus application platform