Alternatives and similar repositories for hs-ats

Users that are interested in hs-ats are comparing it to the libraries listed below

• RyanGlScott / eliminators
  Dependently typed elimination functions using singletons
  ☆28Updated 7 months ago
• fosskers / mapalgebra
  Efficient, polymorphic Map Algebra in Haskell.
  ☆37Updated 5 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 6 months ago
• LightAndLight / closure
  Closure calculus implementation
  ☆12Updated 6 years ago
• konn / equational-reasoning-in-haskell
  Agda-style equational reasoning in Haskell
  ☆54Updated 3 months ago
• spinda / liquidhaskell-cabal
  💧 Liquid Haskell integration for Cabal and Stack
  ☆25Updated 6 years ago
• LightAndLight / cbpv
  A usable type system for call by push-value
  ☆33Updated 5 years ago
• ChrisPenner / lens-filesystem
  Lens interface for your filesystem
  ☆22Updated 4 years ago
• complyue / hadui
  Web front UI for interactive Haskell projects
  ☆33Updated 5 years ago
• aaronallen8455 / Typson
  Type safe JSON PostgreSQL queries using bidirectional serializers
  ☆21Updated 4 years ago
• haskell-foundation / foundation-edge
  types and functions bridge between foundation and the actual ecosystem (text, vector, bytestring, ...
  ☆18Updated 8 years ago
• phadej / idioms-plugins
  Hack idiom-brackets using GHC Source Plugin (8.6+)
  ☆25Updated 7 years ago
• travitch / haggle
  An efficient graph library for Haskell
  ☆38Updated 2 months ago
• jwiegley / parsec-free
  ☆23Updated last year
• jfischoff / are-mutable-references-in-haskell-fast
  Code to go along with the blog post "Are Mutable References in Haskell Fast?"
  ☆10Updated 8 years ago
• byorgey / enumeration
  Simple Haskell package for efficiently indexable finite and infinite enumerations.
  ☆12Updated 3 months ago
• oisdk / type-indexed-queues
  Queues with verified and unverified versions
  ☆9Updated 8 years ago
• grin-compiler / ghc-wpc
  GHC-WPC is an extended GHC that exports the STG and other IR (.modpak) for the compiled modules and linker metadata (.ghc_stgapp) at appl…
  ☆10Updated last year
• liamoc / wizards
  High level, generic library for interrogative user interfaces in Haskell
  ☆41Updated 4 years ago
• LeventErkok / sbvPlugin
  Formally prove properties of Haskell programs using SBV/SMT.
  ☆45Updated 4 months ago
• system-f / papa
  Reasonable Haskell default import
  ☆27Updated 2 years ago
• kosmikus / ghc-compact-holes
  GHC patched with the -fcompact-holes flag
  ☆11Updated 6 years ago
• jwiegley / coq-cds4ltl
  A formalization of finite, constructive log analysis using linear temporal logic
  ☆22Updated last week
• hasura / monad-validate
  (NOTE: REPOSITORY MOVED TO NEW OWNER: https://github.com/lexi-lambda/monad-validate) A Haskell monad transformer library for data validat…
  ☆32Updated 3 years ago
• joom / direct-reflection-for-free
  using Data and Typeable to get a direct reflection system for free, when we're implementing a toy language in Haskell
  ☆15Updated 5 years ago
• nobrakal / tungsten
  Bring fusion to everyone
  ☆13Updated 5 years ago
• gergoerdi / tandoori
  Compositional type checking for Haskell
  ☆37Updated 14 years ago
• taktoa / wasm-agda
  A typechecker for WebAssembly, written in Agda (WIP)
  ☆17Updated 7 years ago
• achirkin / constraints-deriving
  Programmatically create new instances using core-to-core plugins
  ☆11Updated 4 years ago
• SamuelSchlesinger / gaia
  An experiment in functional interface design
  ☆24Updated 8 years ago