aaronallen8455 / Typson

Related projects ⓘ

Alternatives and complementary repositories for Typson

• mwotton / roboservant
  generate contextually sensible fuzz tests for servant apps
  ☆26Updated 2 weeks ago
• byteverse / bytesmith
  Parse bytes fast
  ☆24Updated 6 months ago
• haskell-trasa / trasa
  Safe web routing in haskell
  ☆30Updated last year
• agentultra / DataVersion
  ☆20Updated last year
• fumieval / oath
  Composable Concurrent Computation Done Right
  ☆30Updated last year
• dnikolovv / it-has
  A Generic implementation of data-has.
  ☆22Updated 4 years ago
• SamuelSchlesinger / stm-incremental
  A very simple interface for incremental computation using STM in Haskell.
  ☆13Updated last year
• Icelandjack / idiomatic
  Deriving Applicative for sum types.. Idiomatically.
  ☆11Updated 2 years ago
• ExtremaIS / literatex-haskell
  transform literate source code to Markdown
  ☆14Updated last month
• phadej / overloaded
  Overloaded plugin
  ☆31Updated 5 months ago
• emilypi / order
  Order theory
  ☆23Updated last year
• ChrisPenner / catalyst
  There are many category theory implementations, but this one is mine
  ☆14Updated 2 months ago
• expipiplus1 / orbits
  A package dealing with Kepler orbits.
  ☆11Updated 2 years ago
• gelisam / magic-typelevel-elem
  Demonstrating how to make type families faster using typechecker plugins
  ☆21Updated 3 years ago
• i-am-tom / dagless
  A monadic interface for DAG construction.
  ☆24Updated 3 years ago
• ekmett / hkd
  higher-kinded data
  ☆30Updated last year
• puffnfresh / th-pprint
  Simplify and render Template Haskell
  ☆18Updated 6 years ago
• SamuelSchlesinger / generic-match
  An implementation of first-class pattern matches in Haskell.
  ☆13Updated 4 years ago
• covid-db / covid-scrapers
  ☆13Updated 4 years ago
• sergv / atomic-counter
  Haskell counters that can be safely incremented from multiple threads
  ☆17Updated last year
• bgamari / criterion-compare
  A simple tool for visualising differences in Criterion benchmark results
  ☆14Updated 4 years ago
• lehins / FailT
  A monad transformer designed for `MonadFail`
  ☆12Updated last year
• freckle / blammo
  Batteries-included structured logging library
  ☆29Updated 2 months ago
• lehins / massiv-io
  Read and write images as massiv arrays
  ☆13Updated 3 years ago
• sellout / dredd
  Automatic type class law checking.
  ☆24Updated 11 months ago
• cdepillabout / servant-rawm
  Effectful Raw handler for Servant servers.
  ☆16Updated 3 years ago
• plow-technologies / hspec-golden-aeson
  Use tests to monitor changes in Aeson serialization
  ☆18Updated 2 months ago
• haskell-streaming / streaming-bytestring
  effectful sequences of bytes; an alternative no-lazy-io implementation of Data.ByteString.Lazy
  ☆16Updated last month
• Gabriella439 / defaultable-map
  Applicative maps
  ☆15Updated last month
• TOTBWF / omit-generics
  Omit fields for instance deriving
  ☆37Updated 4 years ago