Alternatives and similar repositories for hinc

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

• KeliLanguage / compiler
  The compiler for Keli
  ☆173Updated 6 years ago
• KMahoney / squee
  A Typed, Composable Database Query Language
  ☆104Updated 4 years ago
• caotic123 / Kei
  A small and expressive dependently typed language
  ☆131Updated 5 years ago
• RKlompUU / FPSheet
  FPSheet: A Spreadsheet program with Haskell as the scripting language
  ☆96Updated 4 years ago
• pkamenarsky / concur-static
  Generate semi-dynamic UIs with Concur
  ☆58Updated 4 years ago
• ChrisPenner / jet
  A structural editor for JSON values
  ☆77Updated 3 years ago
• willtim / Expresso
  A simple expressions language with polymorphic extensible row types.
  ☆303Updated 2 years ago
• SPY / haskell-wasm
  Haskell WebAssembly Toolkit
  ☆156Updated 9 months ago
• channable / alfred-margaret
  Fast Aho-Corasick string searching
  ☆189Updated 8 months ago
• chessai / theseus
  theseus, functional programming language with fully reversible computation
  ☆123Updated 6 years ago
• HerrmannM / eole
  Éole, a Lévy-optimal lambda calculus evaluator without oracle
  ☆113Updated 5 years ago
• ollef / Bidirectional
  Haskell implementation of Dunfield and Krishnaswami's "Complete and easy bidirectional typechecking for higher-rank polymorphism"
  ☆133Updated 5 years ago
• alpacaaa / quad-ci
  A CI server written in Simple Haskell.
  ☆191Updated 3 years ago
• monadicsystems / okapi
  A data-driven micro web framework for Haskell
  ☆104Updated last year
• elba / elba
  A package manager for Idris
  ☆186Updated 5 years ago
• bolt12 / advent-of-haskell-dd
  Day 9 of Advent of Haskell - Denotational Design
  ☆98Updated 3 years ago
• vmchale / polyglot
  Tool to count lines of source code.
  ☆252Updated last year
• vmchale / kempe
  Kempe is a compiled stack-based language
  ☆58Updated last year
• kowainik / treap
  Efficient implementation of the implicit treap data structure
  ☆62Updated 4 years ago
• LightAndLight / sized-hkts
  Higher kinded polymorphism in a language with unboxed, statically sized datatypes.
  ☆51Updated 9 months ago
• JKTKops / Write-You-a-Haskell-2
  A continuation of Stephen Diehl's Write You a Haskell
  ☆161Updated 4 years ago
• grin-compiler / ghc-grin
  GRIN backend for GHC
  ☆144Updated 3 years ago
• ollef / rock
  Build system
  ☆128Updated 2 years ago
• nikita-volkov / jsonifier
  Fast and simple JSON encoding toolkit
  ☆84Updated last year
• pkamenarsky / replica
  A remote virtual DOM library for Haskell
  ☆142Updated 11 months ago
• RoganMurley / GALGAGAME
  GALGA: Multiplayer card game written in Haskell and Elm.
  ☆139Updated last week
• chrisdone-archive / duet
  A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell
  ☆215Updated 2 years ago
• darklang / philip2
  An Elm to OCaml compiler
  ☆209Updated 5 years ago
• maybetonyfu / chameleon
  A tool to make solving type errors in Haskell simple and fun.
  ☆38Updated 3 years ago
• mmcqd / pure
  A pure type system implemented in OCaml
  ☆77Updated 4 years ago