Jacques Carette

Results 5 repositories owned by Jacques Carette

Drasil

127
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)

pi-dual

24
Stars
2
Forks
Watchers

Collaborative work on reversible computing

TheoriesAndDataStructures

34
Stars
2
Forks
Watchers

Showing how some simple mathematical theories naturally give rise to some common data-structures

GenCheck

18
Stars
2
Forks
Watchers

Test.GenCheck Haskell project