GitHub Repositories
presentations
Presentations.
TeX • 17 stars
packetlogger
simple packet logger with netfilter queue
C • 8 stars
gofpher
a collection of functional programming constructs for go
Fork Go • 7 stars
dhallia
Dhall-configured inductive API definitions
Fork Haskell • 1 star
haskell-google-cloud
Haskell library for interacting with Google cloud services
Haskell
Badges
Three Year Club
This badge celebrates the longevity of those who have been a registered member of the DEV Community for at least three years.
Two Year Club
This badge celebrates the longevity of those who have been a registered member of the DEV Community for at least two years.
One Year Club
This badge celebrates the longevity of those who have been a registered member of the DEV Community for at least one year.
Currently learning
Learning: Coq, Idris, Racket, Statistics
Skills/Languages
Haskell, Rust, C, Go; PLT, Algebra, Category Theory, Data Engineering, Distributed Systems, Security, Privacy, Kernel Hacking.
Want to connect with Rebecca Skinner?
Create an account to connect with Rebecca Skinner. You can also sign in below to proceed if you already have an account.