phi16 phi16

alive

150 followers · 4 following

View GitHub Profile

Recently created

Least recently created

Recently updated

Least recently updated

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 / 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 / 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 / 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 / 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 / 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 / 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 / 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 / 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 / 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