Alberto Valverde's repositories
bindings-gdal
Haskell bindings to the GDAL library
hs-mapbox-style
Mapbox style haskell types
pg_schedule
Cron-formatted schedule type for PostgreSQL
bake-dhall
Bakes a Helm-compatible manifest from a config file and a series of dhall files (for user with dhall-kubernetes)
dependent-map-nonempty
Non-empty dependent maps
esp-idf-sys
Bindings for ESP-IDF (Espressif's IoT Development Framework)
esp-rs-nix
esp-rs tools packaged with nix
hashable
A class for types that can be converted to a hash value
hledger-interest
compute interest for hledger accounts
hspec-golden-aeson
Use tests to monitor changes in Aeson serialization
mqtt-hs
Haskell MQTT client.
nixos-modules
Mirror of https://git.henrimenke.de/henri/nixos-modules
nixpkgs-esp-dev
Nix flake and overlay for ESP8266 and ESP32 development.
oauth2-simple
A simple Haskell OAuth2 library
purescript-mapboxgl
Mapbox Style and TileJSON Specifications implemented in Purescript
purescript-servant-support
Support library needed by code generated by servant-purescript
re-github-stargazers
A simple ReasonML React app which displays information from all repositories of a Github organization
rescript-nextjs-template
Opinionated Boilerplate for NextJS, Tailwind and ReScript
rs-esp-idf-wifi-mqtt-example
An example of a rust application targeting an espressif esp32-c3 microcontroller
s3-sns-notification
Haskell types modeling the payload of the SNS messages the S3 service sends
safeframe
SafeFrame reference implementation official mirror from SourceForge
servant-purescript
Translate servant API to purescript code, with the help of purescript-bridge.
servant-sns-webhook
Utilities to embed a servant server to act as a SNS webhook listener