HenningTonko / Vauxhall

Related projects: ⓘ

• andrewthad / serpentine
  Haskell routes using dependent types
  ☆10Updated 8 years ago
• Cognimeta / perdure
  Robust persistence for typed immutable data
  ☆18Updated 7 years ago
• dmjio / aoc2017
  Advent of code 2017 ... ho' ho' ho', so much code' code' code', merry christmas!
  ☆8Updated 6 years ago
• mwotton / judy
  ☆18Updated 2 years ago
• atzeus / type-aligned
  Various type-aligned sequence data structures.
  ☆20Updated 3 years ago
• bgamari / ring-buffer
  A concurrent mutable ring-buffer
  ☆12Updated 6 years ago
• ku-fpg / natural-transformation
  A natural transformation package
  ☆16Updated 11 months ago
• jship / tao
  Type-level assertion operators
  ☆16Updated 6 years ago
• phadej / idioms-plugins
  Hack idiom-brackets using GHC Source Plugin (8.6+)
  ☆25Updated 6 years ago
• puffnfresh / th-pprint
  Simplify and render Template Haskell
  ☆18Updated 6 years ago
• schrammc / mnist-idx
  Read and write data in the IDX format used in e.g. the MNIST database
  ☆9Updated last year
• ocharles / hsfmt
  A Haskell code formatter using prettyprinter and the GHC API
  ☆24Updated 5 years ago
• vincenthz / ghc-core-html
  Read ghc-core with style. javascript and CSS style.
  ☆13Updated 9 years ago
• m0rphism / printcess
  Haskell pretty printing library supporting indentation, mixfix operators, and automatic line breaks.
  ☆14Updated 7 years ago
• haskell-streaming / streaming-bytestring
  effectful sequences of bytes; an alternative no-lazy-io implementation of Data.ByteString.Lazy
  ☆16Updated 7 months ago
• RyanGlScott / echo
  A cross-platform, cross-console way to handle echoing terminal input
  ☆10Updated 3 years ago
• dzhus / static-text
  Lists, Texts, ByteStrings and Vectors with type-encoded length
  ☆10Updated 3 years ago
• well-typed / ixset-typed
  More strongly typed variant of the ixset Haskell package
  ☆23Updated last month
• martyall / servant-zeppelin
  Server Side Loading JSON
  ☆11Updated 5 years ago
• RyanGlScott / eliminators
  Dependently typed elimination functions using singletons
  ☆27Updated 3 months ago
• lpsmith / configurator-ng
  A Haskell library supporting flexible, dynamic file-based configuration.
  ☆16Updated 5 years ago
• haskell-github-trust / thyme
  A faster date and time library based on time
  ☆46Updated 11 months ago
• frerich / catamorphism
  A package exposing a function for generating catamorphisms.
  ☆28Updated 6 years ago
• L0neGamer / ekg-statsd
  Flush system metrics to statsd
  ☆26Updated last month
• nikita-volkov / list-t
  ListT done right
  ☆15Updated 11 months ago
• ivan-m / jbi
  Just Build It - a "do what I mean" abstraction for Haskell build tools
  ☆12Updated 6 years ago
• mitchellwrosen / dohaskell
  Tagged Haskell learning resources index
  ☆22Updated 8 years ago
• acowley / concurrent-machines
  Concurrency features for the Haskell machines package
  ☆17Updated 2 years ago
• nikita-volkov / slave-thread
  A principal solution to ghost threads and silent exceptions
  ☆24Updated 11 months ago
• ekmett / bytes
  Serialization primitives that work with both cereal and binary.
  ☆22Updated 2 months ago