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