Jacques Carette
Results
5
repositories owned by
Jacques Carette
Drasil
135
Stars
25
Forks
Watchers
Generate all the things (focusing on research software)
finally-tagless
41
Stars
0
Forks
Watchers
Repo of the original work on finally tagless (and a lot of other metaocaml work besides)
TheoriesAndDataStructures
34
Stars
2
Forks
Watchers
Showing how some simple mathematical theories naturally give rise to some common data-structures