Xia Li-yao
Results
13
repositories owned by
Xia Li-yao
advent-of-coq-2018
139
Stars
8
Forks
Watchers
Advent of Code 2018, in Coq! (https://adventofcode.com/2018)
generic-random
81
Stars
5
Forks
Watchers
Generic random generators
first-class-families
85
Stars
11
Forks
Watchers
First-class type families
coq-ceres
17
Stars
1
Forks
Watchers
Coq library for serialization to S-expressions
generic-data
44
Stars
9
Forks
Watchers
Generic data types in Haskell, utilities for GHC.Generics