Skip to content

Instantly share code, notes, and snippets.

View phi16's full-sized avatar

phi16 phi16

148 followers · 4 following
View GitHub Profile
@phi16
phi16 / Snow.shader
Last active August 1, 2020 07:33
https://twitter.com/phi16_/status/1289462940362571776
Shader "Mochi/Snow"
{
Properties
{
_Color ("Color", Color) = (0.5,0.8,1,1)
}
SubShader
{
Tags { "RenderType"="Transparent" "Queue"="Transparent" "LightMode"="ForwardBase" "DisableBatching"="True" }
LOD 100
@phi16
phi16 / qr.js
Created December 10, 2017 07:39
// dokka kara totte kita
function dataURItoBlob(dataURI) {
// convert base64/URLEncoded data component to raw binary data held in a string
var byteString;
if (dataURI.split(',')[0].indexOf('base64') >= 0)
byteString = atob(dataURI.split(',')[1]);
else
byteString = unescape(dataURI.split(',')[1]);
// separate out the mime component
@phi16
phi16 / index.html
Created November 12, 2016 03:30
Canvas putImageData
<!DOCTYPE html>
<head>
<title>test</title>
<script type="text/javascript">
var cvs2,ctx2;
var cvs,ctx;
var cnt = 0;
function render(){
ctx.fillStyle = "rgb(255,255,255)";
@phi16
phi16 / Main.hs
Created November 11, 2016 05:29
sch
import Prelude hiding (lines)
import System.Console.Haskeline
import System.Directory
import System.Process
import Data.List hiding (lines)
import Data.Maybe (fromMaybe)
import Data.Conduit hiding (mapM_)
import Data.Conduit.List (sourceList,consume)
import Data.Conduit.ProcessOld
import Data.ByteString.Char8 (ByteString,pack,unpack,lines)
@phi16
phi16 / main.hs
Created November 7, 2016 14:24
Boehm-Berarducci
{-# LANGUAGE Rank2Types #-}
newtype List a = List (forall r. (a -> r -> r) -> r -> r)
instance Show a => Show (List a) where
show (List xs) = show $ xs (:) []
nil :: List a
nil = List $ \f x -> x
cons :: a -> List a -> List a
@phi16
phi16 / logic_practice.agda
Last active October 20, 2016 00:54
科哲
module logic_practice where
infixr 0 _$_
infixl 10 _⇒_ _⇔_
infixl 20 _∨_ _∧_
infix 30 ¬_
_$_ : {A B : Set} → (A → B) → A → B
_$_ f = f
@phi16
phi16 / gen.js
Created October 7, 2016 02:55
Reader Monad
function *f(){
var a = yield "Arg1";
var b = yield "Arg2";
return a+b;
}
function *add(g1,g2){
var x = yield* g1;
var y = yield* g2;
return x+y;
@phi16
phi16 / main.hs
Created July 8, 2016 10:05
DFA to Regex
{-# LANGUAGE TupleSections #-}
import qualified Data.Map as M
import qualified Data.Set as S
import Data.List
import Data.Function
import System.IO
import Control.Monad
data C = O | I deriving (Eq, Ord, Enum, Show)
@phi16
phi16 / bf.hs
Last active May 5, 2016 14:42
Brainf*ck interpreter
{-# LANGUAGE TupleSections #-}
import Control.Applicative
import Control.Arrow
import Control.Lens hiding (Empty)
import Control.Monad
import Control.Monad.Trans.Class
import Control.Monad.State.Lazy hiding (State)
import Data.Char
import Data.Monoid
@phi16
phi16 / a.hs
Created April 16, 2016 03:38
GCJ2016-1A
import Data.Monoid
import Data.List
import Data.Array
import Data.PriorityQueue.FingerTree
import Control.Lens
import Control.Applicative
import Control.Monad
import Control.Monad.State
import Math.NumberTheory.Primes