Alternatives and similar repositories for HerbiePlugin:

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

• ollef / Earley
  Parsing all context-free grammars using Earley's algorithm in Haskell.
  ☆371Updated last year
• fpco / inline-c
  ☆291Updated 5 months ago
• jwiegley / coq-pipes
  ☆97Updated 7 years ago
• takenobu-hs / haskell-ghc-illustrated
  haskell ghc-illustrated
  ☆260Updated 4 years ago
• mikeizbicki / subhask
  Type safe interface for working in subcategories of Hask
  ☆420Updated 5 years ago
• fpco / ide-backend
  ide-backend drives the GHC API to build, query, and run your code
  ☆119Updated 9 years ago
• conal / lambda-ccc
  Convert lambda expressions to CCC combinators
  ☆146Updated 9 years ago
• nikita-volkov / record
  Anonymous records
  ☆248Updated 6 years ago
• snowleopard / hadrian
  Hadrian: a new build system for the Glasgow Haskell Compiler. Now merged into the GHC tree!
  ☆207Updated 6 years ago
• np / ling
  LINear LaNGuage: Type Theory and Process Calculi for Distributed and High-precision programming
  ☆107Updated 2 years ago
• Gabriella439 / Haskell-Morte-Library
  A bare-bones calculus-of-constructions
  ☆378Updated 2 years ago
• mstksg / auto
  Haskell DSL and platform providing denotational, compositional api for discrete-step, locally stateful, interactive programs, games & aut…
  ☆181Updated 5 years ago
• Gabriella439 / pipes
  Compositional pipelines
  ☆492Updated 2 years ago
• commercialhaskell / haskelldocumentation
  Repository for collaborative Haskell documentation
  ☆208Updated 2 years ago
• RaphaelJ / friday
  Fast image IO and transformations.
  ☆276Updated last year
• haskell-tools / haskell-tools
  Developer tools for Haskell
  ☆250Updated 9 months ago
• nomeata / ghc-proofs
  Let GHC prove program equations for you
  ☆145Updated 6 years ago
• goldfirere / thesis
  Richard A. Eisenberg's PhD Dissertation
  ☆206Updated 6 years ago
• bscarlet / llvm-general
  Rich LLVM bindings for Haskell (with transfer of LLVM IR to and from C++, detailed compilation pass control, etc.)
  ☆132Updated 8 years ago
• bjpop / language-python
  A parser for Python 2.x and 3.x written in Haskell
  ☆158Updated 10 months ago
• idris-hackers / idris-demos
  Collection of Idris tests and demonstration programs
  ☆191Updated 7 years ago
• gasche / icfp2016-papers
  Link to preprints for ICFP'16 and co-located events
  ☆139Updated 8 years ago
• sdiehl / tinyjit
  Haskell JIT
  ☆184Updated 5 years ago
• iand675 / haskell-checklist
  Preflight checklist for Haskell code. Aspire to greatness!
  ☆68Updated 8 years ago
• acowley / Frames
  Data frames for tabular data.
  ☆300Updated last year
• lspitzner / exference
  Haskell tool to generate expressions from types
  ☆101Updated 7 years ago
• Gabriella439 / optparse-generic
  Auto-generate a command-line parser for your datatype
  ☆210Updated last year
• stevenfontanella / microlens
  A lightweight (but compatible with ‘lens’) lenses library
  ☆292Updated last month
• ekmett / trifecta
  Parser combinators with highlighting, slicing, layout, literate comments, Clang-style diagnostics and the kitchen sink
  ☆300Updated 2 months ago
• liamoc / learn-you-an-agda
  Learn you an Agda (and achieve enlightenment)
  ☆315Updated 7 years ago