Alternatives and similar repositories for burn

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

• robrix / abstract-interpretation
  Experiments in abstracting definitional interpreters
  ☆16Updated 7 years ago
• ekmett / intervals
  Interval Arithmetic
  ☆27Updated 5 months ago
• conal / total-map
  Finitely represented /total/ maps
  ☆17Updated 5 years ago
• japesinator / Idris-Bifunctors
  A small bifunctor library for idris
  ☆21Updated 4 years ago
• ekmett / tagged
  phantom types
  ☆38Updated 5 months ago
• minoki / rounded-hw
  Directed rounding and interval arithmetics with builtin floating types
  ☆11Updated 3 years ago
• HuwCampbell / idris-lens
  van Laarhoven lenses for Idris
  ☆20Updated 7 years ago
• mstksg / uncertain
  Manipulating numbers with inherent measurement/experimental uncertainty.
  ☆25Updated 10 months ago
• byorgey / enumeration
  Simple Haskell package for efficiently indexable finite and infinite enumerations.
  ☆12Updated 2 months ago
• tel / hotep
  "Fail Fast" process management for Haskell; inspired by Erlang
  ☆16Updated 8 years ago
• agrafix / superbuffer
  Haskell: Efficiently build a bytestring from smaller chunks
  ☆24Updated 3 years ago
• edsko / tracetree
  Visualization of Haskell data structures
  ☆16Updated last year
• data61 / foldl-statistics
  An reimplementation of the Statistics.Sample Haskell module using the foldl package
  ☆21Updated last year
• dalaing / type-systems
  ☆23Updated 7 years ago
• simonmar / toy-haxl
  A toy implementation of Haxl to illustrate the internals
  ☆22Updated 8 years ago
• Gabriella439 / list-transformer
  List monad transformer
  ☆60Updated last year
• rampion / conkin
  Tools for functors from Hask^k to Hask
  ☆23Updated 5 years ago
• camfort / reprinter
  Scrap Your Reprinter - A Datatype Generic Algorithm for Layout-Preserving Refactoring
  ☆27Updated 4 years ago
• DanBurton / system-f
  System F implemented in Haskell
  ☆24Updated 13 years ago
• zadarnowski / quiver
  Quiver stream processing library
  ☆15Updated 8 years ago
• byorgey / type-matrices
  Paper about polynomial functors, regular expressions, matrices of types, derivatives, semirings, and other cool stuff
  ☆14Updated 7 years ago
• ezyang / backpack-examples
  Backpack examples repository
  ☆14Updated 7 years ago
• alanz / machines-play
  Playing with https://github.com/ekmett/machines
  ☆51Updated 8 years ago
• jonascarpay / convoluted
  Dependently typed convolutional neural networks
  ☆35Updated 8 years ago
• dorchard / effectful-explanations-talk
  "Programs that explain their effects" talk material
  ☆17Updated 7 years ago
• ekmett / concurrent
  Yet another concurrent playground
  ☆33Updated 9 years ago
• isovector / prospect
  static analysis of free monads
  ☆24Updated 7 years ago
• japesinator / Idris-Profunctors
  A small profunctor library for idris
  ☆17Updated 2 years ago
• system-f / papa
  Reasonable Haskell default import
  ☆27Updated 2 years ago
• robrix / freer-cofreer
  freer monads and cofreer comonads.
  ☆21Updated 7 years ago