mchav / GeoQuiz-FregeLinks
A Frege port of the GeoQuiz application from the Android BigNerd Ranch Book.
☆11Updated 8 years ago
Alternatives and similar repositories for GeoQuiz-Frege
Users that are interested in GeoQuiz-Frege are comparing it to the libraries listed below
Sorting:
- Run HLint as part of normal compilation☆47Updated 7 years ago
- 💙 Code from the HandyHaskell twitter page☆14Updated 5 years ago
- A Haskell package that provides a monad transformer for mocking mtl-style typeclasses☆70Updated 6 years ago
- A Prelude with names from category theory☆51Updated 9 years ago
- Haskell types lined up to highlight their similarities☆30Updated 6 years ago
- android app example linked with haskell library using android NDK☆32Updated 9 years ago
- Haskell Avro Encoding and Decoding Native Support (no RPC)☆86Updated last year
- Simple, composable, and easy-to-use stream I/O for Haskell☆100Updated 10 months ago
- Wailing into the primordial ooze of category theory☆55Updated 2 weeks ago
- QuickCheck with shrinking for free☆49Updated 3 years ago
- Le Fromage de Terreur - Auto-generated Terraform DSL☆63Updated 6 years ago
- QuickCheck extras.☆29Updated 6 years ago
- Haskell library for simple, concise and fast generic operations.☆82Updated 2 years ago
- An HTTP library for idris☆39Updated 7 years ago
- Declare and access tuple fields with labels☆59Updated 7 years ago
- Kind-safe framework for type-safe APIs☆78Updated 6 years ago
- type-safe JSON spec and validation tool☆86Updated 5 years ago
- PureScript bindings for D3☆86Updated 3 years ago
- Dhall helpers for github actions☆54Updated 2 years ago
- A haskell client library for consul (consul.io)☆31Updated last year
- Slides & demos for talks I do☆58Updated 3 months ago
- An example Servant API.☆19Updated 10 years ago
- ☆50Updated 10 years ago
- An example of purescript-routing and purescript-halogen☆20Updated 6 years ago
- An extensible event-driven application framework in haskell☆110Updated 3 months ago
- ☆21Updated 10 years ago
- Generalized folds, unfolds, and traversals for fixed point data structures☆58Updated 3 years ago
- Provides the region monad for safely opening and working with scarce resources☆33Updated 10 years ago
- A simple CRUD DSL example with an asynchronious interpreter written as Cofree☆31Updated 8 years ago
- A purely-functional, strongly-typed functional mocking library for Free programs☆49Updated 9 years ago