haroldcarr / learn-haskell-coq-ml-etc

Related projects ⓘ

Alternatives and complementary repositories for learn-haskell-coq-ml-etc

• Gabriella439 / haskell-in-the-large
  A book about large-scale design in Haskell
  ☆75Updated 10 years ago
• sdiehl / paris-fp
  Paris Functional Programming Meetup
  ☆27Updated 4 years ago
• takenobu-hs / lazy_evaluation
  haskell lazy evaluation illustrated
  ☆71Updated 7 years ago
• ocharles / blog
  The contents of ocharles.org.uk/blog
  ☆66Updated 2 years ago
• mstksg / inCode
  Source for personal blog.
  ☆77Updated this week
• bravit / tt-ghc-exercises
  ☆28Updated 6 years ago
• dmjio / google-translate
  Google Translate API
  ☆50Updated 3 years ago
• int-index / ether
  Monad Transformers and Classes
  ☆78Updated 5 years ago
• dalaing / cofun
  Cofun with Cofree Comonads
  ☆30Updated 8 years ago
• ghcjs / ghcjs-base
  base library for GHCJS for JavaScript interaction and marshalling, used by higher level libraries like JSC
  ☆45Updated 5 months ago
• UnkindPartition / monad-classes
  A more flexible mtl
  ☆64Updated 6 years ago
• paf31 / haskell-slides
  ☆50Updated 9 years ago
• plaidfinch / GQFC
  Source material for "Functional Pearl: Getting a Quick Fix on Comonads"
  ☆45Updated 6 years ago
• pigworker / CS410-15
  being the materials for CS410 Advanced Functional Programming in the 2015/16 session
  ☆40Updated 8 years ago
• dorchard / type-level-sets
  Type-level sets for Haskell (with value-level counterparts and various operations)
  ☆66Updated 10 months ago
• fizruk / http-api-data
  Converting to/from HTTP API data like URL pieces, headers and query parameters.
  ☆52Updated 3 months ago
• basvandijk / monad-control
  Lift control operations, like exception catching, through monad transformers
  ☆58Updated last year
• bitemyapp / open-haskell
  Community edited and directed course based on Spring '13 cis194.
  ☆46Updated 8 years ago
• mokus0 / monad-loops
  Some useful control operators for looping
  ☆47Updated 4 years ago
• Gabriella439 / Haskell-Lens-Tutorial-Library
  The missing tutorial module for the lens library
  ☆81Updated 5 months ago
• haskell-checkers / checkers
  Check properties on standard classes and data structures
  ☆79Updated 10 months ago
• chrisdone-archive / labels
  Declare and access tuple fields with labels
  ☆60Updated 5 years ago
• tonyday567 / numhask
  A haskell numeric prelude, providing a clean structure for numbers and operations that combine them.
  ☆68Updated 3 weeks ago
• goldfirere / ghc
  Mirror of ghc repository. DO NOT SUBMIT PULL REQUESTS HERE
  ☆25Updated 6 years ago
• nikita-volkov / stm-containers
  Containers for STM
  ☆67Updated 6 months ago
• MaartenFaddegon / Hoed
  Hoed - A Lightweight Haskell Tracer and Debugger
  ☆51Updated 3 years ago
• FranklinChen / twenty-four-days2015-of-hackage
  My own little "24 Days of Hackage" for 2015
  ☆62Updated 7 years ago
• simonmar / monad-par
  ☆124Updated 11 months ago
• chris-martin / haskell-libraries
  Incubator for my Haskell libraries
  ☆20Updated 6 years ago
• Gabriella439 / Haskell-Bears-Library
  Relational algebra
  ☆25Updated 7 years ago