Ryonald Teofilo
ryonaldteofilo
I like to typing things into my computer sometimes.
Rancang Nusantara Teknologi Batam
Meta
facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
Menlo Park, California
Vlad L
cstml
λx . (λx . "Interested in: " <> x) "Haskell, Proofs, Agda, Rust, PLT, λ calc, lisp, erlang, Nix, Maybe C - did I mention Types?"
Sheffield, United Kingdom
Bradley Playdon
bradleyplaydon
You'll find all my latest projects and previous projects through my GitHub if there's any project you'd like to collaborate on please contact me :)
Lichfield
Neo Cass
neo-cass
Masters student at the University of Bath studying Computer Science and Mathematics. Currently writing my thesis in collaboration with CERN.
Cornwall
Richard Andrews
richard-andrews
Cloud Engineer at Hewlett Packard Enterprise && 1st Class Hons. Computer Science Graduate from University of Bath
Hewlett Packard Enterprise Bristol, United Kingdom