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
• willtim / Expresso
  A simple expressions language with polymorphic extensible row types.
  ☆304Updated 2 years ago
• ChrisPenner / jet
  A structural editor for JSON values
  ☆77Updated 3 years ago
• KMahoney / squee
  A Typed, Composable Database Query Language
  ☆104Updated 4 years ago
• HerrmannM / eole
  Éole, a Lévy-optimal lambda calculus evaluator without oracle
  ☆113Updated 6 years ago
• alpacaaa / quad-ci
  A CI server written in Simple Haskell.
  ☆191Updated 3 years ago
• caotic123 / Kei
  A small and expressive dependently typed language
  ☆131Updated 5 years ago
• pkamenarsky / concur-static
  Generate semi-dynamic UIs with Concur
  ☆58Updated 4 years ago
• SPY / haskell-wasm
  Haskell WebAssembly Toolkit
  ☆154Updated 9 months 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
• channable / alfred-margaret
  Fast Aho-Corasick string searching
  ☆189Updated 9 months ago
• JKTKops / Write-You-a-Haskell-2
  A continuation of Stephen Diehl's Write You a Haskell
  ☆161Updated 4 years ago
• bolt12 / advent-of-haskell-dd
  Day 9 of Advent of Haskell - Denotational Design
  ☆98Updated 3 years ago
• chrisdone-archive / duet
  A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell
  ☆215Updated 2 years ago
• chrisdone-archive / dynamic
  Dynamic typing in Haskell
  ☆191Updated 6 years ago
• ollef / Bidirectional
  Haskell implementation of Dunfield and Krishnaswami's "Complete and easy bidirectional typechecking for higher-rank polymorphism"
  ☆133Updated 5 years ago
• RKlompUU / FPSheet
  FPSheet: A Spreadsheet program with Haskell as the scripting language
  ☆96Updated 4 years ago
• complyue / ooh
  PoC for Object Oriented Haskell
  ☆21Updated 5 years ago
• jaredly / unison.rs
  ☆70Updated 3 years ago
• pkamenarsky / concur-replica
  Server-side VDOM UI framework for Concur
  ☆138Updated 5 years ago
• edwinb / Idris2
  A purely functional programming language with first class types
  ☆61Updated 7 months ago
• kowainik / treap
  Efficient implementation of the implicit treap data structure
  ☆62Updated 4 years ago
• ollef / rock
  Build system
  ☆131Updated 2 weeks ago
• pkamenarsky / replica
  A remote virtual DOM library for Haskell
  ☆142Updated last year
• bor0 / gidti
  Book: Introduction to Dependent Types with Idris
  ☆78Updated 2 years ago
• LightAndLight / sized-hkts
  Higher kinded polymorphism in a language with unboxed, statically sized datatypes.
  ☆51Updated 9 months ago
• effect-handlers / effects-rosetta-stone
  A comparison of how computational effects and handlers are implemented in various programming languages.
  ☆143Updated 6 years ago
• nikita-volkov / jsonifier
  Fast and simple JSON encoding toolkit
  ☆84Updated last year
• chessai / theseus
  theseus, functional programming language with fully reversible computation
  ☆123Updated 6 years ago