takenobu-hs / type-introduction-illustrated

Related projects ⓘ

Alternatives and complementary repositories for type-introduction-illustrated

• soupi / purescript-slides
  A tiny EDSL for making slides in PureScript
  ☆26Updated 7 years ago
• ocharles / hsfmt
  A Haskell code formatter using prettyprinter and the GHC API
  ☆24Updated 6 years ago
• Gabriella439 / Haskell-Server-Generic-Library
  Auto-generate a server for your datatype
  ☆30Updated 2 years ago
• Gabriella439 / list-transformer
  List monad transformer
  ☆60Updated 6 months ago
• gergoerdi / icfp-bingo-2017-idris
  ICFP Bingo 2017 (Idris edition)
  ☆30Updated 5 years ago
• deech / LeftPad
  ☆23Updated 6 years ago
• danidiaz / streamy
  Using Backpack to abstract over the main Haskell streaming libraries.
  ☆34Updated 7 years ago
• well-typed / ixset-typed
  More strongly typed variant of the ixset Haskell package
  ☆23Updated 3 months ago
• haskell-foundation / foundation-edge
  types and functions bridge between foundation and the actual ecosystem (text, vector, bytestring, ...
  ☆18Updated 7 years ago
• maoe / lifted-async
  Run lifted IO operations asynchronously and wait for their results
  ☆29Updated 2 weeks ago
• idris-hackers / iQuery
  Idris Lib to interact with the DOM and Browser API for the JavaScript backend
  ☆40Updated 6 years ago
• fosskers / versions
  Haskell types and parsers for software version numbers.
  ☆20Updated 5 months ago
• phadej / kleene
  Kleene algebra, regular expressions
  ☆32Updated last year
• jtdaugherty / text-zipper
  A text editor zipper libary
  ☆17Updated last week
• ozataman / csv-conduit
  Flexible, fast and constant-space CSV library for Haskell using conduits
  ☆52Updated last month
• frerich / catamorphism
  A package exposing a function for generating catamorphisms.
  ☆28Updated 6 years ago
• ku-fpg / natural-transformation
  A natural transformation package
  ☆16Updated 3 weeks ago
• tfausak / lackey
  A Haskell library for generating Ruby consumers of Servant APIs.
  ☆23Updated last month
• portnov / libssh2-hs
  LibSSH2 FFI bindings for Haskell
  ☆26Updated 5 months ago
• batterseapower / parallel-io
  Haskell combinators for executing IO actions in parallel on a thread pool
  ☆47Updated last year
• mitchellwrosen / dohaskell
  Tagged Haskell learning resources index
  ☆22Updated 8 years ago
• pselm / core
  A Purescript implementation of Elm's `core` library
  ☆29Updated 6 years ago
• tfausak / grotesque
  An implementation of GraphQL in Haskell.
  ☆21Updated 7 years ago
• phadej / idioms-plugins
  Hack idiom-brackets using GHC Source Plugin (8.6+)
  ☆25Updated 6 years ago
• VarmaMSP / snake-game
  A demo of Functional Reactive Programming in Purescript
  ☆10Updated 6 years ago
• mightybyte / armor
  Protect against backwards-incompatible serializations
  ☆23Updated 3 years ago
• haskell / deepseq
  Deep evaluation of data structures
  ☆41Updated 2 months ago
• kowainik / idris-patricia
  🌋 Idris implementation of patricia tree
  ☆22Updated 4 years ago
• purerl / purescript-erl-process
  purerl bindings to basic Erlang process functionality
  ☆12Updated 2 years ago