Pinned Repositories
acme-smuggler
Smuggle arbitrary values in ()
cue
run Docker containers with your home directory mounted
cwfh28
Build a Crap Web Form in Haskell in 28 days - blog series
ervide
A sous-vide controller in Erlang
hx2018
Haskell Exchange 2018 hands on workshop
msf
reads MSF data on a raspberry pi GPIO pin and feeds it into ntpd
picklerun
Run your Python functions inside a remote pickle deserializer
rusty-wheels
Persistence of Vision bike wheel LEDs in Rust
shittycpu40
Hacking around on a CPU+friends for a TinyFPGA BX
swirlclock
NeoPixel spiral wall decoration disco lights
benclifford's Repositories
benclifford/cwfh28
Build a Crap Web Form in Haskell in 28 days - blog series
benclifford/hx2018
Haskell Exchange 2018 hands on workshop
benclifford/hx2019-prereq
Haskell eXchange 2019 command line tutorial pre-requisites
benclifford/msf.rust
A Rust implementation of MSF radio clock decoder
benclifford/tmt
Temporary Merge Tool
benclifford/2018-nottingham-prereq
Prereqs for hands on / live coding at University of Nottingham 2018
benclifford/ervide
A sous-vide controller in Erlang
benclifford/hx2018-prereq
Use this if you're planning on taking my Haskell hands-on course at Haskell Exchange 2018
benclifford/hx2019
Haskell eXchange 2019 build-a-cli hands on tutorial
benclifford/idris-todaybot
An Idris implementation of lsc-todaybot - a bot which moves the [TODAY] flair around on reddit.com/r/LondonSocialClub
benclifford/MSE
MSE / Merrow Scout Events / a bolt-on for Online Scout Manager for our scout group event registration
benclifford/2019-nottingham-prereq
prereqs for nottingham hands-on tutorial 2019
benclifford/ALCF_1.2i
benclifford/git
Git Source Code Mirror - This is a publish-only repository and all pull requests are ignored. Please follow Documentation/SubmittingPatches procedure for any of your improvements.
benclifford/goggles
My driver code for AdaFruit NeoPixel goggles kit
benclifford/hallowbit
2018/2019 halloween project: bbc micro:bit and neopixels on a t-shirt
benclifford/hx2017
Haskell Exchange 2017 Parser hands-on tutorial material
benclifford/idris-config
Parsers for various configuration files written in Idris.
benclifford/Idris-dev
A Dependently Typed Functional Programming Language
benclifford/idris-hang-1
investigating slow build time in idris
benclifford/ImageProcessingPipelines
Alert Production and Data Release image processing pipelines using the LSST Stack
benclifford/ipyparallel
Interactive Parallel Computing in Python
benclifford/london-hug-rust-resource
slides for London Haskell resource management / rust talk
benclifford/parsl
Parsl - Parallel Scripting Library
benclifford/pdf-slave
Service for rendering PDF documents from haskintex templates and YAML inputs
benclifford/postgresql-simple-sop
benclifford/pr-template-playground
testing PR templates
benclifford/r-income-tax
UK income tax calculations
benclifford/raspberry-pint-fpga-twiddleboard
Demo twiddle board for my Raspberry Pint FPGA talk
benclifford/raspint-webcam-motion
motion sensing pi webcam as presented at Raspberry Pint