Alternatives and similar repositories for syntax

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

• travitch / haggle
  An efficient graph library for Haskell
  ☆40Updated 3 months ago
• complyue / hadui
  Web front UI for interactive Haskell projects
  ☆34Updated 5 years ago
• SuperpowersCorp / refactorio
  Refactorio is a tool with which you build and maintain software.
  ☆19Updated last year
• konn / equational-reasoning-in-haskell
  Agda-style equational reasoning in Haskell
  ☆54Updated 7 months ago
• ocharles / dhall-build
  Drive the Nix build system using the Dhall configuration language
  ☆26Updated 7 years ago
• gibiansky / ghc-reskin
  A preprocessor for GHC for alternate Haskell syntaxes
  ☆38Updated 10 years ago
• LeventErkok / sbvPlugin
  Formally prove properties of Haskell programs using SBV/SMT.
  ☆45Updated 8 months ago
• matt-noonan / gdp
  Ghosts of Departed Proofs
  ☆62Updated 5 years ago
• qfpl / sv
  Comma (and other) separated values
  ☆78Updated 2 years ago
• liamoc / dixi
  A wiki based on firm theoretical foundations
  ☆51Updated 9 years ago
• chessai / eigen
  Haskell bindings to the Eigen C++ library
  ☆16Updated last year
• mstksg / backprop-learn
  Combinators and types for easily building trainable neural networks using the backprop library
  ☆34Updated 5 years ago
• dhall-lang / dhall-to-cabal
  Compile Dhall expressions to Cabal files
  ☆101Updated 2 years ago
• stepcut / idrOS
  An OS written in Idris (eventually...)
  ☆20Updated 10 years 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 10 months ago
• joom / fuzzy
  Fuzzy string search in Haskell
  ☆14Updated last year
• ChrisPenner / lens-errors
  Handling errors which occur deep inside lens-chains
  ☆17Updated 6 years ago
• acowley / cabbage
  A tool for caching cabal builds in a Nix store
  ☆33Updated 9 years ago
• spinda / liquidhaskell-cabal
  💧 Liquid Haskell integration for Cabal and Stack
  ☆25Updated 6 years ago
• jonascarpay / convoluted
  Dependently typed convolutional neural networks
  ☆35Updated 8 years ago
• achirkin / easytensor
  Many-dimensional type-safe numeric ops
  ☆46Updated 3 years ago
• leftaroundabout / Symbolic-math-HaTeX
  Convenient Haskell syntax for writing in LaTeX math expressions
  ☆28Updated 2 months ago
• Lysxia / generic-random
  Generic random generators
  ☆81Updated 2 years ago
• rethab / bindings-dsl
  Library and macros to simplify writing Haskell FFI code
  ☆40Updated 2 years ago
• stepcut / plugins
  Dynamic linking and runtime evaluation of Haskell, and C, including dependency chasing and package resolution.
  ☆53Updated 2 years ago
• mightybyte / reflex-2048
  A Haskell implementation of 2048 with Reflex.
  ☆13Updated 8 years ago
• declanoller / haskell-vae
  Learning about Haskell with Variational Autoencoders
  ☆19Updated 6 years ago
• ChrisPenner / lens-filesystem
  Lens interface for your filesystem
  ☆22Updated 4 years ago
• arrayfire / arrayfire-haskell
  Haskell bindings to ArrayFire
  ☆60Updated 11 months ago
• yav / dump-core
  ☆45Updated 4 years ago