Alternatives and similar repositories for syntax

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

• complyue / hadui
  Web front UI for interactive Haskell projects
  ☆33Updated 5 years ago
• Lysxia / generic-random
  Generic random generators
  ☆81Updated 2 years ago
• konn / equational-reasoning-in-haskell
  Agda-style equational reasoning in Haskell
  ☆54Updated 5 months ago
• well-typed / full-text-search
  An in-memory full text search engine library. It lets you run full-text queries on a collection of your documents.
  ☆49Updated 7 months ago
• matt-noonan / gdp
  Ghosts of Departed Proofs
  ☆61Updated 4 years ago
• travitch / haggle
  An efficient graph library for Haskell
  ☆38Updated 3 weeks ago
• SuperpowersCorp / refactorio
  Refactorio is a tool with which you build and maintain software.
  ☆19Updated last year
• liamoc / dixi
  A wiki based on firm theoretical foundations
  ☆51Updated 9 years ago
• LeventErkok / sbvPlugin
  Formally prove properties of Haskell programs using SBV/SMT.
  ☆45Updated 6 months ago
• plow-technologies / ble
  ☆20Updated 6 years ago
• gibiansky / ghc-reskin
  A preprocessor for GHC for alternate Haskell syntaxes
  ☆38Updated 10 years ago
• blamario / grampa
  Grammatical parsers - combinator library for parsing general context-free grammars
  ☆42Updated 2 weeks ago
• ChrisPenner / lens-errors
  Handling errors which occur deep inside lens-chains
  ☆17Updated 6 years ago
• haskell-works / hw-json
  ☆50Updated last month
• pkamenarsky / knit
  Ties the knot on data structures that reference each other by unique keys
  ☆47Updated last year
• SamuelSchlesinger / gaia
  An experiment in functional interface design
  ☆24Updated 8 years ago
• spinda / liquidhaskell-cabal
  💧 Liquid Haskell integration for Cabal and Stack
  ☆25Updated 6 years ago
• sellout / dredd
  Automatic type class law checking.
  ☆24Updated 8 months ago
• ocharles / dhall-build
  Drive the Nix build system using the Dhall configuration language
  ☆26Updated 6 years ago
• haskell-numerics / random-fu
  A suite of Haskell libraries for representing, manipulating, and sampling random variables
  ☆43Updated last year
• qfpl / sv
  Comma (and other) separated values
  ☆78Updated last year
• ChrisPenner / lens-filesystem
  Lens interface for your filesystem
  ☆22Updated 4 years ago
• dhall-lang / dhall-to-cabal
  Compile Dhall expressions to Cabal files
  ☆101Updated 2 years ago
• tweag / distributed-closure
  Serializable closures for distributed programming.
  ☆65Updated last year
• Feldspar / raw-feldspar
  Resource-AWare Feldspar
  ☆38Updated 3 years ago
• mstksg / mutable
  Automatic piecewise-mutable references for your types
  ☆42Updated 5 years ago
• jtobin / deanie
  An embedded probabilistic programming language.
  ☆34Updated 8 years ago
• ejconlon / analyze
  making data science easy and safe with data frames in haskell
  ☆27Updated 8 years ago
• mstksg / backprop-learn
  Combinators and types for easily building trainable neural networks using the backprop library
  ☆33Updated 5 years ago
• mstksg / servant-cli
  Generate a command line client from a servant API
  ☆28Updated last year