Alternatives and similar repositories for burn

Users that are interested in burn are comparing it to the libraries listed below

• ekmett / tagged
  phantom types
  ☆38Updated 4 months ago
• minoki / rounded-hw
  Directed rounding and interval arithmetics with builtin floating types
  ☆11Updated 3 years ago
• agrafix / superbuffer
  Haskell: Efficiently build a bytestring from smaller chunks
  ☆24Updated 2 years ago
• japesinator / Idris-Bifunctors
  A small bifunctor library for idris
  ☆21Updated 4 years ago
• ekmett / intervals
  Interval Arithmetic
  ☆27Updated 4 months ago
• conal / total-map
  Finitely represented /total/ maps
  ☆17Updated 5 years ago
• SuperpowersCorp / refactorio
  Refactorio is a tool with which you build and maintain software.
  ☆19Updated last year
• jonascarpay / convoluted
  Dependently typed convolutional neural networks
  ☆35Updated 8 years ago
• HuwCampbell / idris-lens
  van Laarhoven lenses for Idris
  ☆20Updated 7 years ago
• japesinator / Idris-Profunctors
  A small profunctor library for idris
  ☆17Updated 2 years ago
• ekmett / perhaps
  A monad, perhaps.
  ☆32Updated 5 years ago
• ndmitchell / hexml
  A bad XML parser
  ☆21Updated 9 months ago
• MichelBoucey / cayley-client
  A Haskell client library for Cayley database graph
  ☆14Updated 3 weeks ago
• cohomolo-gy / homotopy-type-theory-notes
  HoTT Note-taking action
  ☆25Updated 6 years ago
• haskell-perf / csv
  Simple comparative benchmarks for CSV parsing libraries
  ☆17Updated 6 years ago
• system-f / papa
  Reasonable Haskell default import
  ☆27Updated 2 years ago
• patrickt / empathy
  a modern library for typed path manipulation in Haskell
  ☆36Updated 3 years ago
• sigma-andex / idris-refined
  Port of Scala/Haskell Refined library to Idris
  ☆17Updated 4 years ago
• int-index / union
  Extensible type-safe unions for Haskell
  ☆34Updated 2 months ago
• data61 / foldl-statistics
  An reimplementation of the Statistics.Sample Haskell module using the foldl package
  ☆21Updated last year
• fpco / optparse-simple
  Simple helper functions to work with optparse-applicative
  ☆29Updated 3 years ago
• Jaak / TinyOutsideIn
  Small implementation of OutsideIn(X) type checking algorithm
  ☆31Updated 10 years ago
• rampion / conkin
  Tools for functors from Hask^k to Hask
  ☆23Updated 5 years ago
• Gabriella439 / Haskell-Total-Library
  Exhaustive pattern matching using lenses, traversals, and prisms
  ☆32Updated 2 years ago
• idris-hackers / idris-lens
  ☆23Updated 8 years ago
• mstksg / uncertain
  Manipulating numbers with inherent measurement/experimental uncertainty.
  ☆25Updated 8 months ago
• frerich / catamorphism
  A package exposing a function for generating catamorphisms.
  ☆28Updated 7 years ago
• edsko / tracetree
  Visualization of Haskell data structures
  ☆16Updated last year
• haskell-suite / haskell-names
  Haskell suite library for name resolution
  ☆52Updated last month
• dalaing / type-systems
  ☆23Updated 7 years ago