Lysxia

Lysxia

👤 Developer

6 repositories on SrcLog

View on GitHub
6 Repos
289 Stars
45 Forks
36 Watchers

🏆 Show off this rank

Lysxia on SrcLog (holo style)

Add it to a GitHub README or profile — the card updates as the ranking changes:

Repositories (6)

first-class-families Lysxia/first-class-families Haskell

First-class type families

94
generic-random Lysxia/generic-random Haskell

Generic random generators

80
generic-data Lysxia/generic-data Haskell

Generic data types in Haskell, utilities for GHC.Generics

47
rocq-simple-io Lysxia/rocq-simple-io Rocq Prover

IO for Gallina

34
generic-data-surgery Lysxia/generic-data-surgery Haskell

Surgery for generic data types

19
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