Alternatives and similar repositories for disorder.hs-ambiata:

Users that are interested in disorder.hs-ambiata are comparing it to the libraries listed below

• david-christiansen / idris-code-highlighter
  A semantic highlighter for Idris code
  ☆14Updated 6 years ago
• deech / LeftPad
  ☆23Updated 7 years ago
• agrafix / superbuffer
  Haskell: Efficiently build a bytestring from smaller chunks
  ☆24Updated 2 years ago
• jwiegley / linearscan
  ☆17Updated 2 years ago
• maoe / lifted-async
  Run lifted IO operations asynchronously and wait for their results
  ☆28Updated 3 months ago
• ctford / flying-spaghetti-monster
  An Idris type provider for communicating type-checkable protocols.
  ☆26Updated 7 years ago
• GaloisInc / halvm-web
  ☆15Updated 7 years ago
• llvm-hs / llvm-hs-quote
  Quasiquoter for LLVM
  ☆31Updated 6 years ago
• LeventErkok / sbvPlugin
  Formally prove properties of Haskell programs using SBV/SMT.
  ☆45Updated 8 months ago
• tfausak / lackey
  A Haskell library for generating Ruby consumers of Servant APIs.
  ☆23Updated 2 weeks ago
• jberryman / chan-benchmarks
  Criterion benchmarks for the different haskell concurrent channel implementations in base and stm
  ☆17Updated 10 years ago
• ekmett / auth
  ☆40Updated 6 years ago
• iokasimov / apart
  Get all your structure and rip it apart.
  ☆30Updated 6 years ago
• SamuelSchlesinger / gaia
  An experiment in functional interface design
  ☆23Updated 8 years ago
• japesinator / Idris-Bifunctors
  A small bifunctor library for idris
  ☆21Updated 4 years ago
• llvm-hs / llvm-hs-typed
  Type Safe LLVM IR ( Experimental )
  ☆49Updated 6 years ago
• diagrams / monoid-extras
  Miscellaneous constructions on monoids
  ☆18Updated last week
• chris-martin / haskell-aligned
  Haskell types lined up to highlight their similarities
  ☆31Updated 5 years ago
• frerich / catamorphism
  A package exposing a function for generating catamorphisms.
  ☆28Updated 6 years ago
• dalaing / type-systems
  ☆23Updated 7 years ago
• cokmett / cokmett
  Because Kmett is not expressive enough. You need CoKmett!
  ☆35Updated 11 years ago
• tranma / almost-complexity
  complexity testing for haskell
  ☆48Updated 9 years ago
• isovector / dynahaskell
  the dynabook but for haskell
  ☆23Updated 5 years ago
• ku-fpg / natural-transformation
  A natural transformation package
  ☆16Updated 3 months ago
• pigworker / Saturday
  being a thing I build on a Saturday
  ☆28Updated 6 years ago
• tonymorris / validation
  ☆31Updated 3 years ago
• pseudonom / phantheck
  Integrates QuickChecked properties into the type system with phantom types
  ☆34Updated 8 years ago
• Gabriella439 / haskell-in-the-large
  A book about large-scale design in Haskell
  ☆75Updated 10 years ago
• rudymatela / leancheck
  enumerative property-based testing for Haskell
  ☆53Updated 3 weeks ago
• owickstrom / fast-and-fearless-evolution-of-server-side-webapps
  Slides and code examples for a talk
  ☆22Updated 7 years ago