referentiallabs / idris-type-providers

Related projects: ⓘ

• puffnfresh / bam-idris-blog
  Static blog generator in Idris.
  ☆39Updated 9 years ago
• phadej / tdigest
  On-line accumulation of rank-based statistics such as quantiles and trimmed means
  ☆30Updated 2 months ago
• pselm / core
  A Purescript implementation of Elm's `core` library
  ☆29Updated 6 years ago
• Gabriella439 / servant-crud
  Example CRUD web server+client using Servant
  ☆34Updated 2 years ago
• pseudonom / phantheck
  Integrates QuickChecked properties into the type system with phantom types
  ☆34Updated 8 years ago
• tolysz / spock-ghcjs-sample
  Sample SPOCK + GHCJS app
  ☆23Updated 7 years ago
• snoyberg / basic-prelude
  An enhanced core prelude, meant for building up more complete preludes on top of.
  ☆49Updated 6 years ago
• roman / Haskell-capataz
  OTP-like supervision trees in Haskell
  ☆63Updated 5 years ago
• yamadapc / yesod-servant-example
  Example of embedding Servant within a Yesod Application
  ☆15Updated 8 years ago
• iand675 / ghcjs-react
  React.js for GHCJS
  ☆27Updated 7 years ago
• abhinav / sandman
  Cabal Sandbox manager
  ☆14Updated 8 years ago
• slamdata / purescript-webdriver
  A PureScript interface to Selenium's Node Webdriver.
  ☆19Updated 6 years ago
• iand675 / metrics
  Haskell metrics library
  ☆20Updated 7 years ago
• brendanhay / terrafomo
  Le Fromage de Terreur - Auto-generated Terraform DSL
  ☆64Updated 5 years ago
• bitemyapp / buttress
  Messing around
  ☆9Updated 7 years ago
• UnkindPartition / monad-classes
  A more flexible mtl
  ☆64Updated 6 years ago
• tylerholien / milena
  the (very humble) beginnings of a kafka client for haskell
  ☆34Updated 6 years ago
• alanz / machines-play
  Playing with https://github.com/ekmett/machines
  ☆51Updated 7 years ago
• christian-marie / git-vogue
  Make your Haskell git repositories fashionable.
  ☆55Updated 6 years ago
• icicle-lang / disorder.hs-ambiata
  QuickCheck extras.
  ☆29Updated 5 years ago
• pseudonom / poly-graph
  Polymorphic directed graphs
  ☆12Updated 7 years ago
• hspec / sensei
  ☆26Updated this week
• gelisam / conway
  Demonstrating comonad transformers.
  ☆36Updated 7 years ago
• chpatrick / codec
  Easy bidirectional serialization in Haskell
  ☆50Updated 5 years ago
• mietek / idris-bash
  GNU bash backend for Idris
  ☆53Updated 5 years ago
• helium / overture
  A backwards-compatible, modern replacement for the Prelude.
  ☆22Updated 7 years ago
• jkarni / verdict
  ☆26Updated 8 years ago
• ryantrinkle / memoise
  ☆71Updated 9 years ago
• acid-state / safecopy
  An extension to Data.Serialize with built-in version control
  ☆60Updated 4 months ago
• slamdata / purescript-mockfree
  A purely-functional, strongly-typed functional mocking library for Free programs
  ☆49Updated 8 years ago