Sean Gillespie

icon indicating a website link https://github.com/sgillespie icon indicating an email [email protected]

icon company @input-output-hk

Results 2 repositories owned by Sean Gillespie

lambda-calculus

88
Stars
15
Forks
Watchers

An introduction to the Lambda Calculus

verified publisher icon sgillespie

nixos-yubikey-luks

28
Stars
6
Forks
Watchers

Set up a LUKS-encrypted filesystem for Yubikey in NixOS

verified publisher icon sgillespie