haskellari / tree-diff

Related projects ⓘ

Alternatives and complementary repositories for tree-diff

• bgamari / ghc-dump
  A GHC plugin and library for analysing GHC Core
  ☆53Updated 2 years ago
• gelisam / typelevel-rewrite-rules
  rewrite rules for type-level equalities
  ☆62Updated 7 months ago
• well-typed / generics-sop
  Generic Programming using True Sums of Products
  ☆157Updated 6 months ago
• obsidiansystems / dependent-map
  Dependently-typed finite maps (partial dependent products)
  ☆63Updated 5 months ago
• vmchale / recursion_schemes
  Recursion schemes for Idris
  ☆64Updated 6 years ago
• fumieval / witherable
  Filter with effects
  ☆71Updated 3 months ago
• isovector / cccc
  🖼️ the compiling to closed categories compiler
  ☆66Updated 6 years ago
• chrisdone-archive / prana
  Interpreter for GHC Haskell
  ☆22Updated 5 years ago
• yav / dump-core
  ☆45Updated 2 years ago
• kowainik / type-errors-pretty
  💄🐞 Combinators for writing pretty type errors easily
  ☆55Updated 2 years ago
• dhall-lang / dhall-to-cabal
  Compile Dhall expressions to Cabal files
  ☆100Updated last year
• haskell-perf / sequences
  Benchmarks for sequence data structures: lists, vectors, etc.
  ☆88Updated 2 years ago
• obsidiansystems / dependent-sum
  Dependent sums and supporting typeclasses for comparing and displaying them
  ☆54Updated last year
• ekmett / bound
  Combinators for manipulating locally-nameless generalized de Bruijn terms
  ☆122Updated 3 months ago
• rampion / constraint-unions
  A syntax for unions of constraints in Haskell
  ☆70Updated 7 years ago
• isovector / typecraft
  it's a starcraft clone but with a dope typesystem
  ☆49Updated 4 years ago
• tweag / distributed-closure
  Serializable closures for distributed programming.
  ☆65Updated 11 months ago
• agrafix / superrecord
  Haskell: Supercharged anonymous records
  ☆83Updated 2 years ago
• hedgehogqa / haskell-hedgehog-classes
  Hedgehog will eat your typeclass bugs
  ☆56Updated 2 months ago
• osa1 / StrictCore
  An experimental intermediate language for GHC
  ☆37Updated 7 years ago
• konn / type-natural
  Type-level well-kinded natural numbers.
  ☆33Updated 5 months ago
• ocharles / what-it-do
  Automatically trace all (showable) binds in do expressions
  ☆84Updated 6 years ago
• qfpl / tasty-hedgehog
  Tasty integration for the Hedgehog property testing library
  ☆38Updated this week
• qfpl / sv
  Comma (and other) separated values
  ☆76Updated last year
• typedbyte / effet
  An effect system based on type classes, written in Haskell.
  ☆44Updated 3 years ago
• matt-noonan / gdp
  Ghosts of Departed Proofs
  ☆60Updated 3 years ago
• ekmett / codex
  UI experiments for coda
  ☆65Updated 3 years ago
• turingjump / bookkeeper
  ☆55Updated 5 years ago
• ekmett / structs
  Exploring how to make a strict imperative universe in the GHC runtime system.
  ☆48Updated 7 months ago
• well-typed / full-text-search
  An in-memory full text search engine library. It lets you run full-text queries on a collection of your documents.
  ☆47Updated 3 months ago