Daniel Herrera Rendón's repositories
stand-in-language
A simple but robust virtual machine
amazonka
A comprehensive Amazon Web Services SDK for Haskell.
dirty-nix-question
`error: in pure evaluation mode, 'fetchTarball' requires a 'sha256' argument` gets triggered when having a custom nix
dotfiles
Mis archivos de configuración.
etc-nixos-configuration
Olimpo's configuration (/etc/nixos)
gi-gtk-declarative
Declarative GTK+ programming in Haskell
haskell.nix
Alternative Haskell Infrastructure for Nixpkgs
hhefesto.github.io
My blog
hutton-exercises
hutton exercises
nix
Nix, the purely functional package manager
nix-demo
A full demo of a nix web server
nixos-flake-example
This is a demo NixOS config, with optional flakes support. Along with notes on why flakes is useful and worth adopting.
nuptialem
My wedding web page. I should post a blog post with a video walkthrough.
playnft
internet plays art
plfa.github.io
An introduction to programming language theory in Agda
privateGitDep_public
same as privateGitDep but public
purescript-tagged
Phantom tags
reproduce-happy-ghc-shell-for-error
Reproduce
respirare
a glorified timer for whim hof breathing
rrummmikub
Rendon's Rummikub multiplayer arena.
servant-persistent
A brief example of Servant with Persistent
stand-in-language.github.io
A static site for SIL built with Hakyll
syntaxSemanticsAdjoint
Trying to explore what the adjoint between Syntax and Semantics
telomare-make-haddock-script
Script ran by Github Actions to update Haddock documentation of telomare