🥶

Iain Moncrief Iainmon

🥶

at Oregon State University.

Iainmon / simply-typed-lambda-calculus.hs

Last active March 18, 2022 00:50


	import Prelude hiding (lookup)
	import Control.Monad (join)
	import Data.Functor ((<&>))

	type Name = String

	data Type
	= TLit Name
	\| TFun Type Type

Iainmon / reaction.frag

Created November 25, 2021 07:35

Nice reaction diffusion model that I found when Kassia was over.

Iainmon / expr.lisp

Last active August 24, 2021 05:49

	;; Generated from my lambda calculus implementation in Haskell
	;; Iain: plz read this https://eecs490.github.io/notes/theory.html
	(lambda (f) ((lambda (x) (f (x x))) (lambda (x) (f (x x)))))
	(lambda (f) (lambda (x) (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (x))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))

Iainmon / svg-experiment.js

Created May 23, 2021 01:51

	const sharp = require('sharp');
	const fs = require('fs').promises;
	const SVG = require('@svgdotjs/svg.js');

	const main = async () => {
	const buffer = await fs.readFile(__dirname + '/dist/img/sprites/svg/bella-day.svg');
	// sharp(buffer).resize().toFormat('png').toFile('bella.png');
	const bufferString = buffer.toString();
	const draw = SVG.SVG();
	const out = draw.svg(bufferString);

Iainmon / ikeeppromises.js

Created May 13, 2021 19:04


	(([http, fs]) => fs.readdir([__dirname, 'public'].join('/'))
	.then(names => names.map(name => fs.readFile([__dirname, 'public', name].join('/'))
	.then(contents => [name, contents])))
	.then(promises => Promise.all(promises))
	.then(pairs => [new Map(), pairs])
	.then(([assets, pairs]) => [assets, pairs.map(pair => assets.set(...pair))].shift())
	.then(assets => [
	assets,
	[...assets.keys()]

Iainmon / triangles.glsl

Created March 29, 2021 07:33

	#include "lib/runtime.glsl"

	float sierpinski(int x, int y) {
	return (x & y) == 0 ? 0.0 : 1.0;
	}
	void program(inout vec3 color) {
	vec2 pos = gl_FragCoord;
	float pixel = sierpinski(int(pos.x), int(pos.y));
	color = vec3(pixel);
	}

Iainmon / starGraph.hs

Created February 28, 2021 21:05

Star graph implementation as a functor in Haskell

	data Graph a = Vert a [Graph a] deriving (Show)

	consStarGraph :: (Num a) => Integer -> a -> Graph a
	consStarGraph 0 m = Vert m []
	consStarGraph n m = Vert m edges where
	edges = map (\k -> consStarGraph 0 (m + fromInteger k) ) [1..n]

	addPoint :: Graph a -> Graph a -> Graph a
	addPoint (Vert m edges) point = Vert m (point : edges)

Iainmon / error.txt

Created February 15, 2021 06:50

	hashMap.c:60:19: error: ISO C90 forbids mixing declarations and code
	[-Werror,-Wdeclaration-after-statement]
	struct hashLink* bkt;
	^

Iainmon / dynamic_list.c

Last active February 4, 2021 06:54

This is practice

	/* ENTER YOUR FIRST AND LAST NAME: */

	/* TO COMPILE: gcc -Wall -ansi -o prog Group1.c */

	/* TO RUN, ENTER SIZE OF BAG */
	/* FOR EXAMPLE: ./prog 10 */

	#include <stdio.h>
	#include <stdlib.h>
	#include <assert.h>

Iainmon / lecture_push_stack_by_val.c

Last active January 28, 2021 21:13