Category & trade
Primary
programming-languages · embed-ft 0.5
Tree path
Technology & Computing › Computing › Programming Languages
Group (tier-1)
Also (top-3)
Tech stack
Framework
AI readiness
AI-Readiness score
57 / 100 · ready · see similar
AI training policy
allowed
AI-bot protection
AI files
Evidence
llms.txt
Compliance (GEO / GDPR)
TLD
Overview
Title
Cure — Dependently-Typed BEAM Language
Description
Dependently-typed programming language for the BEAM with first-class FSMs and SMT-backed verification.
Final URL
Language
en (html)
Scanned at
2026-07-05 03:36:39