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
• ChrisPenner / jet
  A structural editor for JSON values
  ☆77Updated 3 years ago
• willtim / Expresso
  A simple expressions language with polymorphic extensible row types.
  ☆305Updated 2 years ago
• SPY / haskell-wasm
  Haskell WebAssembly Toolkit
  ☆155Updated last year
• channable / alfred-margaret
  Fast Aho-Corasick string searching
  ☆193Updated 11 months ago
• caotic123 / Kei
  A small and expressive dependently typed language
  ☆131Updated 5 years ago
• pkamenarsky / concur-static
  Generate semi-dynamic UIs with Concur
  ☆58Updated 5 years ago
• alpacaaa / quad-ci
  A CI server written in Simple Haskell.
  ☆193Updated 3 years ago
• HerrmannM / eole
  Éole, a Lévy-optimal lambda calculus evaluator without oracle
  ☆113Updated 6 years ago
• RKlompUU / FPSheet
  FPSheet: A Spreadsheet program with Haskell as the scripting language
  ☆96Updated 4 years ago
• monadicsystems / okapi
  A data-driven micro web framework for Haskell
  ☆104Updated 2 years ago
• bolt12 / advent-of-haskell-dd
  Day 9 of Advent of Haskell - Denotational Design
  ☆98Updated 4 years ago
• nikita-volkov / jsonifier
  Fast and simple JSON encoding toolkit
  ☆84Updated 2 years ago
• elba / elba
  A package manager for Idris
  ☆185Updated 5 years ago
• pkamenarsky / replica
  A remote virtual DOM library for Haskell
  ☆142Updated last year
• chrisdone-archive / duet
  A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell
  ☆216Updated 2 years ago
• kowainik / treap
  Efficient implementation of the implicit treap data structure
  ☆63Updated 4 years ago
• siraben / fp-notes
  Notes on Functional Programming and related topics
  ☆30Updated 3 years ago
• grin-compiler / ghc-grin
  GRIN backend for GHC
  ☆143Updated 4 years ago
• ollef / Bidirectional
  Haskell implementation of Dunfield and Krishnaswami's "Complete and easy bidirectional typechecking for higher-rank polymorphism"
  ☆133Updated 5 years ago
• pkamenarsky / concur-replica
  Server-side VDOM UI framework for Concur
  ☆138Updated 5 years ago
• mgrabmueller / AlgorithmW
  Example implementation of Algorithm W for Hindley-Milner type inference
  ☆81Updated 4 years ago
• reflex-frp / reflex-vty
  Build terminal applications using functional reactive programming (FRP) with Reflex FRP.
  ☆151Updated last month
• mmcqd / pure
  A pure type system implemented in OCaml
  ☆78Updated 5 years ago
• vmchale / github-actions-dhall
  Dhall helpers for github actions
  ☆54Updated 2 years ago
• vmchale / kempe
  Kempe is a compiled stack-based language
  ☆58Updated last year
• Gizra / ihp-simple-seat-reservation
  ☆20Updated 2 years ago
• LightAndLight / sized-hkts
  Higher kinded polymorphism in a language with unboxed, statically sized datatypes.
  ☆51Updated last year
• easafe / purescript-flame
  Fast & simple framework for building web applications
  ☆317Updated this week