harryprayiv
Follow
Lists (6)
Cardano Ecosystem
A curated list of excellent work being done by parties other than IOHK/IOG on Cardano and the Plutus functional programming language.Cardano Smart Contracts
A List of Viable Technologies in the Cardano EcosystemHaskell with Flakes
nix-configs.Cardano
Helpful cardano-related nix-configs.Purescript with Nix
Various projects that use the power of Nix to target Purescript.Useful Purescript
Stars
Run macOS on QEMU/KVM. With OpenCore + Monterey + Ventura + Sonoma support now! Only commercial (paid) support is available now to avoid spammy issues. No Mac system is required.
Experience macOS just like before
Simple, elegant, Pythonic functional programming.
NixOps is a tool for deploying to NixOS machines in a network or cloud.
Proposed compiler and language changes for GHC and GHC/Haskell
K Semantics of the Ethereum Virtual Machine (EVM)
A community driven list of useful apps, tools and websites for the Lemmy federated social network.
A Raspberry Pi modification to the Rancilio Silvia Espresso Machine implementing PID temperature control.
A simple pythonic programming language for Smart Contracts on Cardano
Various forms of Tezos software distribution for Linux and macOS.
A Open Lighting show controller that can run standalone on a Raspberry Pi written in Python.
A unified framework for Cardano Smart Contract testing and benchmarking m
The semantics of Python in K
Scrapes the CBS fantasy baseball site to generate a weekly summary for export to reddit