Alternatives and similar repositories for blaze-svg

Users that are interested in blaze-svg are comparing it to the libraries listed below

• haskell / base64-bytestring
  Fast base64 encoding and decoding for Haskell.
  ☆47Updated 2 years ago
• deech / LeftPad
  ☆23Updated 8 years ago
• bgamari / optimization
  Some numerical optimization methods implemented in Haskell
  ☆47Updated 5 years ago
• idris-hackers / idris-algebra
  This is an attempt at painting as many bikesheds as possible with a typeclass hierarchy for idris reflecting "Algebra"
  ☆19Updated 7 years ago
• dalaing / type-systems
  ☆23Updated 8 years ago
• vmchale / recursion_schemes
  Recursion schemes for Idris
  ☆64Updated 7 years ago
• ekmett / concurrent
  Yet another concurrent playground
  ☆33Updated 10 years ago
• kai-qu / linear-logic
  An encoding of linear logic in Coq with minimal Sokoban and blocks world examples
  ☆22Updated 3 years ago
• gallais / agdarky
  Agda suffices: software written from A to Z in Agda
  ☆16Updated 6 years ago
• data61 / foldl-statistics
  An reimplementation of the Statistics.Sample Haskell module using the foldl package
  ☆22Updated last year
• edsko / tracetree
  Visualization of Haskell data structures
  ☆16Updated last year
• mietek / formal-logic
  TODO
  ☆23Updated 10 years ago
• jwiegley / parsec-free
  ☆23Updated 2 years ago
• vmchale / hs-ats
  Home of the fast-arithmetic library for number theory in ATS and Haskell.
  ☆25Updated last year
• portnov / libssh2-hs
  LibSSH2 FFI bindings for Haskell
  ☆26Updated 8 months ago
• evolutics / haskell-formatter
  Haskell source code formatter
  ☆24Updated 11 months ago
• evertedsphere / sound-and-complete
  An implementation of the Dunfield-Krishnaswami "Sound and Complete" type-system
  ☆84Updated 7 years ago
• ndmitchell / ghc-make
  An alternative to ghc --make which supports parallel compilation of modules and runs faster when nothing needs compiling.
  ☆40Updated 3 years ago
• japesinator / Idris-Bifunctors
  A small bifunctor library for idris
  ☆21Updated 5 years ago
• taktoa / wasm-agda
  A typechecker for WebAssembly, written in Agda (WIP)
  ☆17Updated 7 years ago
• lanl / APPFL
  Auto-parallelizing Pure Functional Language
  ☆27Updated 6 years ago
• haskell / hoopl
  Higher-order optimization library
  ☆76Updated 2 years ago
• rootmos / silly-joy
  An interpreter for the concatenative language Joy, written in Haskell using extensible-effects
  ☆36Updated last year
• byorgey / MonadRandom
  A monad transformer and corresponding type class for computations which consume random values.
  ☆34Updated 9 months ago
• syallop / Join-Language
  Haskell Join-calculus DSL
  ☆24Updated 6 years ago
• ekmett / tagged
  phantom types
  ☆38Updated 2 weeks ago
• atzeus / CTRex
  Open records for Haskell
  ☆22Updated 8 years ago
• kseo / poly
  A simple ML dialect
  ☆11Updated 8 years ago
• idris-hackers / idris-lens
  ☆23Updated 9 years ago
• danr / hipspec
  A hip inductive theorem prover!
  ☆90Updated 4 years ago