Skip to content

@well-typed Well-Typed LLP

Change the repository type filter

All

    Repositories list

    85 repositories

    • hs-bindgen

      Public
      Automatically generate Haskell bindings from C header files
      Haskell
      •5•73•250•8•Updated Jan 30, 2026Jan 30, 2026

    • grapesy

      Public
      Native Haskell gRPC client and server based on `http2`
      Haskell
      •10•85•29•2•Updated Jan 29, 2026Jan 29, 2026

    • haskell-debugger

      Public
      A modern step-through debugger for GHC Haskell
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •11•109•23•1•Updated Jan 29, 2026Jan 29, 2026

    • reinstallable-base

      Public
      Tracking progress towards making the `base` library reinstallable
      Haskell
      •1•7•8•1•Updated Jan 29, 2026Jan 29, 2026

    • optics

      Public
      Optics as an abstract interface
      Haskell
      •26•387•52•8•Updated Jan 28, 2026Jan 28, 2026

    • eventlog-socket

      Public
      Pipe the GHC eventlog stream to a UNIX domain socket
      C
      •6•22•9•1•Updated Jan 26, 2026Jan 26, 2026

    • hs-bindgen-tutorial-nix

      Public
      Tutorial on integration of hs-bindgen in Nix workflow
      Mermaid
      •0•3•3•0•Updated Jan 26, 2026Jan 26, 2026

    • ghc-stack-profiler

      Public
      A profiler which samples the RTS callstack
      Haskell
      •0•7•0•1•Updated Jan 22, 2026Jan 22, 2026

    • unfolder

      Public
      Repository with code snippets that accompany episodes of The Haskell Unfolder
      Haskell
      •7•110•0•1•Updated Jan 21, 2026Jan 21, 2026

    • libclang

      Public
      Haskell bindings to libclang
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •0•3•4•0•Updated Jan 21, 2026Jan 21, 2026

    • ghc-stack-annotations

      Public
      Backwards compatibility module to use GHC's new Stack Annotation Frame
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •0•1•0•0•Updated Jan 19, 2026Jan 19, 2026

    • eventlog-live

      Public
      eventlog
      Haskell
      •3•26•13•2•Updated Jan 7, 2026Jan 7, 2026

    • json-sop

      Public
      Generic JSON (de)serialization using generics-sop
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •8•11•0•0•Updated Jan 7, 2026Jan 7, 2026

    • lens-sop

      Public
      Computing lenses generically using generics-sop
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •5•15•0•0•Updated Jan 7, 2026Jan 7, 2026

    • 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).
      Haskell
      •
      Other
      •5•35•3•1•Updated Jan 7, 2026Jan 7, 2026

    • generics-sop

      Public
      Generic Programming using True Sums of Products
      haskelltypesgeneric-programming
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •48•164•31•9•Updated Jan 7, 2026Jan 7, 2026

    • ipedb

      Public
      Haskell
      •0•1•0•0•Updated Dec 18, 2025Dec 18, 2025

    • blockio-uring

      Public
      Library to perform batches of asynchronous disk IO operations. Implemented using Linux io_uring API.
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •1•19•3•1•Updated Dec 16, 2025Dec 16, 2025

    • bloomfilter-blocked

      Public
      Classic and block-structured Bloom filters
      C++
      •
      Apache License 2.0
      •0•2•1•1•Updated Dec 15, 2025Dec 15, 2025

    • large-records

      Public
      Library to support efficient compilation of large records (linear in the number of record fields)
      Haskell
      •22•51•14•1•Updated Nov 18, 2025Nov 18, 2025

    • snappy-c

      Public
      Bindings to the C API of Google's Snappy: A fast compression library
      compression
      Haskell
      •
      Other
      •1•4•1•1•Updated Nov 15, 2025Nov 15, 2025

    • quickcheck-lockstep

      Public
      Support for lockstep-style testing using quickcheck-dynamic
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •4•9•3•0•Updated Oct 29, 2025Oct 29, 2025

    • verifying-and-testing-with-iosim

      Public
      Haskell
      •
      MIT License
      •0•1•0•0•Updated Oct 13, 2025Oct 13, 2025

    • cborg

      Public
      Binary serialisation in the CBOR format
      haskell
      Haskell
      •90•206•51•9•Updated Oct 2, 2025Oct 2, 2025

    • falsify

      Public
      Haskell
      •
      Other
      •10•50•13•3•Updated Oct 2, 2025Oct 2, 2025

    • testing-tensor

      Public
      Pure implementation of tensors, intended to be used as a model in tests
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •0•2•0•0•Updated Aug 28, 2025Aug 28, 2025

    • cabal-proposals

      Public
      Cabal proposals
      3•0•0•0•Updated Aug 26, 2025Aug 26, 2025

    • ghc-proposals

      Public
      Proposed compiler and language changes for GHC and GHC/Haskell
      Python
      •275•0•0•0•Updated Aug 5, 2025Aug 5, 2025

    • ixset-typed

      Public
      More strongly typed variant of the ixset Haskell package
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •25•26•4•6•Updated Jul 28, 2025Jul 28, 2025

    • ghc-events-analyze

      Public
      Haskell
      •
      Other
      •23•67•8•0•Updated Jul 19, 2025Jul 19, 2025