Francesco Mazzoli

http://mazzo.li [email protected]

Europe

Results 4 repositories owned by


Francesco Mazzoli

hakyll-agda

18

Stars

2

Forks

Watchers

Hakyll support for Agda literate files

mazzo.li

26

Stars

6

Forks

Watchers

Source for https://mazzo.li

pipes-speed-test

149

Stars

16

Forks

Watchers

suggest

32

Stars

4

Forks

Watchers

Simple auto completion web server