serras / hinc

Related projects ⓘ

Alternatives and complementary repositories for hinc

• channable / alfred-margaret
  Fast Aho-Corasick string searching
  ☆185Updated 2 months ago
• KMahoney / squee
  A Typed, Composable Database Query Language
  ☆104Updated 3 years ago
• willtim / Expresso
  A simple expressions language with polymorphic extensible row types.
  ☆302Updated last year
• nikita-volkov / jsonifier
  Fast and simple JSON encoding toolkit
  ☆83Updated 11 months ago
• nikita-volkov / hasql-th
  Template Haskell utilities for Hasql
  ☆112Updated 4 months ago
• snowleopard / selective
  Selective Applicative Functors: Declare Your Effects Statically, Select Which to Execute Dynamically
  ☆201Updated 7 months ago
• JKTKops / Write-You-a-Haskell-2
  A continuation of Stephen Diehl's Write You a Haskell
  ☆155Updated 3 years ago
• evertedsphere / silica
  optics for Haskell with the most amazing type errors you've seen
  ☆243Updated 4 years ago
• pkamenarsky / concur-replica
  Server-side VDOM UI framework for Concur
  ☆139Updated 4 years ago
• KeliLanguage / compiler
  The compiler for Keli
  ☆171Updated 5 years ago
• ollef / Bidirectional
  Haskell implementation of Dunfield and Krishnaswami's "Complete and easy bidirectional typechecking for higher-rank polymorphism"
  ☆129Updated 4 years ago
• ChrisPenner / jet
  A structural editor for JSON values
  ☆78Updated 2 years ago
• bolt12 / advent-of-haskell-dd
  Day 9 of Advent of Haskell - Denotational Design
  ☆97Updated 2 years ago
• chrisdone-archive / dynamic
  Dynamic typing in Haskell
  ☆192Updated 5 years ago
• monadicsystems / okapi
  A data-driven micro web framework for Haskell
  ☆104Updated 10 months ago
• reflex-frp / reflex-vty
  Build terminal applications using functional reactive programming (FRP) with Reflex FRP.
  ☆140Updated last week
• ollef / rock
  Build system
  ☆122Updated last year
• mmcqd / pure
  A pure type system implemented in OCaml
  ☆77Updated 3 years ago
• HerrmannM / eole
  Éole, a Lévy-optimal lambda calculus evaluator without oracle
  ☆110Updated 5 years ago
• chrisdone-archive / duet
  A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell
  ☆212Updated last year
• darklang / philip2
  An Elm to OCaml compiler
  ☆205Updated 4 years ago
• fumieval / Haskell-breaking-changes
  ☆89Updated 3 years ago
• pkamenarsky / replica
  A remote virtual DOM library for Haskell
  ☆139Updated 2 weeks ago
• elba / elba
  A package manager for Idris
  ☆190Updated 4 years ago
• frank-lang / frank
  Frank compiler
  ☆279Updated 7 months ago
• SPY / haskell-wasm
  Haskell WebAssembly Toolkit
  ☆151Updated 5 months ago
• grin-compiler / ghc-grin
  GRIN backend for GHC
  ☆143Updated 3 years ago
• RKlompUU / FPSheet
  FPSheet: A Spreadsheet program with Haskell as the scripting language
  ☆95Updated 3 years ago
• caotic123 / Kei
  A small and expressive dependently typed language
  ☆129Updated 4 years ago
• astampoulis / makam
  The Makam Metalanguage
  ☆194Updated last year