Explore projects
-
Updated
-
Updated
-
Declarative agent provisioning via NixOS and home-manager. Each agent gets a user account, home-manager config, and PROMPT.md.
Updated -
nix / hackage-server-module
MIT LicenseUpdated -
Updated
-
dhall / horizon-spec
MIT LicenseUpdated -
haskell / horizon-spec-pretty
MIT LicenseUpdated -
package-sets / horizon-plutus
MIT LicenseUpdated -
package-sets / horizon-biohaskell
MIT LicenseUpdated -
shells / horizon-shell
MIT LicenseUpdated -
shells / biohaskell-shell
MIT LicenseUpdated -
web / crazyshell.horizon-haskell.net
MIT LicenseUpdated -
shells / crazyshell
MIT LicenseUpdated -
Updated -
package-sets / horizon-cardano
MIT LicenseUpdated -
package-sets / horizon-moon-base
MIT LicenseUpdated -
shells / haskell-ai-shell
MIT LicenseUpdated -
Updated
-
gitlab / starfall
MIT LicenseUpdated -
package-sets / horizon-cardano-platform
MIT LicenseUpdated