Alternatives and similar repositories for llvm-pretty:

Users that are interested in llvm-pretty are comparing it to the libraries listed below

• minad / persist
  Minimal binary serialization library with focus on performance
  ☆17Updated 4 years ago
• quchen / show-prettyprint
  Robust prettyprinter for output of auto-generated Show instances
  ☆17Updated 5 years ago
• goldfirere / th-desugar
  Desugars Template Haskell abstract syntax to a simpler format without changing semantics
  ☆20Updated 3 months ago
• ollef / dependent-hashmap
  Dependent hash maps
  ☆14Updated 9 months ago
• Shimuuar / fixed-vector
  Fixed length vector for haskell
  ☆21Updated 2 months ago
• coot / heyting-algebras
  Heyting Algebras in Haskell
  ☆14Updated 2 years ago
• glaebhoerl / simplecompiler
  used to be something more ambitious, cut scope to just a simple compiler for thesis project
  ☆17Updated 6 years ago
• awakesecurity / language-ninja
  A Haskell library for parsing, pretty-printing, and evaluating the Ninja build language.
  ☆35Updated 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
• GaloisInc / tower
  A concurrency framework for the Ivory language
  ☆43Updated 5 years ago
• rudymatela / leancheck
  enumerative property-based testing for Haskell
  ☆53Updated last month
• taktoa / wasm-agda
  A typechecker for WebAssembly, written in Agda (WIP)
  ☆17Updated 7 years ago
• GaloisInc / pure-zlib
  A Haskell-only implementation of zlib / DEFLATE.
  ☆31Updated 3 years ago
• langston-barrett / write-yourself-a-scheme-in-agda
  Like "Write Yourself a Scheme in 48 Hours", but in Agda
  ☆52Updated 6 years ago
• GaloisInc / hexdump
  A human readable style for binary data.
  ☆11Updated 5 years ago
• cedille / cedille-cast
  Source files used for the Cedille Cast videos
  ☆12Updated 4 years ago
• Happstack / boomerang
  Library for invertible parsing and printing
  ☆31Updated 9 months ago
• dreixel / generic-deriving
  ☆44Updated 2 weeks ago
• helix-collective / terraform-hs
  A Haskell ADL to generate terraform files.
  ☆17Updated 4 years ago
• RyanGlScott / eliminators
  Dependently typed elimination functions using singletons
  ☆28Updated 2 months ago
• thoughtpolice / asc
  Austin's supercompiler work
  ☆21Updated 5 years ago
• vellvm / ollvm
  An higher-level LLVM binding for OCaml
  ☆14Updated 7 years ago
• GaloisInc / argo
  A Haskell library for building JSON-RPC servers (work in progress), with servers for Cryptol and SAW
  ☆15Updated 2 weeks ago
• well-typed / lens-sop
  Computing lenses generically using generics-sop
  ☆16Updated 4 months ago
• xran-deex / ats-http
  An epoll-based HTTP library for ATS2
  ☆14Updated 2 years ago
• typeclasses / loc
  Types representing line and column positions and ranges in text files
  ☆11Updated last year
• lambdacube3d / lambdacube-ir
  LambdaCube 3D intermediate representation of 3D graphics pipelines. See:
  ☆8Updated last year
• liamoc / wizards
  High level, generic library for interrogative user interfaces in Haskell
  ☆41Updated 3 years ago
• xnning / dependent-types-in-haskell
  Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup
  ☆15Updated 6 years ago