We provide efficient software libraries for quantum-safe solutions in resource-constrained embedded devices such as IoTs. We provide hand-optimized lower level programing solutions and IPs.