6
Repos
282
Stars
40
Forks
282
Watchers
Repositories (6)
first-class-families
Lysxia/first-class-families
Haskell
First-class type families
87
12
generic-random
Lysxia/generic-random
Haskell
Generic random generators
81
6
generic-data
Lysxia/generic-data
Haskell
Generic data types in Haskell, utilities for GHC.Generics
45
11
coq-simple-io
Lysxia/coq-simple-io
Rocq Prover
IO for Gallina
34
8
generic-data-surgery
Lysxia/generic-data-surgery
Haskell
Surgery for generic data types
19
1
roll-your-own-irc-bot
Lysxia/roll-your-own-irc-bot
Haskell
Roll your own IRC bot (2019 version) https://wiki.haskell.org/Roll_your_own_IRC_bot
16
2