vivshaw / three-wise-monkeys

Related projects: ⓘ

• Lysxia / first-class-families
  First-class type families
  ☆86Updated last month
• ekmett / linear-logic
  They see me rollin'. They're Heyting. Patrollin' and tryna catch me ridin' dirty. -- Chamillionaire, 2005
  ☆82Updated 3 years ago
• isovector / type-sets
  type level sets
  ☆67Updated 4 years ago
• sheaf / acts
  Haskell library for semigroup actions and torsors
  ☆57Updated 7 months ago
• paroxayte / sudoku.hs
  sudoku solver in haskell
  ☆41Updated 3 years ago
• ChrisPenner / astar-monad
  A smart A* search monad transformer which supports backtracking user-state!
  ☆81Updated 3 years ago
• polysemy-research / polysemy-zoo
  Experimental, user-contributed effects and interpreters for polysemy
  ☆70Updated last year
• ocharles / effect-zoo
  Comparing Haskell effect systems for ergonomics and speed
  ☆65Updated 3 years ago
• KingoftheHomeless / in-other-words
  A higher-order effect system where the sky's the limit
  ☆90Updated 2 years ago
• TOTBWF / refinery
  ⛏️ A refinement proof framework for haskell
  ☆69Updated last year
• matsumonkie / izuna
  Show Haskell type annotations when doing code review on Github
  ☆142Updated 3 years ago
• sdiehl / cabal-edit
  A utility for managing Hackage dependencies and manipulating Cabal files from the command line.
  ☆74Updated last year
• pepeiborra / hls-tutorial
  A tutorial on writing Haskell Language Server plugins
  ☆70Updated 4 years ago
• well-typed / gp-zurihac-2020
  Repository accompanying the ZuriHac Advanced Track lecture on Datatype-Generic Programming
  ☆44Updated 4 years ago
• lamdu / hypertypes
  Hypertypes - generic programming for heterogeneous recursive types
  ☆111Updated last week
• mathandley / AutoBench
  ☆33Updated this week
• chrisdone / prana
  Interpreter for GHC Haskell
  ☆22Updated 4 years ago
• chiroptical / declarative-programming-streams
  Active streaming declarative programmers. See who's online at the following URL:
  ☆67Updated 10 months ago
• NorfairKing / haskell-WAT
  A collection of Haskell's WATs
  ☆89Updated 9 months ago
• ArturGajowy / ghc-clippy-plugin
  A helpful companion to GHC. Overrides GHC messages, to the user's liking.
  ☆33Updated 4 years ago
• well-typed / generics-sop
  Generic Programming using True Sums of Products
  ☆156Updated 4 months ago
• Bodigrim / linear-builder
  Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.
  ☆88Updated last month
• AndrasKovacs / setoidtt
  Prototype implementations of systems based on setoid type theory
  ☆64Updated 3 years ago
• plaidfinch / StrictCheck
  Keep your laziness in check!
  ☆32Updated 2 years ago
• paf31 / dovetail
  A PureScript interpreter in Haskell
  ☆118Updated 2 years ago
• Bodigrim / bitvec
  Bit vectors: 8x less memory, up to 3500x faster than Vector Bool
  ☆73Updated 2 months ago
• kowainik / prolens
  👓 Profunctor based lightweight implementation of Lenses
  ☆74Updated last year
• TOTBWF / tactic-haskell
  Tactic Metaprogramming in Haskell
  ☆57Updated 5 years ago
• typedbyte / effet
  An effect system based on type classes, written in Haskell.
  ☆44Updated 2 years ago
• fumieval / Haskell-breaking-changes
  ☆88Updated 2 years ago