well-typed/grapesy well-typed/grapesy

  • Stars
    star
    27
  • Rank 876,149 (Top 18 %)
  • Language
    Haskell
  • License
    Other
  • Created about 1 year ago
  • Updated 19 days ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
well-typed/grapesy
github

well-typed

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Native Haskell gRPC client and server based on `http2`

More Repositories

1

optics

Optics as an abstract interface
Haskell
366
star
2

cborg

Binary serialisation in the CBOR format
Haskell
185
star
3

generics-sop

Generic Programming using True Sums of Products
Haskell
157
star
4

visualize-cbn

Haskell
94
star
5

ghc-events-analyze

Haskell
66
star
6

unfolder

Repository with code snippets that accompany episodes of The Haskell Unfolder
Haskell
64
star
7

gp-zurihac-2020

Repository accompanying the ZuriHac Advanced Track lecture on Datatype-Generic Programming
Haskell
44
star
8

full-text-search

An in-memory full text search engine library. It lets you run full-text queries on a collection of your documents.
Haskell
42
star
9

large-records

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

plutonomy

An optimizer for untyped plutus core
Haskell
40
star
11

memory-usage-zurihac-2021

Nix
35
star
12

falsify

Haskell
33
star
13

recover-rtti

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

ixset-typed

More strongly typed variant of the ixset Haskell package
Haskell
23
star
15

basic-sop

Basic examples and functions for generics-sop
Haskell
20
star
16

lens-sop

Computing lenses generically using generics-sop
Haskell
15
star
17

ghc-eventlog-socket

Pipe the GHC eventlog stream to a UNIX domain socket
C
15
star
18

memory-profiling-webinar

Source code for the memory profiling webinar livestreamed at Dec 1, 2022
Haskell
12
star
19

pretty-sop

A generic pretty-printer using generics-sop
Haskell
12
star
20

eventlog-live

Haskell
12
star
21

json-sop

Generic JSON (de)serialization using generics-sop
Haskell
11
star
22

optics-zurihac-2021

Haskell
10
star
23

apply

Type-level descriptions of composable transformations for use with DerivingVia
Haskell
9
star
24

canonical-json

Canonical JSON for signing and hashing JSON values
Haskell
9
star
25

lazy-evaluation-zurihac-2023

Slides and code for the ZuriHac 2023 talk on Lazy Evaluation
Haskell
8
star
26

quickcheck-lockstep

Support for lockstep-style testing using quickcheck-dynamic
Haskell
6
star
27

qsm-in-depth

Demo code for the blog post "An in-depth look at quickcheck-state-machine"
Haskell
5
star
28

trace-foreign-calls

GHC plugin to add eventlog tracing for foreign function calls
Haskell
5
star
29

dupIO

Haskell
4
star
30

libedsign

Small, high-security cryptographic signing library
C
4
star
31

type-inference-munihac-2022

Haskell
3
star
32

typelet

3
star
33

integrated-shrinking

Demo code to go with the blogpost "Integrated versus Manual Shrinking"
Haskell
3
star
34

blogpost-purgatory

Repo accompanying the "Calling purgatory from heaven" blogpost
Rust
3
star
35

redblack

Haskell
3
star
36

types-zurihac-2022

Haskell
3
star
37

snappy-c

Bindings to the C API Google's Snappy: A fast compression library
Haskell
3
star
38

hooks-build-type

Haskell
2
star
39

ismm-2020-nonmoving-gc

Online appendix for "Alligator Collector: A Latency-Optimized Garbage Collector for Functional Programming Languages"
Jupyter Notebook
2
star
40

iosim-zurihac-2022

Haskell
2
star
41

io-haskellx2022

Introductory talk about IO in Haskell presented at HaskellX 2022
Haskell
1
star
42

parsing-munihac2023

Materials for the MuniHac 2023 workshop on parser combinators
Haskell
1
star
43

sop-haddocks

Get access to Haddocks in `generics-sop` style generic functions
Haskell
1
star
44

staging-bobkonf2024

Materials for the BOBkonf 2024 tutorial on staging
Haskell
1
star
45

nothunks-prelude

Haskell
1
star
46

borsh

Haskell
1
star
47

memory-usage-munihac-2022

Materials for the MuniHac 2022 "Profiling Memory Usage with eventlog2html and ghc-debug" workshop.
Haskell
1
star
48

specialist

GHC plugin for surgical specialization
Haskell
1
star