Skip to content

@well-typed Well-Typed LLP

Change the repository type filter

All

    Repositories list

    76 repositories

    • hs-bindgen

      Public
      Automatically generate Haskell bindings from C header files
      Haskell
      •2•55•160•10•Updated Aug 11, 2025Aug 11, 2025

    • cborg

      Public
      Binary serialisation in the CBOR format
      haskell
      Haskell
      •89•202•46•7•Updated Aug 11, 2025Aug 11, 2025

    • eventlog-live

      Public
      eventlog
      Haskell
      •3•15•0•1•Updated Aug 11, 2025Aug 11, 2025

    • large-records

      Public
      Library to support efficient compilation of large records (linear in the number of record fields)
      Haskell
      •22•48•12•1•Updated Aug 7, 2025Aug 7, 2025

    • grapesy

      Public
      Native Haskell gRPC client and server based on `http2`
      Haskell
      •7•74•26•0•Updated Aug 7, 2025Aug 7, 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

    • ghc-debugger

      Public
      WIP: A modern step-through debugger for GHC Haskell
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •1•34•4•0•Updated Aug 1, 2025Aug 1, 2025

    • optics

      Public
      Optics as an abstract interface
      Haskell
      •26•384•46•9•Updated Jul 31, 2025Jul 31, 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•14•1•1•Updated Jul 31, 2025Jul 31, 2025

    • ixset-typed

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

    • generics-sop

      Public
      Generic Programming using True Sums of Products
      typesgeneric-programminghaskell
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •48•162•31•9•Updated Jul 27, 2025Jul 27, 2025

    • unfolder

      Public
      Repository with code snippets that accompany episodes of The Haskell Unfolder
      Haskell
      •7•105•0•1•Updated Jul 23, 2025Jul 23, 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).
      Haskell
      •
      Other
      •5•35•3•1•Updated Jul 19, 2025Jul 19, 2025

    • ghc-events-analyze

      Public
      Haskell
      •
      Other
      •24•68•8•0•Updated Jul 19, 2025Jul 19, 2025

    • quickcheck-lockstep

      Public
      Support for lockstep-style testing using quickcheck-dynamic
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •3•10•2•0•Updated Jul 18, 2025Jul 18, 2025

    • dupIO

      Public
      Haskell
      •
      Other
      •1•4•1•1•Updated Jul 8, 2025Jul 8, 2025

    • visualize-cbn

      Public
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •9•100•4•0•Updated Jul 4, 2025Jul 4, 2025

    • eventlog-socket

      Public
      Pipe the GHC eventlog stream to a UNIX domain socket
      C
      •
      BSD 3-Clause "New" or "Revised" License
      •6•19•2•2•Updated Jun 17, 2025Jun 17, 2025

    • eventlog-live-infra

      Public
      A Docker Compose configuration that makes real-time eventlog profiling of Haskell programs a breeze.
      Haskell
      •2•0•0•0•Updated Jun 9, 2025Jun 9, 2025

    • beginners-zurihac2025

      Public
      Materials for the Beginners Track at ZuriHac 2025
      Haskell
      •0•3•0•0•Updated Jun 8, 2025Jun 8, 2025

    • type-inference-vienna-2025

      Public
      Code presented at the Vienna Haskell Meetup, March 2025
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •0•2•0•0•Updated Apr 1, 2025Apr 1, 2025

    • snappy-c

      Public
      Bindings to the C API Google's Snappy: A fast compression library
      compression
      Haskell
      •
      Other
      •0•4•1•1•Updated Mar 26, 2025Mar 26, 2025

    • falsify

      Public
      Haskell
      •
      Other
      •7•47•10•2•Updated Mar 26, 2025Mar 26, 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•1•0•Updated Mar 12, 2025Mar 12, 2025

    • full-text-search

      Public
      An in-memory full text search engine library. It lets you run full-text queries on a collection of your documents.
      Haskell
      •
      Other
      •5•49•9•0•Updated Jan 24, 2025Jan 24, 2025

    • ghc-events-util

      Public
      Utilities for working with the GHC eventlog
      Haskell
      •
      Other
      •0•3•0•0•Updated Jan 14, 2025Jan 14, 2025

    • trace-foreign-calls

      Public
      GHC plugin to add eventlog tracing for foreign function calls
      Haskell
      •0•16•1•0•Updated Jan 14, 2025Jan 14, 2025

    • debuggable

      Public
      Utilities for making your applications more debuggable.
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •0•16•0•0•Updated Dec 4, 2024Dec 4, 2024

    • json-sop

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

    • lens-sop

      Public
      Computing lenses generically using generics-sop
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •4•15•0•1•Updated Oct 31, 2024Oct 31, 2024