ianmbloom / gudni

Related projects: ⓘ

• sheaf / acts
  Haskell library for semigroup actions and torsors
  ☆57Updated 7 months ago
• bgamari / ghc-dump
  A GHC plugin and library for analysing GHC Core
  ☆53Updated 2 years ago
• csabahruska / jhc-components
  JHC Haskell compiler split into reusable components
  ☆58Updated 5 years ago
• well-typed / recover-rtti
  Recover run-time type information from the GHC heap. One example use case is a "show anything" function (with no Show constraint).
  ☆33Updated 3 months ago
• gelisam / linear-examples
  Example uses of linear types
  ☆42Updated 4 years ago
• haskellari / lattices
  Fine-grained lattice primitives for Haskell
  ☆35Updated last month
• muesli4 / table-layout
  Layout data in grids and pretty tables. Provides a lot of tools to get the cell formatting right (positional alignment, alignment on spec…
  ☆38Updated 2 months ago
• Bodigrim / bitvec
  Bit vectors: 8x less memory, up to 3500x faster than Vector Bool
  ☆73Updated 2 months ago
• haskell-perf / graphs
  ☆39Updated 4 years ago
• yav / dump-core
  ☆45Updated 2 years ago
• bjpop / ministg
  Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.
  ☆71Updated 4 years ago
• sheaf / if-instance
  GHC plugin to branch on whether a constraint is satisfied
  ☆30Updated last year
• wz1000 / HieDb
  Generates a references DB from .hie files
  ☆64Updated 2 months ago
• lambdageek / unbound-generics
  Specify variable binding in syntax trees using GHC.Generics (reimplementation of Unbound)
  ☆55Updated 6 months ago
• ekmett / bound
  Combinators for manipulating locally-nameless generalized de Bruijn terms
  ☆121Updated last month
• konsumlamm / rrb-vector
  An implementation of a Relaxed Radix Balanced Vector in Haskell.
  ☆20Updated 3 weeks ago
• haskell-backpack / backpack-str
  The Str signature and implementations
  ☆21Updated 7 years ago
• andorp / mini-grin
  ICFP tutorial
  ☆40Updated 3 years ago
• TOTBWF / tactic-haskell
  Tactic Metaprogramming in Haskell
  ☆57Updated 5 years ago
• Bodigrim / mod
  Modular arithmetic, promoting moduli to the type level
  ☆24Updated 4 months ago
• schell / varying
  Continuously varying values, made easy :)
  ☆40Updated 4 years ago
• gelisam / category-syntax
  do-notation for Category and "Arrow without arr"
  ☆63Updated 7 years ago
• AndrasKovacs / setoidtt
  Prototype implementations of systems based on setoid type theory
  ☆64Updated 3 years ago
• ekmett / unpacked-containers
  Unpacked containers using backpack
  ☆52Updated 4 years ago
• wrengr / unification-fd
  Generic functions for single-sorted first-order structural unification
  ☆41Updated 2 weeks ago
• hedgehogqa / haskell-hedgehog-classes
  Hedgehog will eat your typeclass bugs
  ☆56Updated 2 weeks ago
• haskellfoundation / gotta-go-fast
  A How-To Performance Tuning Book for Haskell
  ☆20Updated 3 years ago
• haskell-perf / serialization
  A micro-benchmark that compares some Haskell serialization libraries
  ☆43Updated 5 years ago
• TOTBWF / omit-generics
  Omit fields for instance deriving
  ☆37Updated 4 years ago
• Bodigrim / quote-quot
  Divide without division
  ☆15Updated 4 months ago