Alternatives and similar repositories for hinc:

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

• willtim / Expresso
  A simple expressions language with polymorphic extensible row types.
  ☆302Updated last year
• snowleopard / selective
  Selective Applicative Functors: Declare Your Effects Statically, Select Which to Execute Dynamically
  ☆205Updated 10 months ago
• KMahoney / squee
  A Typed, Composable Database Query Language
  ☆104Updated 3 years ago
• HerrmannM / eole
  Éole, a Lévy-optimal lambda calculus evaluator without oracle
  ☆111Updated 5 years ago
• bolt12 / advent-of-haskell-dd
  Day 9 of Advent of Haskell - Denotational Design
  ☆97Updated 3 years ago
• evertedsphere / silica
  optics for Haskell with the most amazing type errors you've seen
  ☆242Updated 5 years ago
• channable / alfred-margaret
  Fast Aho-Corasick string searching
  ☆187Updated 2 weeks ago
• ChrisPenner / jet
  A structural editor for JSON values
  ☆77Updated 2 years ago
• ollef / Bidirectional
  Haskell implementation of Dunfield and Krishnaswami's "Complete and easy bidirectional typechecking for higher-rank polymorphism"
  ☆130Updated 4 years ago
• mmcqd / pure
  A pure type system implemented in OCaml
  ☆77Updated 4 years ago
• KeliLanguage / compiler
  The compiler for Keli
  ☆172Updated 5 years ago
• nikita-volkov / hasql-th
  Template Haskell utilities for Hasql
  ☆112Updated last month
• grin-compiler / ghc-grin
  GRIN backend for GHC
  ☆144Updated 3 years ago
• fumieval / Haskell-breaking-changes
  ☆89Updated 3 years ago
• SPY / haskell-wasm
  Haskell WebAssembly Toolkit
  ☆152Updated last month
• reflex-frp / reflex-vty
  Build terminal applications using functional reactive programming (FRP) with Reflex FRP.
  ☆140Updated 3 months ago
• pkamenarsky / concur-replica
  Server-side VDOM UI framework for Concur
  ☆138Updated 4 years ago
• ollef / sixty
  Dependent type checker using normalisation by evaluation
  ☆256Updated 5 months ago
• LightAndLight / sized-hkts
  Higher kinded polymorphism in a language with unboxed, statically sized datatypes.
  ☆50Updated last month
• pkamenarsky / concur-static
  Generate semi-dynamic UIs with Concur
  ☆58Updated 4 years ago
• caotic123 / Kei
  A small and expressive dependently typed language
  ☆129Updated 4 years ago
• RKlompUU / FPSheet
  FPSheet: A Spreadsheet program with Haskell as the scripting language
  ☆95Updated 3 years ago
• elba / elba
  A package manager for Idris
  ☆188Updated 4 years ago
• caotic123 / PomPom-Language
  The cuteness implementation of a dependently typed language.
  ☆189Updated 2 years ago
• pkamenarsky / replica
  A remote virtual DOM library for Haskell
  ☆141Updated 3 months ago
• chrisdone-archive / duet
  A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell
  ☆214Updated last year
• astampoulis / makam
  The Makam Metalanguage
  ☆197Updated last year
• harpocrates / inline-rust
  Use snippets of Rust inline in your Haskell programs
  ☆226Updated 3 years ago
• kowainik / treap
  Efficient implementation of the implicit treap data structure
  ☆63Updated 3 years ago
• ollef / rock
  Build system
  ☆123Updated last year