ezyang / compact

Related projects ⓘ

Alternatives and complementary repositories for compact

• fpco / weigh
  Measure allocations of a Haskell functions/values
  ☆93Updated last week
• ekmett / unpacked-containers
  Unpacked containers using backpack
  ☆52Updated 4 years ago
• chrisdone-archive / labels
  Declare and access tuple fields with labels
  ☆60Updated 5 years ago
• chrisdone-archive / prana
  Interpreter for GHC Haskell
  ☆22Updated 5 years ago
• well-typed / generics-sop
  Generic Programming using True Sums of Products
  ☆157Updated 5 months ago
• haskell-perf / dictionaries
  Benchmarks for dictionary data structures: hash tables, maps, tries, etc.
  ☆95Updated 2 years ago
• ekmett / semigroupoids
  ☆74Updated 4 months ago
• int-index / ether
  Monad Transformers and Classes
  ☆78Updated 5 years ago
• nh2 / haskell-cpu-instruction-counter
  Measuring CPU instructions in Haskell using Linux Performance Counters
  ☆83Updated 6 years ago
• ekmett / codex
  UI experiments for coda
  ☆65Updated 3 years ago
• ekmett / profunctors
  Haskell 98 Profunctors
  ☆70Updated 4 months ago
• tweag / linear-types
  Drafts, notes and resources for adding linear typing to GHC.
  ☆75Updated 4 years ago
• gelisam / category-syntax
  do-notation for Category and "Arrow without arr"
  ☆63Updated 7 years ago
• obsidiansystems / dependent-map
  Dependently-typed finite maps (partial dependent products)
  ☆63Updated 5 months ago
• DanBurton / tardis
  ☆110Updated 9 months ago
• dhall-lang / dhall-to-cabal
  Compile Dhall expressions to Cabal files
  ☆100Updated last year
• serokell / o-clock
  Type-safe time units in Haskell
  ☆49Updated 9 months ago
• vincenthz / hs-gauge
  Lean Haskell Benchmarking
  ☆90Updated 2 years ago
• dorchard / type-level-sets
  Type-level sets for Haskell (with value-level counterparts and various operations)
  ☆66Updated 10 months ago
• rampion / constraint-unions
  A syntax for unions of constraints in Haskell
  ☆70Updated 7 years ago
• nikita-volkov / stm-containers
  Containers for STM
  ☆67Updated 6 months ago
• ekmett / bound
  Combinators for manipulating locally-nameless generalized de Bruijn terms
  ☆122Updated 3 months ago
• Lysxia / first-class-families
  First-class type families
  ☆86Updated 2 months ago
• goldfirere / effects
  A Haskell translation of Idris's original algebraic effects library
  ☆41Updated 8 years ago
• ocharles / what-it-do
  Automatically trace all (showable) binds in do expressions
  ☆84Updated 6 years ago
• ekmett / contravariant
  Haskell 98 contravariant functors
  ☆73Updated 3 weeks ago
• stepcut / plugins
  Dynamic linking and runtime evaluation of Haskell, and C, including dependency chasing and package resolution.
  ☆52Updated last year
• ghcjs / ghcjs-dom
  Make Document Object Model (DOM) apps that run in any browser and natively using WebKitGtk
  ☆74Updated last week
• haskell-perf / serialization
  A micro-benchmark that compares some Haskell serialization libraries
  ☆44Updated 5 years ago
• ekmett / structs
  Exploring how to make a strict imperative universe in the GHC runtime system.
  ☆48Updated 6 months ago