yobson / jhc-components

Related projects ⓘ

Alternatives and complementary repositories for jhc-components

• spinda / liquidhaskell-cabal
  💧 Liquid Haskell integration for Cabal and Stack
  ☆24Updated 5 years ago
• haskellari / some
  Existential type.
  ☆36Updated 6 months ago
• sellout / dredd
  Automatic type class law checking.
  ☆24Updated 11 months ago
• thoughtpolice / asc
  Austin's supercompiler work
  ☆21Updated 5 years ago
• esmolanka / sexp-grammar
  Invertible parsing for S-expressions
  ☆33Updated 2 months ago
• plaidfinch / StrictCheck
  Keep your laziness in check!
  ☆32Updated 2 years ago
• phadej / idioms-plugins
  Hack idiom-brackets using GHC Source Plugin (8.6+)
  ☆25Updated 6 years ago
• ekmett / structs
  Exploring how to make a strict imperative universe in the GHC runtime system.
  ☆48Updated 7 months ago
• Jaak / TinyOutsideIn
  Small implementation of OutsideIn(X) type checking algorithm
  ☆31Updated 9 years ago
• chessai / pump
  reverse dependency build matrix generator
  ☆33Updated 4 years ago
• jwiegley / categorical
  Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work
  ☆19Updated 6 years ago
• bgamari / io-uring
  A simple set of io-uring bindings in Haskell
  ☆28Updated 4 years ago
• nomeata / containers-verified
  A package re-exporting the verified subset of containers
  ☆20Updated 6 years ago
• mpickering / ghcide-reflex
  Experimental fork of ghcide which is reimplemented using the FRP library reflex
  ☆17Updated 3 years ago
• monadfix / shower
  Clean up the formatting of 'show' output
  ☆22Updated 3 months ago
• dmjio / c-ffi-example
  Example usage of the Haskell C FFI with hsc2hs
  ☆11Updated 6 years ago
• phadej / overloaded
  Overloaded plugin
  ☆31Updated 5 months ago
• bgamari / ghc-dump
  A GHC plugin and library for analysing GHC Core
  ☆53Updated 2 years ago
• stepcut / idrOS
  An OS written in Idris (eventually...)
  ☆18Updated 9 years ago
• typedbyte / effet
  An effect system based on type classes, written in Haskell.
  ☆44Updated 3 years ago
• travitch / haggle
  An efficient graph library for Haskell
  ☆39Updated 3 months ago
• haskus / packages
  Haskus packages
  ☆24Updated 3 weeks ago
• isovector / containers-good-graph
  It's Data.Graph, but it doesn't suck!
  ☆16Updated 3 years ago
• phadej / kleene
  Kleene algebra, regular expressions
  ☆32Updated last year
• kcsongor / symbols
  Symbol manipulation
  ☆36Updated last year
• TheMatten / hask
  Funny little Haskell impl
  ☆18Updated 4 years ago
• haskell-trasa / trasa
  Safe web routing in haskell
  ☆30Updated last year
• wenkokke / priority-sesh
  Session Types with Priority in Linear Haskell
  ☆25Updated 5 months ago
• wrengr / unification-fd
  Generic functions for single-sorted first-order structural unification
  ☆41Updated this week
• i-am-tom / dagless
  A monadic interface for DAG construction.
  ☆24Updated 3 years ago