Category26 packages
Uncategorised
- autodocodec0.6.0.0Self-documenting encoder and decoderhackage
- autodocodec-nix0.1.1.0Autodocodec interpreters for nixhackage
- autodocodec-schema0.2.0.2Autodocodec interpreters for JSON Schemahackage
- autodocodec-yaml0.4.0.3Autodocodec interpreters for yamlhackage
- ghc-platform0.1.0.0Platform information used by GHC and friendsboot
- ghc-toolchain0.1.0.0Utility for managing GHC target toolchainsboot
- horizon-config0.8.0A horizon package set as a vortex config DSLhackage
- horizon-config-shell0.12.0A horizon package set generated from a vortex config, not dhallhackage
- lift-type0.1.2.0Lift a type from a Typeable constraint to a Template Haskell typehackage
- opt-env-conf0.15.0.3Settings parsing for Haskell: command-line arguments, environment variables, and configuration values.hackage
- port-utils0.2.1.0Utilities for creating and waiting on portshackage
- rebase1.23A more progressive alternative to the "base" packagehackage
- sheaf0.2.0.0Theories as first-class data — the L4 skeleton of the vortex estatehackage
- vortex-call0.1.1.0Calls without elaboration - a table of operations, dispatched by namehackage
- vortex-client0.1.3A wisp's side of the wirehackage
- vortex-console0.1.2A console session over a vortex socket, as a pure state machinehackage
- vortex-effects0.1.3The standard theory - the libc of the stackhackage
- vortex-elab0.2.2Elaboration - untrusted source to typed termhackage
- vortex-host0.2.1init - assemble a vortex from its layershackage
- vortex-keymap0.1.0Modal key bindings as a theory - a keymap is a script, a key is a programhackage
- vortex-login0.2.0Login - binding sessions to subjectshackage
- vortex-run0.2.2Metered interpretation - fuel and bounded forcinghackage
- vortex-session0.3.0The transport handoff vocabularyhackage
- vortex-shell0.4.1The effect kernelhackage
- vortex-trace0.4.1The observable vocabulary of a vortexhackage
- vortex-ws0.2.1Websocket transport, and the door a public one needshackage