neongreen’s gists

neongreen / notion-to-brick.sh

Created August 8, 2020 02:30

	find . -name "*.html" -type f -exec sh -c \
	'dir=`dirname "$1"`; name=`basename "$1"`; (cd "$dir" && pandoc "$name" --self-contained -o "$name")' x {} +

neongreen / purscheck.hs

Last active May 14, 2020 16:19

	#!/usr/bin/env stack
	-- stack --resolver lts-13.26 script --package purescript --extra-dep aeson-1.4.7.1 --extra-dep serialise-0.2.2.0 --extra-dep cborg-0.2.2.0 --extra-dep happy-1.19.9 --extra-dep language-javascript-0.7.0.0 --extra-dep network-3.0.1.1 --extra-dep these-1.0.1 --extra-dep semialign-1 --extra-dep assoc-1.0.1 --extra-dep bifunctors-5.5.7 --extra-dep th-abstraction-0.3.2.0 --extra-dep time-compat-1.9.3 --package text --optimize

	{-# LANGUAGE LambdaCase #-}

	import Data.List
	import Data.List.NonEmpty (toList)
	import qualified Data.Text.IO as T
	import Language.PureScript.CST.Errors
	import Language.PureScript.CST.Parser

neongreen / counter.ino

Last active December 31, 2019 23:58

	#include <Arduboy2.h>
	#include <ArduboyTones.h>
	#include <stdint.h>
	#include <EEPROM.h>

	Arduboy2 arduboy;
	ArduboyTones sound(arduboy.audio.enabled);

	/*
	Changelog:

neongreen / Html.dhall

Created December 3, 2019 20:49

	let List/map =
	https://prelude.dhall-lang.org/List/map sha256:dd845ffb4568d40327f2a817eb42d1c6138b929ca758d50bc33112ef3c885680

	let Text/concat =
	https://prelude.dhall-lang.org/Text/concat sha256:731265b0288e8a905ecff95c97333ee2db614c39d69f1514cb8eed9259745fc0

	let JSON =
	https://prelude.dhall-lang.org/JSON/package.dhall sha256:0c3c40a63108f2e6ad59f23b789c18eb484d0e9aebc9416c5a4f338c6753084b

	let Map =

neongreen / default.nix

Last active November 9, 2019 22:15

nix-shell with custom Haskell packages

	with import <nixpkgs> { };

	let
	proto3-wire-src = fetchFromGitHub {
	owner = "awakenetworks";
	repo = "proto3-wire";
	rev = "4f355bbac895d577d8a28f567ab4380f042ccc24";
	sha256 = "16l1rnnygwk1b2sb3l6klhr6ad0wvry204icxnc81c6rbzbk6rqc";
	};

neongreen / pipes-ormolu.hs

Created July 9, 2019 23:04

neongreen / pipes.hs

Created July 9, 2019 23:04

neongreen / voodoo.hs

Created June 7, 2019 10:42

	{-# LANGUAGE RankNTypes #-}
	{-# LANGUAGE AllowAmbiguousTypes #-}
	{-# LANGUAGE TypeApplications #-}

	class Voodoo tag where
	-- Let's define an operation that requires TypeApplications in order to work
	voodoo :: Int -> String

	-- Let's also have an instance (we could have more, of course)
	data Tag

neongreen / foo.hs

Created June 7, 2019 10:41

	{-# LANGUAGE RankNTypes #-}
	{-# LANGUAGE AllowAmbiguousTypes #-}
	{-# LANGUAGE TypeApplications #-}

	class Voodoo tag where
	-- Let's define an operation that requires TypeApplications in order to work
	voodoo :: Int -> String

	-- Let's also have an instance (we could have more, of course)
	data Tag

neongreen / scrape.hs

Created March 17, 2019 10:47

	{-# LANGUAGE OverloadedStrings #-}
	{-# LANGUAGE DeriveGeneric #-}
	{-# LANGUAGE OverloadedStrings #-}
	{-# LANGUAGE ApplicativeDo #-}

	module Main where

	import Data.Default
	import Network.HTTP.Req
	import Data.Time.Calendar

Emily neongreen