Alternatives and similar repositories for blaze-svg:

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

• bitonic / hakyll-agda
  Hakyll support for Agda literate files
  ☆19Updated 3 years ago
• dalaing / type-systems
  ☆23Updated 7 years ago
• taktoa / wasm-agda
  A typechecker for WebAssembly, written in Agda (WIP)
  ☆17Updated 7 years ago
• themattchan / haskell-tiger
  Modern compiler implementation in ML, in Haskell
  ☆16Updated 6 years ago
• google / idris-protobuf
  A partial implementation of Protocol Buffers in Idris
  ☆31Updated 7 years ago
• diagrams / diagrams-contrib
  User-contributed extensions to diagrams
  ☆27Updated 2 weeks ago
• diagrams / monoid-extras
  Miscellaneous constructions on monoids
  ☆18Updated last week
• gallais / agda-presburger
  Deciding Presburger arithmetic in agda
  ☆31Updated last year
• deech / LeftPad
  ☆23Updated 7 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"
  ☆18Updated 6 years ago
• mietek / haskell-exchange-2015
  TODO
  ☆10Updated 9 years ago
• iand675 / hs-brotli
  ☆20Updated 5 years ago
• eugmes / imp
  Compiler for IMP programming language implemented in Haskell
  ☆16Updated 4 years ago
• ocramz / algebraic-graphs-io
  I/O utilities and datasets for algebraic-graphs
  ☆14Updated 2 years ago
• fsestini / tt-in-cubical
  Type Theory in Type Theory using Cubical Agda
  ☆12Updated 6 years ago
• japesinator / Idris-Profunctors
  A small profunctor library for idris
  ☆17Updated 2 years ago
• gdijkstra / hs-to-gallina
  Experimentation project
  ☆16Updated 11 years ago
• egison / backtracking
  Backtracking monad in Haskell
  ☆14Updated 3 years ago
• ekmett / tagged
  phantom types
  ☆38Updated last month
• ucsd-progsys / lh-workshop
  Materials for 2-hr LiquidHaskell Workshop
  ☆11Updated 3 years ago
• haskell-perf / csv
  Simple comparative benchmarks for CSV parsing libraries
  ☆17Updated 6 years ago
• ekmett / transformers-compat
  transformers compatibility shim
  ☆10Updated last year
• twanvl / ttie
  Type Theory with Indexed Equality
  ☆25Updated 7 years ago
• haskell-foundation / foundation-edge
  types and functions bridge between foundation and the actual ecosystem (text, vector, bytestring, ...
  ☆18Updated 7 years ago
• purescript / purescript-tuples
  Tuple data type and utility functions
  ☆26Updated 2 years ago
• llvm-hs / llvm-hs-typed
  Type Safe LLVM IR ( Experimental )
  ☆49Updated 6 years ago
• robrix / abstract-interpretation
  Experiments in abstracting definitional interpreters
  ☆16Updated 7 years ago
• nikivazou / EquationalReasoningInLiquidHaskell
  Derivation of Optimized Definitions Based on Specs
  ☆15Updated 5 years ago
• agda / ooAgda
  Interactive and object-oriented programming in Agda using coinductive types
  ☆23Updated 3 months ago
• SuperpowersCorp / refactorio
  Refactorio is a tool with which you build and maintain software.
  ☆19Updated 9 months ago