Selected Tags

Click on a tag to remove it

More Tags

Click on a tag to add it and filter down

Reflection packages

Showing projects tagged as Reflection

  • reflection

    9.3 4.8 Haskell
    Reifies arbitrary Haskell terms into types that can be reflected back into terms
  • hermit

    9.0 0.0 Haskell
    Haskell Equational Reasoning Model-to-Implementation Tunnel
  • data-reify

    8.6 3.4 Haskell
    Reification of data structures using observable sharing
  • zm

    6.0 6.3 Haskell
    Language independent, reproducible, absolute types.
  • reflection-extras

    5.1 0.0 Haskell
    Utilities for the reflection package
  • data-treify

    5.0 0.0 Haskell
    Reify a recursive data structure into an explicit graph.
  • yoko

    2.8 0.0 Haskell
    generic programming with disbanded data types