GitHub Repositories
presentations
Presentations.
TeX • 15 stars
gofpher
a collection of functional programming constructs for go
Fork Go • 9 stars
packetlogger
simple packet logger with netfilter queue
C • 8 stars
dhallia
Dhall-configured inductive API definitions
Fork Haskell • 1 star
haskell-google-cloud
Haskell library for interacting with Google cloud services
Haskell
Badges
Four Year Club
This badge celebrates the longevity of those who have been a registered member of the DEV Community for at least four years.
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.
Skills/Languages
Haskell, Rust, C, Go; PLT, Algebra, Category Theory, Data Engineering, Distributed Systems, Security, Privacy, Kernel Hacking.
Currently learning
Learning: Coq, Idris, Racket, Statistics
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.