rcook

rcook's Stars

• jwasham/coding-interview-university

  A complete computer science study plan to become a software engineer.

  307k8.8k48277k

• localstack/localstack

  💻 A fully functional local AWS cloud stack. Develop and test your cloud & Serverless apps offline

  Language:Python56.6k5165.7k4k

• zulip/zulip

  Zulip server and web application. Open-source team chat that helps teams stay productive and focused.

  Language:Python21.7k3759.3k7.9k

• AltraMayor/f3

  F3 - Fight Flash Fraud

  Language:C2.6k55167144

• plfa/plfa.github.io

  An introduction to programming language theory in Agda

  Language:Agda1.4k23257318

• brendanhay/amazonka

  A comprehensive Amazon Web Services SDK for Haskell.

  Language:Haskell60519515226

• isovector/thinking-with-types

  📖 source material for Thinking with Types

  Language:Haskell478211943

• scotch-io/go-realtime-chat

  A simple realtime chat application written in Go

  Language:HTML296140125

• Nike-Inc/hal

  hal provides an AWS Lambda Custom Runtime environment for your Haskell applications.

  Language:Haskell240113713

• seek-oss/serverless-haskell

  Deploying Haskell applications to AWS Lambda with Serverless

  Language:Haskell215125122

• VictorTaelin/Cedille-Core

  A minimal proof language.

  Language:JavaScript20420212

• hasgeek/lastuser

  Lastuser has been merged into Funnel. This repository is archived.

  Language:Python1662116830

• arkanis/minidyndns

  A simple DynDNS server with an build in HTTP interface to update IPs

  Language:Ruby13115928

• caseymrm/drivesink

  A tool for syncing photos with Amazon Cloud Drive from the command-line.

  Language:Python107182318

• ezynda3/go-chat

  A simple realtime chat application written in Go

  Language:HTML5541148

• rpeszek/IdrisTddNotes

  Literate program notes from reading 'TDD with Idris' book comparing Idris and Haskell

  Language:Haskell481005

• astump/cedille-core-spec

  Specification of the Cedille Core language

  Language:TeX29603

• 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.

  Language:JavaScript28309

• Agnishom/PRGH17

  Programming in Haskell Materials - Footnotes and Tutorials

  Language:JavaScript25503

• ericrasmussen/snap-heist-examples

  Annotated Heist templating examples in a Snap app

  Language:CSS21301

• elfsternberg/riggedregex

  Weighted Regular Expressions, an experiment in porting an academic Haskell library to Rust

  Language:Rust19300

• JD95/haskell-problem-sets

  A collection of Haskell practice problems

  Language:Haskell187

• SriramKeerthi/SimpleThreadpool

  Simple Java Threadpool written from scratch, just to play around with code

  Language:Java183112

• rthomas/bazel-rust-protos

  Building rust and protobufs with bazel.

  Language:Starlark17312

• christopheraue/ruby-mruby_sandbox

  A mruby sandbox for ruby

  Language:Ruby12200

• pasqu4le/yesod-notes

  Yesod-notes: a small yesod app to take notes

  Language:Haskell5101

• afajem/movenow-lambda-js

  MoveNow: An AWS Lambda-based Fitbit Notifier

  Language:JavaScript3213

• joerghall/cbt-tool-pypack

  Language:CMake1200

• mjec/cryptopals-haskell

  Cryptopals solutions in Haskell

  Language:Haskell1300

• mozkeeler/cryptopals

  My Haskell implementation of the Matasano Crypto Challenges

  Language:Haskell120