Skip to content

Instantly share code, notes, and snippets.

View scott-fleischman's full-sized avatar

Scott Fleischman scott-fleischman

83 followers · 166 following
View GitHub Profile
@scott-fleischman
scott-fleischman / random.md
Last active December 12, 2017 20:06
Random numbers
@scott-fleischman
scott-fleischman / 3D.md
Last active November 7, 2017 23:35
3D Models
@scott-fleischman
scott-fleischman / text-font.md
Created September 13, 2017 19:48
Text and Font information
@scott-fleischman
scott-fleischman / performance.md
Last active November 10, 2017 19:55
Articles on High Performance
@scott-fleischman
scott-fleischman / resources-low-level.md
Last active February 13, 2020 21:14
Low level resources
@scott-fleischman
scott-fleischman / Main.hs
Created August 1, 2017 17:01
Library Agnostic Streaming in Haskell from http://www.haskellforall.com/2014/11/how-to-build-library-agnostic-streaming.html
{-# LANGUAGE OverloadedStrings #-}
module Main where
import Control.Monad.IO.Class (MonadIO, liftIO)
import Control.Monad (MonadPlus(mzero, mplus), msum)
import Data.Monoid (Monoid(..), (<>))
import qualified Pipes
import qualified System.IO as IO
@scott-fleischman
scott-fleischman / Main.hs
Created July 14, 2017 18:54
Zip unique list subsets
{-# LANGUAGE ExplicitForAll #-}
{-# LANGUAGE ScopedTypeVariables #-}
module Main where
import qualified Control.Monad as Monad
import qualified Data.Foldable as Foldable
import qualified Data.HashSet as HashSet
import qualified Data.List as List
import Data.Monoid ((<>))
@scott-fleischman
scott-fleischman / random.md
Created February 7, 2017 18:48
Common random number generator algorithms.
@scott-fleischman
scott-fleischman / STLC.agda
Created January 27, 2017 08:08
Simply Typed Lambda Calculus
module _ where
data Nat : Set where
zero : Nat
suc : Nat -> Nat
{-# BUILTIN NATURAL Nat #-}
_+_ : (n m : Nat) -> Nat
zero + m = m
suc n + m = suc (n + m)
@scott-fleischman
scott-fleischman / docker-cheatsheet.md
Last active January 26, 2017 22:03
Docker Cheatsheet

Docker Cheatsheet

sudo docker ps to see running containers

sudo docker ps -a to see running and stopped containers

sudo docker images to see the images you have

sudo docker stop <id container> to stop container