Java + GraalVM Truffle. Native Image boots in milliseconds.
Audit-trail by default
Every evaluation hash-chained with SHA-256. Tamper-evident replay.
Open lexicons, bring your own
English, 中文, Deutsch ship today. Add a language with a config file.
🌍 Policies, workflows, decisions — in your own language
Express loan-eligibility checks, approval-gate workflows, routing decisions, and pricing rules in English, Simplified Chinese, or German. Same semantics, same engine. Adding a fourth language is a configuration task, not an engineering one.
🤖 AI drafts. You review.
Built-in LLM assistance generates rule drafts from plain prompts, explains existing rules, and auto-repairs syntax errors. Streaming over SSE, validated before suggested.
⚡ Production-grade execution
Java + GraalVM Truffle interpreter for high-throughput evaluation. Native Image builds boot in milliseconds. P99 latency under 200ms.
🔒 Tamper-evident audit
Every policy evaluation is recorded in the engine's tamper-evident AuditLog, hash-chained with SHA-256. Replay any historical decision deterministically — clocks and UUIDs are controlled at runtime.
🏢 SaaS or self-hosted
Use aster-lang.cloud for managed multi-tenant, or deploy to your own K3S cluster via ArgoCD GitOps. Your data, your jurisdiction.
🧰 Drop-in via REST, GraphQL, or WebSocket
Submit policy source inline or reference a stored policy by ID. Batch evaluate. Stream traces. See Cloud API docs for transports + auth.
Aster Cloud
Run them on Aster Cloud
Policy evaluation, workflow audit logs, and batch decisions — all served over REST, GraphQL, and WebSocket by the hosted engine.
आप CNL नियम लिखना और चलाना चाहते हैं। ब्राउज़र प्लेग्राउंड से शुरू करें; @aster-cloud/aster-lang-ts के ज़रिए एकीकृत करें। प्रबंधित इंजन चाहिए? Aster Cloud होस्टेड REST / GraphQL / WS देता है।
Aster Lang एक बहुभाषी Controlled Natural Language (CNL) है जिससे निष्पादन-योग्य व्यावसायिक तर्क लिखा जाता है — ऋण-पात्रता policy, अनुमोदन-गेट workflow, रूटिंग decision, मूल्य-निर्धारण नियम, और हर वह जगह जहाँ नियम मनुष्यों के लिए पठनीय और मशीनों के लिए निष्पादन-योग्य हों।
भाषा Policy, Workflow और Decision को प्रथम-श्रेणी अवधारणाएँ मानती है: वही syntax एक पात्रता जाँच, एक अनुमोदन प्रवाह या एक रूटिंग नियम व्यक्त करता है। इंजन तीनों को एक ही ऑडिट-प्रूफ निष्पादन पथ में संकलित करता है।
aster
मॉड्यूल loan।परिभाषित Applicant रखता है creditScore रूप में पूर्णांक, income रूप में पूर्णांक।नियम checkEligibility दिया गया applicant रूप में Applicant, उत्पन्न पाठ: यदि applicant.creditScore से अधिक 700 यदि applicant.income से अधिक 50000 लौटाएं "स्वीकृत"। लौटाएं "अस्वीकृत"।
वही नियम अंग्रेज़ी में भी काम करता है:
aster
Module aster.finance.loan.Define Applicant has creditScore as Int, income as Int.Rule checkEligibility given applicant as Applicant, produce Text: If applicant.creditScore is at least 700 If applicant.income is at least 50000 Return "approved". Return "rejected".
दोनों को एक ही इंजन द्वारा parse, type-check और निष्पादित किया जाता है।
