Skip to content
@well-typed

Well-Typed LLP

The Haskell Consultants

Popular repositories Loading

  1. optics optics Public

    Optics as an abstract interface

    Haskell 382 25

  2. cborg cborg Public

    Binary serialisation in the CBOR format

    Haskell 196 89

  3. generics-sop generics-sop Public

    Generic Programming using True Sums of Products

    Haskell 162 48

  4. visualize-cbn visualize-cbn Public

    Haskell 99 8

  5. unfolder unfolder Public

    Repository with code snippets that accompany episodes of The Haskell Unfolder

    Haskell 89 7

  6. ghc-events-analyze ghc-events-analyze Public

    Haskell 67 23

Repositories

Showing 10 of 72 repositories
  • hs-bindgen Public

    Automatically generate Haskell bindings from C header files

    well-typed/hs-bindgen’s past year of commit activity
    Haskell 37 0 114 0 Updated Mar 20, 2025
  • cborg Public

    Binary serialisation in the CBOR format

    well-typed/cborg’s past year of commit activity
    Haskell 196 89 54 8 Updated Mar 18, 2025
  • optics Public

    Optics as an abstract interface

    well-typed/optics’s past year of commit activity
    Haskell 382 25 44 10 Updated Mar 17, 2025
  • unfolder Public

    Repository with code snippets that accompany episodes of The Haskell Unfolder

    well-typed/unfolder’s past year of commit activity
    Haskell 89 7 0 1 Updated Mar 13, 2025
  • testing-tensor Public

    Pure implementation of tensors, intended to be used as a model in tests

    well-typed/testing-tensor’s past year of commit activity
    Haskell 2 BSD-3-Clause 0 1 0 Updated Mar 12, 2025
  • quickcheck-lockstep Public

    Support for lockstep-style testing using quickcheck-dynamic

    well-typed/quickcheck-lockstep’s past year of commit activity
    Haskell 6 BSD-3-Clause 3 2 0 Updated Mar 12, 2025
  • visualize-cbn Public
    well-typed/visualize-cbn’s past year of commit activity
    Haskell 99 BSD-3-Clause 8 4 0 Updated Mar 12, 2025
  • large-records Public

    Library to support efficient compilation of large records (linear in the number of record fields)

    well-typed/large-records’s past year of commit activity
    Haskell 46 22 11 0 Updated Mar 11, 2025
  • recover-rtti Public

    Recover run-time type information from the GHC heap. One example use case is a "show anything" function (with no Show constraint).

    well-typed/recover-rtti’s past year of commit activity
    Haskell 35 5 3 1 Updated Mar 11, 2025
  • ghc-proposals Public Forked from ghc-proposals/ghc-proposals

    Proposed compiler and language changes for GHC and GHC/Haskell

    well-typed/ghc-proposals’s past year of commit activity
    Python 0 276 0 0 Updated Mar 7, 2025
View all repositories

Top languages

Loading…

Most used topics

Loading…