Skip to content

Instantly share code, notes, and snippets.

View ahaxu's full-sized avatar

AhaXu ahaxu

View GitHub Profile
@ahaxu
ahaxu / ish-apks.txt
Created July 11, 2022 04:30 — forked from andypiper/ish-apks.txt
Setup iSH / Alpine Linux on iPad
# edit the login message
vi /etc/motd
# switch to usable repos - iSH defaults often failed with EOF errors
echo https://dl-cdn.alpinelinux.org/alpine/v3.13/main > /etc/apk/repositories
echo https://dl-cdn.alpinelinux.org/alpine/v3.13/community >> /etc/apk/repositories
# install some basics
apk add zsh bash
apk add sed attr dialog dialog-doc bash bash-doc bash-completion grep grep-doc
@ahaxu
ahaxu / ManagedDelegation.hs
Created April 15, 2022 06:41 — forked from KtorZ/ManagedDelegation.hs
A Plutus smart-validator "that allows one to stake & then send the interest to an address other than the principal’s address".
-- | ⚠️ IMPORTANT
--
-- This code is UNTESTED and UNLICENSED. Use at your own risk and do whatever
-- you want with it.
{-# LANGUAGE TemplateHaskell #-}
{-# LANGUAGE TypeApplications #-}
module Plutus.ManagedDelegation where
@ahaxu
ahaxu / Shape.hs
Created March 31, 2022 14:01 — forked from sacundim/Shape.hs
OOP Shape example in Haskell, using existentials, GADTs, Typeable and ConstraintKinds to support downcasts.
{-# LANGUAGE GADTs, ConstraintKinds, KindSignatures, DeriveDataTypeable #-}
{-# LANGUAGE TypeOperators, ScopedTypeVariables, FlexibleInstances #-}
module Shape where
import Control.Applicative ((<$>), (<|>))
import Data.Maybe (mapMaybe)
import Data.Typeable
import GHC.Exts (Constraint)