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 2 years ago
• bolt12 / advent-of-haskell-dd
  Day 9 of Advent of Haskell - Denotational Design
  ☆97Updated 3 years ago
• channable / alfred-margaret
  Fast Aho-Corasick string searching
  ☆187Updated 3 months ago
• KeliLanguage / compiler
  The compiler for Keli
  ☆173Updated 6 years ago
• ollef / Bidirectional
  Haskell implementation of Dunfield and Krishnaswami's "Complete and easy bidirectional typechecking for higher-rank polymorphism"
  ☆131Updated 4 years ago
• JKTKops / Write-You-a-Haskell-2
  A continuation of Stephen Diehl's Write You a Haskell
  ☆160Updated 4 years ago
• easafe / purescript-flame
  Fast & simple framework for building web applications
  ☆299Updated 2 weeks ago
• ollef / sixty
  Dependent type checker using normalisation by evaluation
  ☆260Updated 8 months ago
• HerrmannM / eole
  Éole, a Lévy-optimal lambda calculus evaluator without oracle
  ☆112Updated 5 years ago
• monadicsystems / okapi
  A data-driven micro web framework for Haskell
  ☆103Updated last year
• snowleopard / selective
  Selective Applicative Functors: Declare Your Effects Statically, Select Which to Execute Dynamically
  ☆207Updated last year
• grin-compiler / ghc-grin
  GRIN backend for GHC
  ☆144Updated 3 years ago
• KMahoney / squee
  A Typed, Composable Database Query Language
  ☆104Updated 4 years ago
• pkamenarsky / concur-replica
  Server-side VDOM UI framework for Concur
  ☆139Updated 4 years ago
• ChrisPenner / jet
  A structural editor for JSON values
  ☆77Updated 2 years ago
• evertedsphere / silica
  optics for Haskell with the most amazing type errors you've seen
  ☆243Updated 5 years ago
• nikita-volkov / strelka
  A simple, flexible and composable web-router
  ☆85Updated 5 years ago
• ajnsit / concur
  An unusual Web UI Framework for Haskell
  ☆306Updated 4 years ago
• caotic123 / PomPom-Language
  The cuteness implementation of a dependently typed language.
  ☆190Updated 2 years ago
• cyrus- / relit
  Hygienic typed literal macros (TLMs) for Reason
  ☆209Updated 6 years ago
• snowleopard / alga-paper
  A minimalistic, elegant and powerful approach to working with graphs in a functional programming language
  ☆197Updated 3 years ago
• nikita-volkov / hasql-th
  Template Haskell utilities for Hasql
  ☆112Updated 4 months ago
• elba / elba
  A package manager for Idris
  ☆188Updated 4 years ago
• RKlompUU / FPSheet
  FPSheet: A Spreadsheet program with Haskell as the scripting language
  ☆96Updated 3 years ago
• ollef / rock
  Build system
  ☆123Updated last year
• SPY / haskell-wasm
  Haskell WebAssembly Toolkit
  ☆154Updated 4 months ago
• pkamenarsky / replica
  A remote virtual DOM library for Haskell
  ☆141Updated 6 months ago
• chrisdone-archive / dynamic
  Dynamic typing in Haskell
  ☆191Updated 6 years ago
• ajnsit / purescript-companies
  Community curated list of companies that use Purescript
  ☆140Updated 5 months ago
• chrisdone-archive / duet
  A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell
  ☆214Updated 2 years ago