rcook
I like to hack in C++, C#, Python, Haskell and Rust among others. I work at @tableau.
@tableauKirkland, WA
rcook's Stars
rthomas/bazel-rust-protos
Building rust and protobufs with bazel.
AltraMayor/f3
F3 - Fight Flash Fraud
elfsternberg/riggedregex
Weighted Regular Expressions, an experiment in porting an academic Haskell library to Rust
astump/cedille-core-spec
Specification of the Cedille Core language
VictorTaelin/Cedille-Core
A minimal proof language.
SriramKeerthi/SimpleThreadpool
Simple Java Threadpool written from scratch, just to play around with code
Nike-Inc/hal
hal provides an AWS Lambda Custom Runtime environment for your Haskell applications.
ericrasmussen/snap-heist-examples
Annotated Heist templating examples in a Snap app
isovector/thinking-with-types
📖 source material for Thinking with Types
plfa/plfa.github.io
An introduction to programming language theory in Agda
rpeszek/IdrisTddNotes
Literate program notes from reading 'TDD with Idris' book comparing Idris and Haskell
brendanhay/amazonka
A comprehensive Amazon Web Services SDK for Haskell.
caseymrm/drivesink
A tool for syncing photos with Amazon Cloud Drive from the command-line.
pasqu4le/yesod-notes
Yesod-notes: a small yesod app to take notes
hasgeek/lastuser
Lastuser has been merged into Funnel. This repository is archived.
christopheraue/ruby-mruby_sandbox
A mruby sandbox for ruby
afajem/movenow-lambda-js
MoveNow: An AWS Lambda-based Fitbit Notifier
joerghall/cbt-tool-pypack
mjec/cryptopals-haskell
Cryptopals solutions in Haskell
mozkeeler/cryptopals
My Haskell implementation of the Matasano Crypto Challenges
seek-oss/serverless-haskell
Deploying Haskell applications to AWS Lambda with Serverless
JD95/haskell-problem-sets
A collection of Haskell practice problems
localstack/localstack
💻 A fully functional local AWS cloud stack. Develop and test your cloud & Serverless apps offline
Agnishom/PRGH17
Programming in Haskell Materials - Footnotes and Tutorials
arkanis/minidyndns
A simple DynDNS server with an build in HTTP interface to update IPs
mikfreeman/chatme_kafka
A NodeJs chat server that uses kafka as a distributed message log and a AngularJs client that uses web sockets for a real time chat experience.
jwasham/coding-interview-university
A complete computer science study plan to become a software engineer.
zulip/zulip
Zulip server and web application. Open-source team chat that helps teams stay productive and focused.
scotch-io/go-realtime-chat
A simple realtime chat application written in Go
ezynda3/go-chat
A simple realtime chat application written in Go