6
Repos
286
Stars
43
Forks
286
Watchers
Repositories (6)
first-class-families
Lysxia/first-class-families
Haskell
First-class type families
92
15
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
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