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.
  ☆374Updated 2 years ago
• Gabriella439 / Haskell-Morte-Library
  A bare-bones calculus-of-constructions
  ☆380Updated 3 years ago
• np / ling
  LINear LaNGuage: Type Theory and Process Calculi for Distributed and High-precision programming
  ☆107Updated 2 years ago
• goldfirere / thesis
  Richard A. Eisenberg's PhD Dissertation
  ☆205Updated 7 years ago
• conal / lambda-ccc
  Convert lambda expressions to CCC combinators
  ☆150Updated 9 years ago
• fpco / inline-c
  ☆298Updated 4 months ago
• mikeizbicki / subhask
  Type safe interface for working in subcategories of Hask
  ☆419Updated 6 years ago
• takenobu-hs / haskell-ghc-illustrated
  haskell ghc-illustrated
  ☆262Updated 4 years ago
• ekmett / trifecta
  Parser combinators with highlighting, slicing, layout, literate comments, Clang-style diagnostics and the kitchen sink
  ☆302Updated 7 months ago
• snowleopard / hadrian
  Hadrian: a new build system for the Glasgow Haskell Compiler. Now merged into the GHC tree!
  ☆208Updated 6 years ago
• fpco / ide-backend
  ide-backend drives the GHC API to build, query, and run your code
  ☆119Updated 9 years ago
• jwiegley / coq-pipes
  ☆98Updated last month
• RaphaelJ / friday
  Fast image IO and transformations.
  ☆275Updated 2 years ago
• simonmar / par-tutorial
  A tutorial on Parallel and Concurrent Haskell
  ☆220Updated 12 years ago
• gasche / icfp2016-papers
  Link to preprints for ICFP'16 and co-located events
  ☆140Updated 8 years ago
• mstksg / auto
  Haskell DSL and platform providing denotational, compositional api for discrete-step, locally stateful, interactive programs, games & aut…
  ☆183Updated 6 years ago
• haskell-tools / haskell-tools
  Developer tools for Haskell
  ☆249Updated last year
• nomeata / ghc-proofs
  Let GHC prove program equations for you
  ☆146Updated 6 years ago
• nikita-volkov / record
  Anonymous records
  ☆248Updated 6 years ago
• flannelhead / blackstar
  A black hole raytracer written in Haskell
  ☆178Updated 3 years ago
• sdiehl / tinyjit
  Haskell JIT
  ☆186Updated 5 years ago
• commercialhaskell / haskelldocumentation
  Repository for collaborative Haskell documentation
  ☆207Updated 3 years ago
• bscarlet / llvm-general
  Rich LLVM bindings for Haskell (with transfer of LLVM IR to and from C++, detailed compilation pass control, etc.)
  ☆133Updated 8 years ago
• fpco / mezzohaskell
  Community-driven book on intermediate Haskell
  ☆293Updated 10 years ago
• ekmett / discrimination
  Fast linear time sorting and discrimination for a large class of data types
  ☆137Updated 4 months ago
• iand675 / haskell-checklist
  Preflight checklist for Haskell code. Aspire to greatness!
  ☆68Updated 9 years ago
• imeckler / mote
  ☆116Updated 10 years ago
• lambdabot / lambdabot
  A friendly IRC bot and apprentice coder, written in Haskell.
  ☆165Updated 5 months ago
• haskell-repa / repa
  High performance, regular, shape polymorphic parallel arrays.
  ☆142Updated 9 months ago
• aisamanra / rust-haskell-ffi
  Toy example of calling Rust from Haskell
  ☆132Updated 10 years ago