well-typed / visualize-cbn

Related projects ⓘ

Alternatives and complementary repositories for visualize-cbn

• codedownio / time-ghc-modules
  Analyze GHC .dump-timings files
  ☆101Updated 9 months ago
• matt-noonan / justified-containers
  Standard containers, with keys that carry type-level proofs of their own presence.
  ☆80Updated 4 years ago
• nomeata / inspection-testing
  Inspection Testing for Haskell
  ☆173Updated last month
• well-typed / generics-sop
  Generic Programming using True Sums of Products
  ☆157Updated 6 months ago
• Bodigrim / tasty-bench
  Featherlight benchmark framework, drop-in replacement for criterion and gauge.
  ☆80Updated 2 weeks ago
• aisamanra / haddock-cheatsheet
  ☆104Updated 3 years ago
• Lysxia / first-class-families
  First-class type families
  ☆86Updated 3 months ago
• dfithian / prune-juice
  Prune unused Haskell dependencies.
  ☆48Updated last year
• bgamari / ghc-debug
  Moved to Haskell.org GitLab.
  ☆62Updated 6 months ago
• wz1000 / HieDb
  Generates a references DB from .hie files
  ☆64Updated 4 months ago
• cdornan / fmt
  New formatting library
  ☆56Updated 2 years ago
• fpco / weigh
  Measure allocations of a Haskell functions/values
  ☆93Updated 2 weeks ago
• ChrisPenner / json-to-haskell
  In goes JSON, out comes a complete Haskell model complete with instances! CLI and web interface available.
  ☆82Updated 3 years ago
• isovector / type-sets
  type level sets
  ☆67Updated 5 years ago
• pepeiborra / hls-tutorial
  A tutorial on writing Haskell Language Server plugins
  ☆70Updated 4 years ago
• mikeizbicki / ifcxt
  constraint level if statements
  ☆110Updated 6 years ago
• Bodigrim / bitvec
  Bit vectors: 8x less memory, up to 3500x faster than Vector Bool
  ☆73Updated last month
• jcpetruzza / barbies
  ☆92Updated 7 months ago
• chshersh / dr-cabal
  📊 Haskell dependencies build times profiler
  ☆74Updated last year
• ndmitchell / extra
  Extra Haskell functions
  ☆94Updated last month
• fpco / unliftio
  The MonadUnliftIO typeclass for unlifting monads to IO
  ☆151Updated last month
• well-typed / gp-zurihac-2020
  Repository accompanying the ZuriHac Advanced Track lecture on Datatype-Generic Programming
  ☆44Updated 4 years ago
• vincenthz / hs-gauge
  Lean Haskell Benchmarking
  ☆90Updated 2 years ago
• phadej / cabal-extras
  A tool suite to aid Haskell development using `cabal-install`
  ☆81Updated 4 months ago
• AndrasKovacs / flatparse
  Fast parsing from bytestrings
  ☆149Updated last week
• int-index / ether
  Monad Transformers and Classes
  ☆78Updated 5 years ago
• NorfairKing / haskell-WAT
  A collection of Haskell's WATs
  ☆89Updated 11 months ago
• re-xyr / cleff
  Fast and concise extensible effects
  ☆105Updated last year
• Quid2 / flat
  Principled and efficient binary serialization
  ☆60Updated 2 years ago
• fpco / typed-process
  Alternative API for processes, featuring more type safety
  ☆109Updated 3 months ago