chadbrewbaker / introToAWSLambda
Introduction to AWS Lambda
☆21Updated 7 years ago
Related projects ⓘ
Alternatives and complementary repositories for introToAWSLambda
- Integrates QuickChecked properties into the type system with phantom types☆34Updated 8 years ago
- Make your Haskell git repositories fashionable.☆55Updated 6 years ago
- Formally prove properties of Haskell programs using SBV/SMT.☆44Updated 5 months ago
- Criterion benchmarks for the different haskell concurrent channel implementations in base and stm☆17Updated 10 years ago
- dash docset builder for Haskell packages and cabal project dependencies☆79Updated 4 years ago
- On-line accumulation of rank-based statistics such as quantiles and trimmed means☆30Updated 4 months ago
- ☆28Updated 9 years ago
- Cabal Sandbox manager☆14Updated 8 years ago
- Transactional monadic actions on top of PostgreSQL.☆60Updated 2 years ago
- ☆46Updated 8 years ago
- Playing with https://github.com/ekmett/machines☆51Updated 7 years ago
- Haskell: Supercharged anonymous records☆83Updated 2 years ago
- QuickCheck extras.☆29Updated 5 years ago
- A library for the creation, management, and installation of schema updates for relational databases.☆76Updated 9 months ago
- A wiki based on firm theoretical foundations☆51Updated 8 years ago
- Static blog generator in Idris.☆39Updated 9 years ago
- Hoed - A Lightweight Haskell Tracer and Debugger☆51Updated 3 years ago
- ☆75Updated 7 years ago
- Google Translate API☆50Updated 3 years ago
- Using QuickCheck to test functions in other languages/environments.☆32Updated 9 years ago
- A native Haskell driver for PostgreSQL☆64Updated 5 years ago
- ☆13Updated 10 years ago
- A curated wishlist of Haskell libraries, packages, and tools☆16Updated 8 years ago
- A more flexible mtl☆64Updated 6 years ago
- ☆26Updated 3 weeks ago
- A docker container for compiling statically linked binaries written in Haskell☆26Updated 9 years ago