Alternatives
Products that do what Spaculus Software does
Turn Your Ideas Into Reality
- 1
- 2
- 3CC
Dear HN community! Looking forward to hearing your feedback on ACE (assured confidential execution), technology that implements VM-based trusted execution environment (TEE) for embedded RISC-V systems with focus on a formally verified and auditable firmware. We target high-assurance systems that can benefit from compartmentalization and hardware-backed isolation. The key ingredient called security monitor (firmware) is implemented in Rust. The formal specification is defined as annotations directly in code and gets translated to Coq using RefinedRust automation. ACE design is now part of the…
2025 · github.com
- 4
- 5
- 6
- 7
- 8
- 9
- 10
Certo is open-source infrastructure for issuing, managing, verifying, and exchanging digital credentials. It implements Open Badges 3.0[1] and W3C Verifiable Credentials[2] which are the open standards that make credentials portable, machine-verifiable, and vendor-independent. It is designed to be: - Self-hosted: run it inside your own infrastructure, air-gapped network, or sovereign cloud - Standards-compliant: credentials it issues work with any OB3/VC-compatible system - API-first: everything the UI can do, the API can do - Exportable: your data is always yours, in open formats -…
Aug 2026 · github.com
- 11
- 12
- 13
- 14
- 15
- 16
- 17
Trusted Compliance and Risk management software
Feb 2026 · ampcuscyber.com
- 18
- 19
- 20
- 21
- 22
An AI powered maturity assessment tool for ISO 27001.
May 2026 · aivoracomply360.com
- 23
Free ATS-optimised CV maker — no sign-up needed
Jun 2026 · purefreecv.online
- 24
Ranked by how close each launch is in meaning, then by votes. Refine with a description →