6
Repos
289
Stars
44
Forks
36
Watchers
Repositories (6)
first-class-families
Lysxia/first-class-families
Haskell
First-class type families
94
14
generic-random
Lysxia/generic-random
Haskell
Generic random generators
80
6
generic-data
Lysxia/generic-data
Haskell
Generic data types in Haskell, utilities for GHC.Generics
47
12
rocq-simple-io
Lysxia/rocq-simple-io
Rocq Prover
IO for Gallina
34
9
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
15
2