Well-Typed LLP

icon indicating a website link http://www.well-typed.com

icon location The Haskell Consultants

Results 18 repositories owned by Well-Typed LLP

plutonomy

40
Stars
10
Forks
Watchers

An optimizer for untyped plutus core

verified publisher icon well-typed

recover-rtti

31
Stars
3
Forks
Watchers

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

verified publisher icon well-typed

visualize-cbn

94
Stars
8
Forks
Watchers

verified publisher icon well-typed

falsify

33
Stars
3
Forks
Watchers

verified publisher icon well-typed

ghc-eventlog-socket

15
Stars
6
Forks
Watchers

Pipe the GHC eventlog stream to a UNIX domain socket

verified publisher icon well-typed

grapesy

27
Stars
4
Forks
Watchers

Native Haskell gRPC client and server based on `http2`

verified publisher icon well-typed

lens-sop

15
Stars
3
Forks
Watchers

Computing lenses generically using generics-sop

verified publisher icon well-typed

unfolder

64
Stars
3
Forks
Watchers

Repository with code snippets that accompany episodes of The Haskell Unfolder

verified publisher icon well-typed