• Stars
    star
    4
  • Rank 3,304,323 (Top 66 %)
  • Language
    Haskell
  • Created over 2 years ago
  • Updated over 2 years ago

Reviews

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

Repository Details

Plugin for working with promoted data constructors

More Repositories

1

breakpoint

Set breakpoints using a GHC plugin
Haskell
46
star
2

Typson

Type safe JSON PostgreSQL queries using bidirectional serializers
Haskell
21
star
3

graph-trace

Trace the call graph of a Haskell program
Haskell
17
star
4

hi-fi

Higher kinded records plugin
Haskell
13
star
5

inventory

Haskell project statistics and definition analysis
Haskell
13
star
6

opentelemetry-auto

Open telemetry auto instrumentation using GHC plugin
Haskell
9
star
7

donuts

A GHC plugin for loops and mutability
Haskell
9
star
8

jq-bindings

Haskell bindings to libjq using linear types.
Haskell
7
star
9

decoy

Highly configurable mock server
Haskell
6
star
10

hydraulics

Lift any pure function over any applicative stack.
Haskell
5
star
11

reflex-retro

A web app for conducting team retrospectives
Haskell
5
star
12

erriscope

Scope out Haskell errors in style
Haskell
5
star
13

optician

Generate optics with a GHC plugin
Haskell
5
star
14

pinned-warnings

Preserve warnings in a GHCi session
Haskell
4
star
15

aoc2021

Haskell solutions to Advent of Code 2021
Haskell
3
star
16

ear-trainer

Advanced intervallic ear training
Haskell
3
star
17

MenuBlock

Magento 2 module for inserting cms blocks and static links into the top menu
PHP
2
star
18

servant-reachable

Type errors for problematic routers
Haskell
2
star
19

lean-cat

Lean
2
star
20

aoc2020

Advent of Code 2020 Solutions
Haskell
1
star
21

record-subsets

Turn a regular haskell record type into subsets of it's fields using some type level programming
Haskell
1
star
22

generic-uncurry

Provides an n-arity uncurry function using generics
Haskell
1
star
23

sum-totality

Totality checking for sum type producers in Haskell
Haskell
1
star
24

aoc2022

Rust
1
star
25

typed-counterpoint

If your composition doesn't follow the counterpoint rules, the compiler rejects it!
Idris
1
star
26

math-caddy

Mathematics knowledge base web app
Haskell
1
star
27

magento2

My ongoing magento 2 projects
PHP
1
star
28

constable

Safe interface for summarization via Const
Haskell
1
star
29

kancepts

kan extension exploration
Haskell
1
star
30

RandomBlock

Magento 2 module that declares the "random block" widget.
PHP
1
star