Alternatives and similar repositories for limp

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

• bts / deferred-substitution
  An implementation of Ben Lippmeier's "Don't Substitute Into Abstractions"
  ☆15Updated 7 years ago
• vmchale / hs-ats
  Home of the fast-arithmetic library for number theory in ATS and Haskell.
  ☆25Updated last year
• nobrakal / tungsten
  Bring fusion to everyone
  ☆14Updated 6 years ago
• ocramz / taco-hs
  Haskell port of the Tensor Algebra COmpiler
  ☆16Updated 6 years ago
• RyanGlScott / eliminators
  Dependently typed elimination functions using singletons
  ☆28Updated last month
• ttuegel / statistical-elements
  The Elements of Statistical Learning in Haskell
  ☆13Updated 8 years ago
• benjaminselfridge / logix
  Logic Explorer - customizable proof construction tool for sequent calculi
  ☆21Updated 3 years ago
• ghorn / dynobud
  your dynamic optimization buddy
  ☆27Updated 6 years ago
• ocramz / algebraic-graphs-io
  I/O utilities and datasets for algebraic-graphs
  ☆14Updated 3 years ago
• thsutton / rawr
  Roaring bitmaps in Haskell
  ☆13Updated 7 years ago
• lemmih / fvg
  Functional Vector Graphics
  ☆17Updated 8 years ago
• andrewthad / packed
  Unpinned byte arrays in GHC haskell
  ☆22Updated 7 years ago
• skogsbaer / roundtrip
  Roundtrip allows the definition of bidirectional (de-)serialization specifications
  ☆16Updated last year
• achirkin / constraints-deriving
  Programmatically create new instances using core-to-core plugins
  ☆11Updated 4 years ago
• mrkgnao / pico
  The Pico core language, and the Bake algorithm for elaborating Dependent Haskell into the former (WIP)
  ☆15Updated 7 years ago
• primetype / inspector
  Futuristic New Age Golden Test management
  ☆15Updated 3 years ago
• kosmikus / ghc-compact-holes
  GHC patched with the -fcompact-holes flag
  ☆11Updated 7 years ago
• taktoa / wasm-agda
  A typechecker for WebAssembly, written in Agda (WIP)
  ☆17Updated 7 years ago
• mstksg / uncertain
  Manipulating numbers with inherent measurement/experimental uncertainty.
  ☆25Updated last year
• idontgetoutmuch / Kalman
  Extended Kalman filtering in Haskell
  ☆23Updated 7 years ago
• joom / direct-reflection-for-free
  using Data and Typeable to get a direct reflection system for free, when we're implementing a toy language in Haskell
  ☆15Updated 5 years ago
• chessai / streaming-fft
  sliding fast fourier transform using haskell streaming
  ☆13Updated 6 years ago
• jyp / glpk-hs
  Haskell bindings to glpk
  ☆13Updated last year
• haskell-works / hw-rankselect
  ☆18Updated 6 months ago
• dorchard / effectful-explanations-talk
  "Programs that explain their effects" talk material
  ☆17Updated 7 years ago
• jtobin / declarative
  DIY Markov Chains.
  ☆25Updated last year
• jonsterling / hs-abt
  Type safe abstract binding trees for Haskell, using Vinyl
  ☆16Updated 8 years ago
• letmaik / monadiccp
  Monadic Constraint Programming framework
  ☆28Updated 7 years ago
• expipiplus1 / exact-real
  Exact real arithmetic in Haskell
  ☆25Updated 4 years ago
• nomeata / containers-verified
  A package re-exporting the verified subset of containers
  ☆20Updated 7 years ago