haskellari / tree-diff

Related projects: ⓘ

• bgamari / ghc-dump
  A GHC plugin and library for analysing GHC Core
  ☆53Updated 2 years ago
• yav / dump-core
  ☆45Updated 2 years ago
• vmchale / recursion_schemes
  Recursion schemes for Idris
  ☆64Updated 6 years ago
• schell / varying
  Continuously varying values, made easy :)
  ☆40Updated 4 years ago
• agrafix / superrecord
  Haskell: Supercharged anonymous records
  ☆83Updated last year
• haskell / deepseq
  Deep evaluation of data structures
  ☆40Updated last week
• vincenthz / hs-gauge
  Lean Haskell Benchmarking
  ☆90Updated 2 years ago
• stepcut / plugins
  Dynamic linking and runtime evaluation of Haskell, and C, including dependency chasing and package resolution.
  ☆52Updated last year
• turingjump / bookkeeper
  ☆55Updated 5 years ago
• esoeylemez / rapid
  Rapid prototyping with GHCi
  ☆55Updated 6 years ago
• rampion / constraint-unions
  A syntax for unions of constraints in Haskell
  ☆70Updated 7 years ago
• mrkkrp / ghc-syntax-highlighter
  Syntax highlighter for Haskell using the lexer of GHC
  ☆59Updated 3 months ago
• ekmett / zippers
  Zippers based on lenses and traversals
  ☆38Updated last year
• dorchard / type-level-sets
  Type-level sets for Haskell (with value-level counterparts and various operations)
  ☆66Updated 9 months ago
• well-typed / generics-sop
  Generic Programming using True Sums of Products
  ☆156Updated 4 months ago
• gelisam / typelevel-rewrite-rules
  rewrite rules for type-level equalities
  ☆61Updated 4 months ago
• ocharles / logging-effect
  A very general logging effect for Haskell
  ☆60Updated 4 months ago
• haskell-perf / serialization
  A micro-benchmark that compares some Haskell serialization libraries
  ☆43Updated 5 years ago
• bfops / open-union
  Type-safe open unions in Haskell
  ☆30Updated 6 years ago
• dhall-lang / dhall-to-cabal
  Compile Dhall expressions to Cabal files
  ☆100Updated last year
• Gabriella439 / managed
  A monad for managed values
  ☆50Updated last year
• RyanGlScott / text-show
  Efficient conversion of values into Text
  ☆38Updated 4 months ago
• ekmett / bound
  Combinators for manipulating locally-nameless generalized de Bruijn terms
  ☆121Updated last month
• osa1 / StrictCore
  An experimental intermediate language for GHC
  ☆37Updated 7 years ago
• fpco / ghc-prof-flamegraph
  ☆75Updated last year
• obsidiansystems / dependent-map
  Dependently-typed finite maps (partial dependent products)
  ☆63Updated 3 months ago
• qfpl / sv
  Comma (and other) separated values
  ☆77Updated 10 months ago
• maoe / viewprof
  Text-based interactive GHC .prof viewer
  ☆48Updated last year
• konn / type-natural
  Type-level well-kinded natural numbers.
  ☆33Updated 3 months ago
• thumphries / hgrep
  Search Haskell source code from the command line
  ☆76Updated 4 years ago