ivory is:package

package ivory
Uses
Not on Stackage, so not searched. Safe embedded C programming.
package ivory-artifact
Uses
Not on Stackage, so not searched. Manage additional data files during Ivory compilation.
package ivory-backend-c
Uses
Not on Stackage, so not searched. Ivory C backend.
package ivory-eval
Uses
Not on Stackage, so not searched. Simple concrete evaluator for Ivory programs
package ivory-hw
Uses
Not on Stackage, so not searched. Ivory hardware model (STM32F4).
package ivory-opts
Uses
Not on Stackage, so not searched. Ivory compiler optimizations.
package ivory-quickcheck
Uses
Not on Stackage, so not searched. QuickCheck driver for Ivory.
package ivory-stdlib
Uses
Not on Stackage, so not searched. Ivory standard library.
package ivory-bitdata
Uses
Not on Stackage, so not searched. Ivory bit-data support.
package ivory-examples
Uses
Not on Stackage, so not searched. Ivory examples.
package ivory-serialize
Uses
Not on Stackage, so not searched. Serialization library for Ivory.
package ivory-avr-atmega328p-registers
Uses
Not on Stackage, so not searched. Ivory register bindings for the Atmega328p