Francesco Mazzoli's repositories
hakyll-agda
Hakyll support for Agda literate files
aeson-typescript
Generate TypeScript definition files from your ADTs
nixos-install-scripts
collection of one-shot scripts to install NixOS on various server hosters and other hardware. [maintainer=@happysalada]
pandoc
Universal markup converter
NOASSERTION000
react-overlays
Utilities for creating robust overlay components
Language:Go000