aleryo / haskell-online-dojo
A Haskell clone of https://cstack.github.io/db_tutorial
☆11Updated 4 years ago
Alternatives and similar repositories for haskell-online-dojo:
Users that are interested in haskell-online-dojo are comparing it to the libraries listed below
- ☆31Updated 3 years ago
- Le Fromage de Terreur - Auto-generated Terraform DSL☆63Updated 5 years ago
- YesQL-style SQL database abstraction.☆26Updated 4 years ago
- An experimental HTTP framework for Idris☆14Updated 4 years ago
- Paris Functional Programming Meetup☆27Updated 4 years ago
- ☆11Updated 2 years ago
- The official repository for the LambdaConf 2017 Winter Retreat (January 8 - 12).☆12Updated 8 years ago
- OTP-like supervision trees in Haskell☆62Updated 5 years ago
- Haskell Webapps on AWS Lambda☆43Updated last year
- A Haskell package that provides a monad transformer for mocking mtl-style typeclasses☆71Updated 5 years ago
- Example CRUD web server+client using Servant☆34Updated 2 years ago
- what it says on the tin☆24Updated 6 years ago
- ☆26Updated this week
- Slides + TodoApp for Chicago Haskell Servant Presentation☆47Updated 9 years ago
- Static blog generator in Idris.☆39Updated 9 years ago
- An extensible IO-like monad-like thing for Idris, with support for including linear subprograms☆22Updated 4 years ago
- B+-tree implementation in Haskell☆27Updated 5 years ago
- A convenient DSL for describing web routes☆42Updated 4 years ago
- A more flexible mtl☆64Updated 6 years ago
- System F implemented in Haskell☆24Updated 12 years ago
- Flexible, fast and constant-space CSV library for Haskell using conduits☆52Updated this week
- Haskell library for efficiently building up buffers☆26Updated 3 weeks ago
- Examples of Eta in action.☆36Updated 6 years ago
- ♾️ Sized list☆46Updated 8 months ago
- Learning project by a group of people interested in learning the Idris language☆50Updated 9 years ago
- Haskell libraries for implementing OAuth2 servers.☆25Updated 9 years ago
- Work on type class deriving with elaboration reflection☆32Updated 6 years ago
- higher-kinded data☆30Updated last year
- Playing with https://github.com/ekmett/machines☆51Updated 7 years ago
- Reasonable Haskell default import☆27Updated 2 years ago