Building rust and protobufs with bazel.

F3 - Fight Flash Fraud

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

Specification of the Cedille Core language

A minimal proof language.

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

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

Annotated Heist templating examples in a Snap app

📖 source material for Thinking with Types

An introduction to programming language theory in Agda

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

A comprehensive Amazon Web Services SDK for Haskell.

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

Yesod-notes: a small yesod app to take notes

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

A mruby sandbox for ruby

MoveNow: An AWS Lambda-based Fitbit Notifier

Cryptopals solutions in Haskell

My Haskell implementation of the Matasano Crypto Challenges

Deploying Haskell applications to AWS Lambda with Serverless

A collection of Haskell practice problems

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

Programming in Haskell Materials - Footnotes and Tutorials

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

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.

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

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

A simple realtime chat application written in Go

A simple realtime chat application written in Go