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